Publication Overview

Michael Backes and Catalin Hritcu and Matteo Maffei

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

Published in: CSF
Year: 2008
Pages: 195-209