Research papers and presentations
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.
Talks and workshops
2019–2022Verifpal was presented at the following events between 2019 and 2022. New talks are announced on Discord; invitations can also be sent there.
-
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