CoCon: A Confidentiality-Verified Conference Management System

MaRDI QIDQ7361795FDO

Authors Andrei Popescu, Peter Lammich, Thomas Bauereiss

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

This page was built for software: CoCon: A Confidentiality-Verified Conference Management System