International Association for Cryptologic Research

International Association
for Cryptologic Research

CryptoDB

Type-Based Verification of Electronic Voting Protocols

Authors:
Veronique Cortier
Fabienne Eigner
Steve Kremer
Matteo Maffei
Cyrille Wiedling
Download:
URL: https://eprint.iacr.org/2015/039
Search ePrint
Search Google
BibTeX
@article{eprint-2015-26840,
  title={Type-Based Verification of Electronic Voting Protocols},
  journal={IACR Cryptology ePrint Archive},
  volume={2015},
  pages={39},
  url={https://eprint.iacr.org/2015/039},
  author={Veronique Cortier and Fabienne Eigner and Steve Kremer and Matteo Maffei and Cyrille Wiedling},
  year=2015
}