Type-Based Verification of Electronic Voting Protocols.

Véronique Cortier Fabienne Eigner Steve Kremer Matteo Maffei Cyrille Wiedling

Published in: POST (2015)

Keyphrases

voting protocols
web services
database systems
digital images