Parametric Verification of Address Space Separation

DOI10.1007/978-3-642-28641-4_4zbMath1353.68177OpenAlexW1575351678MaRDI QIDQ2894314

Jonathan M. McCune, Sagar Chaki, Amit Vasudevan, Jason Franklin, Anupam Datta

Publication date: 29 June 2012

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-28641-4_4

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Theory of operating systems (68N25)

Related Items (2)

System-level non-interference of constant-time cryptography. I: Model ⋮ Automated Verification of Dynamic Root of Trust Protocols

This page was built for publication: Parametric Verification of Address Space Separation