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
