Automated Anonymity Verification of the ThreeBallot Voting System. - Murat Moran; James Heather; Steve A. Schneider (IFM, 2013)

Automated Analysis of Voting Systems with Dolev-Yao Intruder Model. - Murat Moran; James Heather (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2013)

Automated privacy verification of voting systems. - Murat Moran (2013)

Verifying anonymity in voting systems using CSP. - Murat Moran; James Heather; Steve A. Schneider (Formal Aspects Comput., 2014)

Automated anonymity verification of the ThreeBallot and VAV voting systems. - Murat Moran; James Heather; Steve A. Schneider (Softw. Syst. Model., 2016)

Verification of STAR-Vote and Evaluation of FDR and ProVerif. - Murat Moran; Dan S. Wallach (IFM, 2017)

Automated Analysis of Voting Systems under an Active Intruder Model in CSP. - Murat Moran; James Heather (CoRR, 2017)

An Introduction to Tools for Formal Analysis of Cryptographic Protocols. - Murat Moran; Pascal Lafourcade 001; Maxime Puys; David Williams (Handb. Formal Anal. Verification Cryptogr., 2023)