2023
An Introduction to Tools for Formal Analysis of Cryptographic Protocols.
Proceedings of the Handbook of Formal Analysis and Verification in Cryptography, 2023

2017
Automated Analysis of Voting Systems under an Active Intruder Model in CSP.
CoRR, 2017

Verification of STAR-Vote and Evaluation of FDR and ProVerif.
Proceedings of the Integrated Formal Methods - 13th International Conference, 2017

2016
Automated anonymity verification of the ThreeBallot and VAV voting systems.
Softw. Syst. Model., 2016

2014
Verifying anonymity in voting systems using CSP.
Formal Aspects Comput., 2014

2013
Automated privacy verification of voting systems.
PhD thesis, 2013

Automated Analysis of Voting Systems with Dolev-Yao Intruder Model.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2013

Automated Anonymity Verification of the ThreeBallot Voting System.
Proceedings of the Integrated Formal Methods, 10th International Conference, 2013