Cited in
(16)- Locking the sky: a survey on IaaS cloud security
- SWATT
- Safe functional systems through integrity types and verified assembly
- Refereed delegation of computation
- DynInst
- PyEmu
- Quin
- SGX
- Sancus
- Dynamic measurement and protected execution: model and analysis
- Kami
- AddressSanitizer
- TRESOR
- Compiling Information-Flow Security to Minimal Trusted Computing Bases
- Rocket Chip
- Provably-secure remote memory attestation for heap overflow protection
This page was built for software: Flicker
