Sébastien Gondron

According to our database, Sébastien Gondron authored at least 3 papers between 2019 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

Privacy as Reachability.

Sébastien Gondron, Sebastian Mödersheim, Luca Viganò

Proceedings of the 35th IEEE Computer Security Foundations Symposium, 2022

2021

Vertical Composition and Sound Payload Abstraction for Stateful Protocols.

Sébastien Gondron, Sebastian Mödersheim

Proceedings of the 34th IEEE Computer Security Foundations Symposium, 2021

2019

Formalizing and Proving Privacy Properties of Voting Protocols Using Alpha-Beta Privacy.

Sébastien Gondron, Sebastian Mödersheim

Proceedings of the Computer Security - ESORICS 2019, 2019