Automated Verification of Remote Electronic Voting Protocols in the Applied 
Pi-Calculus

Backes, Michael; Hritcu, Catalin; Maffei, Matteo

doi:10.1109/CSF.2008.26

Local TagsRelease HistoryDetailsSummary

Automated Verification of Remote Electronic Voting Protocols in the Applied Pi-Calculus

Backes, M., Hritcu, C., & Maffei, M. (2008). Automated Verification of Remote Electronic Voting Protocols in the Applied Pi-Calculus. In S. Kawada (Ed.), 21st IEEE Computer Security Foundations Symposium: CSF 2008; proceedings (pp. 195-209). Los Alamitos, Ca.: IEEE Computer Society.

Item is Released

show all hide all

Basic

show hide

Item Permalink: https://hdl.handle.net/11858/00-001M-0000-0028-8C34-9 Version Permalink: https://hdl.handle.net/11858/00-001M-0000-0028-8C35-7

Genre: Conference Paper

Files

show Files

Locators

show

Creators

show

hide

Creators:
Backes, Michael¹, Author
Hritcu, Catalin, Author
Maffei, Matteo, Author

Affiliations:
1Group M. Backes, Max Planck Institute for Software Systems, Max Planck Society, ou_2149682

Content

show

Details

show

hide

Language(s): eng - English

Dates: Modified: 2009-04-06Date issued: 2008

Publication Status: Issued

Pages: -

Publishing info: -

Table of Contents: -

Rev. Type: -

Identifiers: eDoc: 428472
DOI: 10.1109/CSF.2008.26
URI: http://dx.doi.org/10.1109/CSF.2008.26
Other: C125718C00511B58-A20BD795E6D2BD28C125751A006842DF-Backes2008i

Degree: -

Event

show

Legal Case

show

Project information

show

Source 1

show

hide

Title: 21st IEEE Computer Security Foundations Symposium : CSF 2008 ; proceedings

Source Genre: Proceedings

Creator(s):
Kawada, Stephanie, Editor

Affiliations:
-

Publ. Info: Los Alamitos, Ca. : IEEE Computer Society

Pages: - Volume / Issue: - Sequence Number: - Start / End Page: 195 - 209 Identifier: ISBN: 978-0-7695-3182-3