| 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 | 8 | 2021 |
| Privacy as reachability S Gondron, S Mödersheim, L Viganò 2022 IEEE 35th Computer Security Foundations Symposium (CSF), 130-146, 2022 | 7 | 2022 |
| 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 | 4 | 2019 |
| Privacy as reachability S Gondron, S Mödersheim, L Viganò Technical report, DTU, 2021 | 3 | 2021 |
| Vertical Composition and Sound Payload Abstraction for Stateful Protocols (Extended Version) S Gondron, S Mödersheim Tech. rep, 2021 | 1 | 2021 |
| Vertical Composition of Distributed Systems SPC Gondron Technical University of Denmark, 2021 | | 2021 |
