TY  - JOUR

T1  - CoCon: a conference management system with formally verified document confidentiality

JO  - Journal of Automated Reasoning

UR  - https://eprints.whiterose.ac.uk/id/eprint/161211

PY  - 2021/02/01

AU  - Popescu A

AU  - Lammich P

AU  - Hou P

ED  - 

DO  - DOI: 10.1007/s10817-020-09566-9

PB  - Springer Nature

VL  - 65

IS  - 2

SP  - 321

EP  - 356

Y2  - 2025/11/27

ER  -