Paper Info
Title
Automated Anonymity Verification of the ThreeBallot Voting System.
Year
DOI
Venue
2013
10.1007/978-3-642-38613-8_7
IFM
Field
DocType
Citations 
Voting,Computer security,Computer science,ThreeBallot,Formal methods,Anonymity
Conference
0
PageRank 
References 
Authors
0.34
12
3
Name
Order
Citations
PageRank
Murat Moran192.20
James Heather229722.19
Steve Schneider332326.65