CoCon: A Confidentiality-Verified Conference Management System

Andrei Popescu 🌐, Peter Lammich 📧 and Thomas Bauereiss 📧

August 16, 2021


This entry contains the confidentiality verification of the (functional kernel of) the CoCon conference management system [1, 2]. The confidentiality properties refer to the documents managed by the system, namely papers, reviews, discussion logs and acceptance/rejection decisions, and also to the assignment of reviewers to papers. They have all been formulated as instances of BD Security [3, 4] and verified using the BD Security unwinding technique.
BSD License


Theories of CoCon