Compositional BD Security

MaRDI QIDQ7361444FDO

Authors Thomas Bauereiss, Andrei Popescu

Publication date 16 August 2021

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

(1)

• CoSMeDis: A confidentiality-verified distributed social media platform

This page was built for software: Compositional BD Security