| Publication | Date of Publication | Type |
|---|
scientific article; zbMATH DE number 7806140 (Why is no real title available?)
(available as arXiv preprint) | 2024-02-16 | Paper |
| scientific article; zbMATH DE number 7806140 (Why is no real title available?) | 2024-02-16 | Paper |
| Analysing the HPKE standard | 2021-12-08 | Paper |
The Applied Pi Calculus
Journal of the ACM | 2018-08-02 | Paper |
Automatic verification of security protocols in the symbolic model: the verifier ProVerif
Foundations of Security Analysis and Design VII | 2015-05-27 | Paper |
Analyzing security protocols with secrecy types and logic programs
Proceedings of the 29th ACM SIGPLAN-SIGACT symposium on Principles of programming languages | 2015-03-17 | Paper |
Proved generation of implementations from computationally secure protocol specifications
Lecture Notes in Computer Science | 2013-08-06 | Paper |
Proving more observational equivalences with ProVerif
Lecture Notes in Computer Science | 2013-08-06 | Paper |
Security protocol verification: symbolic and computational models
Lecture Notes in Computer Science | 2012-06-29 | Paper |
Verification of security protocols with lists: from length one to unbounded length
Lecture Notes in Computer Science | 2012-06-29 | Paper |
Security protocols: from linear to classical logic by abstract interpretation
Information Processing Letters | 2009-12-04 | Paper |
Advances in Computing Science – ASIAN 2003. Progamming Languages and Distributed Computation Programming Languages and Distributed Computation
Lecture Notes in Computer Science | 2009-08-11 | Paper |
Models and Proofs of Protocol Security: A Progress Report
Computer Aided Verification | 2009-06-30 | Paper |
Analyzing security protocols with secrecy types and logic programs
Journal of the ACM | 2008-12-21 | Paper |
Automated verification of selected equivalences for security protocols
The Journal of Logic and Algebraic Programming | 2008-03-05 | Paper |
Programming Languages and Systems
Lecture Notes in Computer Science | 2007-09-28 | Paper |
Automated Security Proofs with Sequences of Games
Lecture Notes in Computer Science | 2007-09-04 | Paper |
Computer-assisted verification of a protocol for certified email
Science of Computer Programming | 2005-10-10 | Paper |
Verification of cryptographic protocols: tagging enforces termination
Theoretical Computer Science | 2005-04-06 | Paper |
| scientific article; zbMATH DE number 2090853 (Why is no real title available?) | 2004-08-13 | Paper |
| scientific article; zbMATH DE number 1956510 (Why is no real title available?) | 2003-07-30 | Paper |
| scientific article; zbMATH DE number 1953274 (Why is no real title available?) | 2003-07-27 | Paper |
| scientific article; zbMATH DE number 1948406 (Why is no real title available?) | 2003-07-13 | Paper |
Secrecy types for asymmetric communication.
Theoretical Computer Science | 2003-05-25 | Paper |
| scientific article; zbMATH DE number 1832234 (Why is no real title available?) | 2002-11-19 | Paper |
| scientific article; zbMATH DE number 1701344 (Why is no real title available?) | 2002-02-05 | Paper |
