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