Flicker
From MaRDI portal
Software:34428
swMATH22637MaRDI QIDQ34428FDOQ34428
Author name not available (Why is that?)
Cited In (6)
- 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
- Compiling Information-Flow Security to Minimal Trusted Computing Bases
- Locking the sky: a survey on IaaS cloud security
- Refereed delegation of computation
This page was built for software: Flicker
