Popular repositories Loading

1. vrased vrased Public

   Verilog 21 4

2. RATA RATA Public

   On the TOCTOU Problem in Remote Attestation

   Verilog 15 1

3. garota garota Public

   C++ 10 3

4. APEX APEX Public

   APEX: A Verified Architecture for Proofs of Execution on Remote Devices under Full Software Compromise

   Verilog 8 5

5. PDoT PDoT Public

   Private DNS-over-TLS with TEE Support

   C 6

6. PAISA PAISA Public

   Caveat (IoT) Emptor: Towards Transparency of IoT Device Presence

   C 4 1