Login / Signup
Automated Verification of Remote Electronic Voting Protocols in the Applied Pi-Calculus.
Michael Backes
Catalin Hritcu
Matteo Maffei
Published in:
CSF (2008)
Keyphrases
</>
automated verification
voting protocols
artificial intelligence
bayesian networks
model checking