Mr Murat Moran
Research Student, FMS
Qualifications: BSc, MSc
Email: m.moran@surrey.ac.uk
Phone: Work: 01483 68 2263
Room no: 36 BB 02
Further information
Biography
Murat Moran started his PhD at the University of Surrey in April 2009 under the supervision of Dr James Heather and co-supervision of Prof. Steve Schneider. He is a member of the Formal Methods and Security (FMS) group and Trustworthy Voting Systems (TVS) project. His studies are funded by Republic of Turkey Ministry of National Education.
Murat received his MSc degree in Computer Security in University of Essex in 2008 and his BSc in Mathematics in Ankara University in 2002.
Research Interests
My principal research interests lie in the field of formal methods and e-voting systems. I am currently working on characterization of properties using CSP that a trustworthy voting system should fulfil such as anonymity, coercion-resistance, receipt-freeness, end-to-end verifiability and fairness. Moreover, I am also investigating on analysis and formal verifications of e-voting protocols, such as Prêt à Voter.
Publications
Journal articles
Conference
Moran M, Heather J, Schneider S.A. 'Anonymity and CSP for Voting Systems'. Limerick: CryptoForma 2011
Teaching
Teaching assistant for the courses below in 2009-2010-2011
COMM012 - Security and Cryptography
COM3009 - Computer Security
COM1032 - Mobile Computing
COM2007 - Modelling and Simulation