Formalizing and Proving Privacy Properties of Voting Protocols Using Alpha-Beta Privacy. - Sébastien Gondron; Sebastian Mödersheim (ESORICS (1), 2019)

Vertical Composition and Sound Payload Abstraction for Stateful Protocols. - Sébastien Gondron; Sebastian Mödersheim (CSF, 2021)

Privacy as Reachability. - Sébastien Gondron; Sebastian Mödersheim; Luca Viganò 001 (CSF, 2022)