CryptoDB
Type-Based Verification of Electronic Voting Protocols
Authors: | |
---|---|
Download: |
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 }