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.

License

BSD License

Topics

Session CoCon

Depends on

Cite

× 
@article{CoCon-AFP,
  author  = {Andrei Popescu and Peter Lammich and Thomas Bauereiss},
  title   = {CoCon: A Confidentiality-Verified Conference Management System},
  journal = {Archive of Formal Proofs},
  month   = {August},
  year    = {2021},
  note    = {\url{https://isa-afp.org/entries/CoCon.html},
             Formal proof development},
  ISSN    = {2150-914x},
}
Download

Download

× Download latest

Older releases: