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 | |
Publication status | Published - 1 Feb 2021 |
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)