Master internships
- Formalizing RISC-V Enclaves
- Formalizing Hardware Security Mechanisms: a new HDL for modular hardware proofs
- Formalizing Hardware Security Mechanisms: interrupts, MMU, and SMT proofs
- Type-based security properties assurance in the Rust-based Redox operating system
- Is your Microprocessor attacked by the design tool? Machine Learning Can Provide the Answer