Items where authors include "Lammich, P."

Article

Popescu, A. orcid.org/0000-0001-8747-0619, Lammich, P. and Hou, P. (2021) CoCon: a conference management system with formally verified document confidentiality. Journal of Automated Reasoning, 65 (2). pp. 321-356. ISSN 0168-7433

Proceedings Paper

Popescu, A., Bauereiss, T. and Lammich, P. (2021) Bounded-deducibility security. In: Cohen, L. and Kaliszyk, C., (eds.) 12th International Conference on Interactive Theorem Proving (ITP 2021). 12th International Conference on Interactive Theorem Proving (ITP 2021), 29 Jun - 01 Jul 2021, Online. Leibniz International Proceedings in Informatics (LIPIcs), 193 . Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik , 3:1-3:20. ISBN 9783959771887