Flicker
From MaRDI portal
swMATH22637MaRDI QIDQ34428FDOQ34428
Author name not available (Why is that?)
Official website: https://dl.acm.org/citation.cfm?id=1352625
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
- Compiling Information-Flow Security to Minimal Trusted Computing Bases
- Locking the sky: a survey on IaaS cloud security
- Rocket Chip
- Refereed delegation of computation
This page was built for software: Flicker