Citation Impact
Citing Papers
Modeling and Verifying Security Protocols with the Applied Pi Calculus and ProVerif
2016
AHP integrated TOPSIS and VIKOR methods with Pythagorean fuzzy sets to prioritize risks in self-driving vehicles
2020 Standout
A Formal Analysis of 5G Authentication
2018 Standout
Verified Models and Reference Implementations for the TLS 1.3 Standard Candidate
2017
Risks of automation
2016
Works of Benjamin Beurdouche being referenced
A Messy State of the Union: Taming the Composite State Machines of TLS
2015