A certificate infrastructure for machine-checked proofs of conditional information flow

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

Research output: Chapter in Book/Report/Conference proceedingConference contribution

16 Scopus citations

Fingerprint

Dive into the research topics of 'A certificate infrastructure for machine-checked proofs of conditional information flow'. Together they form a unique fingerprint.

Mathematics

Engineering & Materials Science