CoCon: A Confidentiality-Verified Conference Management System

Andrei Popescu, Peter Lammich and Thomas Bauereiss

16 August 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

Depends On


Related Entries