Popular repositories Loading

1. SCF-MSP430 SCF-MSP430 Public

   A Static Detection of Side Channels in MSP430 Programs

   Python 2

2. Authentic-Execution Authentic-Execution Public

   C 1 1

3. reactive-tools reactive-tools Public

   Forked from AuthenticExecution/reactive-tools

   Tools for authentic execution work.

   Python 1

4. rust-sgx-gen rust-sgx-gen Public

   Forked from AuthenticExecution/rust-sgx-gen

   Code generator for creating an Authentic Execution Rust module

   Rust 1

5. hacker101 hacker101 Public

   Forked from Hacker0x01/hacker101

   Source code for Hacker101.com - a free online web and mobile security class.

   CSS

6. optee_os optee_os Public

   Forked from OP-TEE/optee_os

   Trusted side of the TEE

   C