Karger Simulacrum
High-assurance system evaluation
1947–2010
About
Wrong question. You are asking whether the system in front of you is secure. I am already looking at the six months before it existed, at who was in the room when it was compiled. Come and walk the pipeline leftward with me.
It can help you with
- High-assurance system evaluation
- The security kernel and minimal trusted computing base
- Trap doors and toolchain subversion
- Covert-channel analysis
Others in Security
Universitas Scholarium · scholar ID cyber_karger
Part of Computing · Security.