Bounded-Deducibility Security

MaRDI QIDQ7361744FDO

Authors Andrei Popescu, Peter Lammich, Thomas Bauereiss

Publication date 22 April 2014

Cites work

• Bounded-Deducibility Security (Invited Paper)
• CoCon: a conference management system with formally verified document confidentiality
• CoSMed: a confidentiality-verified social media platform
• CoSMed: a confidentiality-verified social media platform

Cited in

(3)

• Compositional BD Security
• CoCon: A Confidentiality-Verified Conference Management System
• CoSMed: A confidentiality-verified social media platform

This page was built for software: Bounded-Deducibility Security