The following publications are possibly variants of this publication:
- Verifying Privacy-Type Properties of Electronic Voting Protocols: A TasterStéphanie Delaune, Steve Kremer, Mark Ryan. wote 2010: 289-309 [doi]
- Type-Based Verification of Electronic Voting ProtocolsVéronique Cortier, Fabienne Eigner, Steve Kremer, Matteo Maffei, Cyrille Wiedling. iacr, 2015:39, 2015. [doi]
- Type-Based Verification of Electronic Voting ProtocolsVéronique Cortier, Fabienne Eigner, Steve Kremer, Matteo Maffei, Cyrille Wiedling. post 2015: 303-323 [doi]