Murat Moran

Publication Activity (10 Years)

Years Active: 2013-2017
Publications (10 Years): 4

Top Topics

Comparative Evaluation

Automated Analysis

Management System

Top Venues

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

Formal Aspects Comput.

Publications

Murat Moran, Dan S. Wallach
Verification of STAR-Vote and Evaluation of FDR and ProVerif. IFM (2017)
Murat Moran, James Heather
Automated Analysis of Voting Systems under an Active Intruder Model in CSP. CoRR (2017)
Murat Moran, Dan S. Wallach
Verification of STAR-Vote and Evaluation of FDR and ProVerif. CoRR (2017)
Murat Moran, James Heather, Steve A. Schneider
Automated anonymity verification of the ThreeBallot and VAV voting systems. Softw. Syst. Model. 15 (4) (2016)
Murat Moran, James Heather, Steve A. Schneider
Verifying anonymity in voting systems using CSP. Formal Aspects Comput. 26 (1) (2014)
Murat Moran, James Heather
Automated Analysis of Voting Systems with Dolev-Yao Intruder Model. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 66 (2013)
Murat Moran, James Heather, Steve A. Schneider
Automated Anonymity Verification of the ThreeBallot Voting System. IFM (2013)