Events & Talks
The current paper
Read it on the IACR ePrint ArchiveFrom Toy to Instrument: Seven Years of Verifpal accompanies Verifpal 1.0. It covers post-quantum key exchange, declared weakening assumptions, witness-based unlinkability and the development of Verifpal since 2019.
The paper formalizes the language and analysis method, proves soundness independently of solver behavior, and proves unconditional termination. It also compares the readability of Verifpal attack traces with those from ProVerif and Tamarin.
Citing Verifpal
Cite the current paper for the language, its semantics and its analysis. The earlier paper describes the original design and was presented at INDOCRYPT 2020. Both entries are as the IACR ePrint Archive publishes them.
@misc{cryptoeprint:2026/1654,
author = {Nadim Kobeissi},
title = {From Toy to Instrument: Seven Years of Verifpal},
howpublished = {Cryptology {ePrint} Archive, Paper 2026/1654},
year = {2026},
url = {https://eprint.iacr.org/2026/1654}
}@misc{cryptoeprint:2019/971,
author = {Nadim Kobeissi and Georgio Nicolas and Mukesh Tiwari},
title = {Verifpal: Cryptographic Protocol Analysis for the Real World},
howpublished = {Cryptology {ePrint} Archive, Paper 2019/971},
year = {2019},
url = {https://eprint.iacr.org/2019/971}
}Talks and workshops
2019–2026Verifpal was presented at the following events between 2019 and 2026. New talks are announced on Discord; invitations can also be sent there.
-
10 Oct 2026
Verifpal Lecture at the University of Edinburgh A lecture and tutorial for undergraduate students at the University of Edinburgh School of Informatics.
-
29 May 2022
Modeling and Analyzing Cryptographic Protocols with Verifpal Affiliated event of Eurocrypt 2022.
-
13 Jan 2021
Verifpal: Cryptographic Protocol Analysis for the Real World Presented at the 9th IACR Real World Cryptography Symposium.
-
13 Dec 2020
Verifpal: Cryptographic Protocol Analysis for the Real World Presented at the 21st International Conference on Cryptology in India.
-
9 Nov 2020
Verifpal: Cryptographic Protocol Analysis for the Real World Presented at the 2020 ACM Cloud Computing Security Workshop.
- 19 Jun 2020
- 2 Feb 2020
- 1 Feb 2020
-
30 Dec 2019
Verifpal Lightning Talk Presented at the 36th Chaos Communication Congress in Leipzig.
-
30 Nov 2019
Security Verification for Cryptographic Protocols Workshop Organized at the American University of Beirut.
- 5 Nov 2019
- 25 Sep 2019