Product
Help
Pricing
About
Jobs
Log in
Get started
Author
Add to collection
Murat Moran
Observed name:
Moran, Murat
Institution:
Giresun University
Observed institutions:
Giresun University,
University of Surrey,
Rice University
ORCID:
0000-0001-5557-4827
Observed ORCID:
0000-0001-5557-4827
OpenAlex ID:
A5021760853
Verifying anonymity in voting systems using CSP
2012
·
Murat Moran
, James Heather
, et al.
·
Formal Aspects of Computing
·
16
PDF
Verification of STAR-Vote and Evaluation of FDR and ProVerif
2017
·
Murat Moran
, Dan S. Wallach
·
Lecture notes in computer science
·
5
Automated anonymity verification of the ThreeBallot and VAV voting systems
2015
·
Murat Moran
, James Heather
, et al.
·
Software & Systems Modeling
·
3
An Introduction to Tools for Formal Analysis of Cryptographic Protocols
2023
·
Murat Moran
, Pascal Lafourcade
, et al.
·
CRC Press eBooks
·
2
Automated Analysis of Voting Systems under an Active Intruder Model in CSP
2017
·
Moran, Murat
, Heather, James
·
arXiv (Cornell University)
·
2
PDF
Verification of STAR-Vote and Evaluation of FDR and ProVerif
2017
·
Moran, Murat
, Wallach, Dan S.
·
arXiv (Cornell University)
·
2
PDF
Automated Analysis of Voting Systems with Dolev-Yao Intruder Model
2014
·
Moran, Murat
, Heather, James
·
Surrey Research Insight Open Access (The University of Surrey)
·
2
Automated Anonymity Verification of the ThreeBallot Voting System
2013
·
Murat Moran
, James Heather
, et al.
·
Lecture notes in computer science
·
2
Expected-Value-Based Optimization with Two-Level Asymmetric Fuzzy Interval Numbers: Application to the Fuzzy Generalized Assignment Problem
2026
·
Hande Gϋnay Akdemir
, Murat Moran
·
International Artificial Intelligence and Data Processing Symposium (IDAP)
Risk Averse Alert Prioritization for IDS Using Subnormal Gaussian Fuzzy Models
2026
·
Moran, Murat
·
arXiv (Cornell University)
PDF
Shortest Path Problem with Subnormal Gaussian Fuzzy Costs
2026
·
Akdemir, Hande Günay
, Moran, Murat
·
arXiv (Cornell University)
PDF
Graded Symbolic Verification with a Fuzzy Dolev-Yao Attacker Model
2026
·
Moran, Murat
·
arXiv (Cornell University)
PDF
CSP code for verification of vVote e-voting system
2017
·
Moran, Murat
·
Data Archiving and Networked Services (DANS)
Automated Privacy Verification of Voting Systems.
2013
·
Murat Moran
·
Surrey Research Insight Open Access (The University of Surrey)
Anonymity and CSP for Voting Systems
2011
·
Murat Moran
, JA Heather
, et al.
·
Surrey Research Insight Open Access (The University of Surrey)
Show more works
View as search
Works count:
15
Citation count:
34
H-index:
3
I10-index:
1
Year
Topic
Type
