CoCon: A Confidentiality-Verified Conference Management System

Andrei Popescu 🌐, Peter Lammich 📧 and Thomas Bauereiss 📧

August 16, 2021

This is a development version of this entry. It might change over time and is not stable. Please refer to release versions for citations.

Abstract

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

Topics

Theories of CoCon