Back to Results
First PageMeta Content



Automated Verification of Remote Electronic Voting Protocols in the Applied Pi-calculus Michael Backes1,2 , C˘at˘alin Hri¸tcu1 , and Matteo Maffei1 1 Saarland University, Saarbrücken, Germany
Add to Reading List

Document Date: 2014-03-05 17:17:53


Open Document

File Size: 284,35 KB

Share Result on Facebook
UPDATE