Election Verifiability in Electronic Voting Protocols

First Author: Kremer S

Attributed to: Verifying Properties in Electronic Voting Protocols funded by EPSRC

Abstract

No abstract provided

Bibliographic Information

Digital Object Identifier: http://dx.doi.org/10.1007/978-3-642-15497-3_24

Publication URI: http://dx.doi.org/10.1007/978-3-642-15497-3_24

Type: Book Chapter

Book Title: Computer Security - ESORICS 2010 - 15th European Symposium on Research in Computer Security, Athens, Greece, September 20-22, 2010. Proceedings (2010)

Page Reference: 389-404

ISBN: 978-3-642-15496-6

ISSN: 2731-4383