Citation Impact
Citing Papers
Modeling and Verifying Security Protocols with the Applied Pi Calculus and ProVerif
2016
A privacy threat analysis framework: supporting the elicitation and fulfillment of privacy requirements
2010 Standout
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
A Survey on Metaverse: Fundamentals, Security, and Privacy
2022 Standout
An overview on smart contracts: Challenges, advances and platforms
2019 Standout
Decentralized Privacy-Preserving Fair Exchange Scheme for V2G Based on Blockchain
2021
Verified Models and Reference Implementations for the TLS 1.3 Standard Candidate
2017
Risks of automation
2016
Works of Markulf Kohlweiss being referenced
Downgrade Resilience in Key-Exchange Protocols
2016
Exploiting cryptography for privacy-enhanced access control: A result of the PRIME Project
2010
Sonic
2019
A Messy State of the Union: Taming the Composite State Machines of TLS
2015
Dependent types and multi-monadic effects in F*
2016