Bounded-Deducibility Security (Invited Paper)

DOI10.4230/LIPICS.ITP.2021.3MaRDI QIDQ6157243zbMATH OpenOpenAlexFDO

Authors Andrei Popescu, Thomas Bauereiß, Peter Lammich

Publication date 20 June 2023

Full work available at URL https://drops.dagstuhl.de/opus/volltexte/2021/13898/pdf/LIPIcs-ITP-2021-3.pdf/

zbMATH Keywords

compositionalityinformation-flow securityunwinding proof methodverification

Mathematics Subject Classification ID

Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

Cited in

(8)

• Limits of Constructive Security Proofs
• Relative security: (dis)proving resilience against semantic optimization vulnerabilities in Isabelle/HOL. Extended version
• CoSMeDis: A confidentiality-verified distributed social media platform
• Secret-Directed Unwinding
• Compositional BD Security
• Bounded-Deducibility Security
• CoCon: A Confidentiality-Verified Conference Management System
• CoSMed: A confidentiality-verified social media platform

This page was built for publication: Bounded-Deducibility Security (Invited Paper)

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