An Introduction to Tools for Formal Analysis of Cryptographic Protocols.
Proceedings of the Handbook of Formal Analysis and Verification in Cryptography, 2023
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
Automated anonymity verification of the ThreeBallot and VAV voting systems.
Softw. Syst. Model., 2016
Verifying anonymity in voting systems using CSP.
Formal Aspects Comput., 2014
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