covid19/CovidBracelet
covid19/CovidBracelet
1
0
Fork 0
mirror of https://github.com/CovidBraceletPrj/CovidBracelet.git synced 2024-11-12 22:48:52 +01:00
Code Releases Activity
32 Commits 10 Branches 0 Tags 785 KiB
C 93.3%
C++ 3.2%
Python 3.1%
CMake 0.3%
c6d3b41a4b
Go to file
Patrick Rathje c6d3b41a4b
Update main.yaml 
Another indent error...
2020-08-18 23:18:53 +02:00
.github/workflows Update main.yaml 2020-08-18 23:18:53 +02:00
include/tls_config Init entropy for desktop tests 2020-08-18 22:47:28 +02:00
lib Add platformIO files and adapt file structure 2020-08-18 22:46:49 +02:00
src Add platformIO files and adapt file structure 2020-08-18 22:46:49 +02:00
test Add platformIO files and adapt file structure 2020-08-18 22:46:49 +02:00
zephyr Add platformIO files and adapt file structure 2020-08-18 22:46:49 +02:00
.gitignore Add platformIO files and adapt file structure 2020-08-18 22:46:49 +02:00
basestation.py initial code release 2020-06-08 11:15:05 +02:00
LICENSE Initial commit 2020-06-07 21:45:48 +02:00
platformio.ini Add platformIO files and adapt file structure 2020-08-18 22:46:49 +02:00
README.md Add main Github Actions workflow 2020-08-18 23:16:02 +02:00

README.md

Covid Bracelet, compatibile with Covid Apps on iOS and Android

Contributions Welcome!

Actions Status

Features

  • Sends and receives exposure beacons as specified by Google and Apple for Covid Contact Tracing
  • Rolling, encrypted, anonymous beacons
  • Compatible with Apple iOS and Android phones
  • With rolling proximity identifiers and encrypted metadata
  • Proximity identifiers and BLE addresses change every 10 minutes
  • Stores own keys for 14 days
  • Stores contacts of more than 5 minute duration
  • Upon infection upload keys to a public database
  • Retrieve keys of infections from database
    • computes rolling proximity identifiers
    • compares to stored contacts to check for exposure

Builds on on Zephyr OS and NRF52 BLE SOCs. Note: as we for now do not use the flash for key storage, this currently only works on nrf52480 or you can just store a very small number of keys. Moving the keys to flash is on the TODO list and will fix this.

Get Started:

This project is based on platformIO, see: https://platformio.org/platformio-ide

Testing

To run the tests for the desktop environment select the test task for desktop or run:

platformio test -e desktop

Note: this is a proof of concept and not ready for production

Demo Video

Video Demo

Open / Possible next steps

  • firmware of the air updates (signed): done in testing
  • fix entropy: keys are always the same on boot up
  • time sync
  • set device name, user id or so in Flash
  • set scanning interval to the correct value, for now we just use the default
  • set advertisement interval, correct value, for now we just use the default: should be 200-270 milliseconds
  • store long-term contacts in flash
  • set transmit power and store this in the corona beacons
  • get infections from DB, check their signatures
  • extensive logging: crash, reboot, battery level, charging state, contacts, memory useage, flash usage,
  • extensive compatibility testing with Apple iOS and Android devices
  • contininous integration testing
  • Energy efficiency
  • BLE advertisements sets
  • Secure GATT services and authentication of base statation in general
  • More platforms: with display etc.

TODOs Wristband

Possible platforms for real-world deployment many, as many of the cheap fitness trackers base on NRF52 or chips with similar capabilities. However, many would need the firmware to be shipped to manufactures.

  • Watch UI
  • Pine Time could be good for testing

TODOs App and Basestation

  • extend this beyond the simple basestation
  • read keys form national databases