danluu / secvisor-formal-verification
Formal verification of SecVisor, a secure hypervisor
☆13Updated 11 years ago
Related projects: ⓘ
- Secure Virtual Architecture☆42Updated 5 years ago
- Security-Oriented Analysis of Application Programs☆14Updated 5 years ago
- Open-source release for MemSentry (EuroSys'17)☆45Updated 3 years ago
- Formally-verified reference monitor for a secure isolated execution ("enclave") environment on ARM TrustZone☆102Updated 2 years ago
- This repository contains the nested kernel implementation as it was built for the ASPLOS 2015 paper, including the FreeBSD prototype Pers…☆53Updated 7 years ago
- Experimental setup of "Intel MPX explained"☆26Updated 4 years ago
- Minimal RISC Extensions for Isolated Execution☆50Updated 5 years ago
- Pedagogical Hypervisor, based on MIT JOS☆66Updated 6 years ago
- An implementation of the IETF QUIC protocol in F*☆18Updated 5 years ago
- initify gcc plugin☆8Updated 7 years ago
- SoftBoundCETS for LLVM+Clang version 34☆55Updated 10 years ago
- Building Distributed Enclave Applications with Sancus and SGX☆13Updated 3 years ago
- QEMU with support for CHERI☆52Updated 2 weeks ago
- ☆34Updated 7 years ago
- NOVA userland☆47Updated 10 years ago
- SGXBounds: Memory Safety for Shielded Execution (compiler pass and runtime)☆33Updated 7 years ago
- ☆29Updated 4 years ago
- Fast and efficient binary translator☆58Updated 5 years ago
- Kernel Address Isolation to have Side-channels Efficiently Removed☆214Updated 2 years ago
- Prototype no-assurance reference OS personality built on seL4☆49Updated 3 years ago
- CheriOS -- a minimal microkernel that demonstrates "clean-slate" CHERI memory protection and object capabilities☆35Updated last year
- MCFI/PICFI tool chain☆41Updated 5 months ago
- Security monitor for Keystone Enclave (mirror of riscv-pk). Will be deprecated when openSBI port is ready☆36Updated 3 years ago
- TrustZone project with Linux 2.6.35 and U-Boot (i.MX53QSB)☆8Updated 9 years ago
- Instruction cache leakage detection tool for modular exponentation software.☆14Updated 7 years ago
- ☆70Updated 4 years ago
- A Tool for the Static Analysis of Cache Side Channels☆39Updated 7 years ago
- Picon☆38Updated 7 years ago
- Delta Pointers: Buffer Overflow Checks Without the Checks (EuroSys'18)☆51Updated 2 years ago