Popular repositories Loading

1. SSI SSI Public

   Design and Evaluation of a Verifiable Credential-Based Access Framework for Robotaxi Services

   Jupyter Notebook 2

2. nsoc-website nsoc-website Public

   NSOC website

   HTML 1 1

3. mit-2fa-summer2023 mit-2fa-summer2023 Public

   Forked from vikramanantha/mit-2fa-summer2023

   Vikram Anantha's Summer 2023 Internship Project with MIT about Vehicle 2 Factor Authentication

   Jupyter Notebook

4. umarell-attack-carburos umarell-attack-carburos Public

   Example of formal verification in ProVerif of a Multi-Factor Authentication (MFA) protocol (Carburos) under the Umarell attacker model. The model includes the attacker and the physical channel.

5. DriverDNA_app DriverDNA_app Public

   DRIVES (DRIVEr Services) is an Android application that connects to a vehicle through an OBD-II Bluetooth dongle to collect driving data and generate a Driver DNA profile. Based on the driver’s sty…

   Java

6. CarTraC_Formal_Analysis CarTraC_Formal_Analysis Public