![](https://www.pdfsearch.io/img/db951ebc22e9cefb9ae2f694bf79c8a3.jpg) Date: 2014-03-05 17:17:53
| | 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, GermanyAdd to Reading ListSource URL: prosecco.gforge.inria.frDownload Document from Source Website File Size: 284,35 KBShare Document on Facebook
|