Cryptology ePrint Archive: Report 2015/039
Available versions in chronological order
20150117:074755 (posted 17-Jan-2015 07:47:55 UTC)
Type-Based Verification of Electronic Voting Protocols
Véronique Cortier and Fabienne Eigner and Steve Kremer and Matteo Maffei and Cyrille Wiedling
Original publication (with minor differences): Proceedings of the 4th Conference on Principles of Security and Trust
[
Cryptology ePrint archive
]