Cryptology ePrint Archive: Report 2015/039

Available versions in chronological order


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 ]