@article{article, title = {{CoCon: A conference management system with verified document confidentiality}}, publisher = {{Springer Verlag}}, url = {{http://eprints.whiterose.ac.uk/161211/ }}, year = {{2020}}, month = {{7}}, author = {{Popescu A and Peter L and Ping H}}, doi = {{10.1007/s10817-020-09566-9}}, journal = {{Journal of Automated Reasoning}}, note = {{Accessed on 2024/12/23}}}