Trusted Execution Environments for RISC Architectures

TODO: Description of the project

Getting Started

• 1. Installation
• 2. First Steps
• 3. Ocaml Primer
• 4. The Story about Codex Assumptions (Mini-OS?)
• 5. Binary Code Analysis using BINSEC/CODEX

Indices and tables

• Search Page