Follow
Sébastien Gondron
Sébastien Gondron
Ph.D., Software Improvement Group
Verified email at sig.eu
Title
Cited by
Cited by
Year
Vertical composition and sound payload abstraction for stateful protocols
S Gondron, S Mödersheim
2021 IEEE 34th Computer Security Foundations Symposium (CSF), 1-16, 2021
82021
Privacy as reachability
S Gondron, S Mödersheim, L Viganò
2022 IEEE 35th Computer Security Foundations Symposium (CSF), 130-146, 2022
72022
Formalizing and proving privacy properties of voting protocols using alpha-beta privacy
S Gondron, S Mödersheim
European Symposium on Research in Computer Security, 535-555, 2019
42019
Vertical Composition and Sound Payload Abstraction for Stateful Protocols (Extended Version)
S Gondron, S Mödersheim
Tech. rep, 2021
12021
Vertical Composition of Distributed Systems
SPC Gondron
Technical University of Denmark, 2021
2021
The system can't perform the operation now. Try again later.
Articles 1–5