CoCon: A Conference Management System with Formally Verified Document Confidentiality

Andrei Popescu*, Peter Lammich, Ping Hou

*Corresponding author for this work

Research output: Contribution to journalArticleAcademicpeer-review

1 Citation (Scopus)
4 Downloads (Pure)
Original languageEnglish
Pages (from-to)321-356
Number of pages36
JournalJournal of automated reasoning
Volume65
Issue number2
Early online date16 Jul 2020
DOIs
Publication statusPublished - 1 Feb 2021

Cite this