SARDA

Hardware Requirements

• NXP LPC55S69-EVK development board
• (2) Quorvo QM33120WDK1
• ESP32-C3-DevKitC-02 Bluetooth board
  • Connected via UART4

Software Requirements

NXP Board

1. IDE: MCUXpresso IDE v11.6.1 (released on 2022-10-03)
2. SDK: v2.12.0 (released 2022-07-14)

SDK can be built using MCUXpresso SDK Builder, or it can be downloaded via MCUXpresso IDE. Note that the SARDA implementation on the NXP board is based on the secure_gpio example, provided by NXP.

ESP32-C3 Boards

Using VSCode with the Espressif IDF extension:

1. Open the Command Palette (Ctrl+Shift+P)
2. Select 'ESP-IDF: Select port to use'
   • Choose the port for the ESP Board (typically /dev/ttyUSB* in Ubuntu)
   • Select the directory containing the ESP source code
3. Select 'ESP-IDF: Set Espressif Device Target'
   • Choose the ESP source code directory
   • Select 'esp32c3'
   • Select 'ESP32-C3 chip (via ESP-PROG)'
4. Use 'ESP-IDF: SDK Configuration editor (menuconfig)' to confirm UART settings
   • Port number: 1
   • Communication speed: 115200
   • RXD pin: 7
   • TXD pin: 6
5. Run 'ESP-IDF: Build your project'
6. Run 'ESP-IDF: Flash your project'

UWB Boards

• IDE: Segger Embedded Studio 8.22a
• Project locations:
  • UT: ~/API/Build_Platforms/nRF52840-DK/IoT_Uwb.emProject
  • WS: ~/API/Build_Platforms/nRF52840-DK/user_uwb.emProject

Tamarin Security Models

The security protocol of SARDA has been formally verified using the Tamarin Prover. The formal models are available in the tamarin folder: