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 journal › Article › Academic › peer-review

2 Citations (Scopus)

28 Downloads (Pure)

Original language	English
Pages (from-to)	321-356
Number of pages	36
Journal	Journal of automated reasoning
Volume	65
Issue number	2
Early online date	16 Jul 2020
DOIs	https://doi.org/10.1007/s10817-020-09566-9
Publication status	Published - 1 Feb 2021

Access to Document

@article{cf04eeda39664e9a8f5afbcd38cfdb5f,

title = "CoCon: A Conference Management System with Formally Verified Document Confidentiality",

author = "Andrei Popescu and Peter Lammich and Ping Hou",

year = "2021",

month = feb,

day = "1",

doi = "10.1007/s10817-020-09566-9",

language = "English",

volume = "65",

pages = "321--356",

journal = "Journal of automated reasoning",

issn = "0168-7433",

publisher = "Springer",

number = "2",

}

TY - JOUR

T1 - CoCon: A Conference Management System with Formally Verified Document Confidentiality

AU - Popescu, Andrei

AU - Lammich, Peter

AU - Hou, Ping

PY - 2021/2/1

Y1 - 2021/2/1

U2 - 10.1007/s10817-020-09566-9

DO - 10.1007/s10817-020-09566-9

M3 - Article

SN - 0168-7433

VL - 65

SP - 321

EP - 356

JO - Journal of automated reasoning

JF - Journal of automated reasoning

IS - 2

ER -