Murat Moran

According to our database, Murat Moran authored at least 8 papers between 2013 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

An Introduction to Tools for Formal Analysis of Cryptographic Protocols.

Murat Moran, Pascal Lafourcade, Maxime Puys, David Williams

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.

Murat Moran, James Heather

CoRR, 2017

Verification of STAR-Vote and Evaluation of FDR and ProVerif.

Murat Moran, Dan S. Wallach

Proceedings of the Integrated Formal Methods - 13th International Conference, 2017

2016

Automated anonymity verification of the ThreeBallot and VAV voting systems.

Murat Moran, James Heather, Steve A. Schneider

Softw. Syst. Model., 2016

2014

Verifying anonymity in voting systems using CSP.

Murat Moran, James Heather, Steve A. Schneider

Formal Aspects Comput., 2014

2013

Automated privacy verification of voting systems.

Murat Moran

PhD thesis, 2013

Automated Analysis of Voting Systems with Dolev-Yao Intruder Model.

Murat Moran, James Heather

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2013

Automated Anonymity Verification of the ThreeBallot Voting System.

Murat Moran, James Heather, Steve A. Schneider

Proceedings of the Integrated Formal Methods, 10th International Conference, 2013