Events & Talks
The current paper
Read it on the IACR ePrint ArchiveFrom Toy to Instrument: Seven Years of Verifpal is the paper behind version 1.0, and the place to start if you want the argument rather than the software. It covers what the modeling language gained on the way there: post-quantum key exchange, weakening assumptions a model declares instead of approximating, and unlinkability answered with a witness the attacker can exhibit.
It also states what the engine underneath now guarantees. Soundness holds however the solver behaves, so a passing query does not rest on the search having been lucky. Analysis terminates unconditionally, so a model cannot leave you waiting on an answer that never arrives. The paper then measures attack traces for readability against ProVerif and Tamarin. That is the claim this project has made since 2019, and the first time it arrives with a number attached.
Talks and workshops
2019–2022Verifpal was presented at the venues below while it was still finding its shape. Nothing is scheduled now. Talks get announced on Discord first, and invitations are welcome 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