| Automated Analysis of Voting Systems under an Active Intruder Model in CSP. | 0 | 0.34 | 2017 |
| Verification of STAR-Vote and Evaluation of FDR and ProVerif. | 0 | 0.34 | 2017 |
| Automated anonymity verification of the ThreeBallot and VAV voting systems | 2 | 0.36 | 2016 |
| Verifying anonymity in voting systems using CSP. | 7 | 0.48 | 2014 |
| Automated Anonymity Verification of the ThreeBallot Voting System. | 0 | 0.34 | 2013 |
| Automated Analysis of Voting Systems with Dolev-Yao Intruder Model. | 0 | 0.34 | 2013 |
