Parametric verification of address space separation

DOI10.1007/978-3-642-28641-4_4MaRDI QIDQ2894314zbMATH OpenOpenAlexFDO

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

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

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

Recommendations

• Program verification in the presence of cached address translation
• Formally verified implementation of an idealized model of virtualization
• Formal memory models for the verification of low-level operating-system code
• Correct Hardware Design and Verification Methods
• Formal Pervasive Verification of a Paging Mechanism

Cited in

(6)

• Program verification in the presence of cached address translation
• Formal reasoning under cached address translation
• System-level non-interference of constant-time cryptography. I: Model
• Formally verified implementation of an idealized model of virtualization
• scientific article; zbMATH DE number 992350 (Why is no real title available?)
• Automated Verification of Dynamic Root of Trust Protocols

This page was built for publication: Parametric verification of address space separation

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2894314)