TY  - JOUR

T1  - CoCon: A conference management system with verified document confidentiality

JO  - Journal of Automated Reasoning

UR  - http://eprints.whiterose.ac.uk/161211/

PY  - 2020/07/16

AU  - Popescu A

AU  - Peter L

AU  - Ping H

ED  - 

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

PB  - Springer Verlag

Y2  - 2024/09/19

ER  -