Automated Analysis of Voting Systems under an Active Intruder Model in
CSP

Automated Analysis of Voting Systems under an Active Intruder Model in CSP

2 May 2017

ArXiv (abs)PDF HTML

Papers citing "Automated Analysis of Voting Systems under an Active Intruder Model in CSP"

Title
No papers