A Certificate Infrastructure for Machine-Checked Proofs of Conditional Information Flow

DOI10.1007/978-3-642-28641-4_20zbMath1353.68046OpenAlexW1677369896MaRDI QIDQ2894335

Andrew Cousino, Josiah Dodds, Xinming Ou, Torben Amtoft, Lennart Beringer, Zhi Zhang, John Hatcliff, Andrew W. Appel

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_20

Mathematics Subject Classification ID

Cryptography (94A60) Theory of programming languages (68N15) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (2)

Hoare Logic for Disjunctive Information Flow ⋮ Content dependent information flow control

Uses Software

• Coq
• Toolchain

This page was built for publication: A Certificate Infrastructure for Machine-Checked Proofs of Conditional Information Flow