Murat Moran

Identifiers

• name variant Murat Moran 0.60 · backfill

Papers (5)

1. Shortest Path Problem with Subnormal Gaussian Fuzzy Costs cs.CR · 2026 · author #1
2. Risk Averse Alert Prioritization for IDS Using Subnormal Gaussian Fuzzy Models cs.CR · 2026 · author #1
3. Graded Symbolic Verification with a Fuzzy Dolev-Yao Attacker Model cs.CR · 2026 · author #1
4. Automated Analysis of Voting Systems under an Active Intruder Model in CSP cs.CR · 2017 · author #1
5. Verification of STAR-Vote and Evaluation of FDR and ProVerif cs.CR · 2017 · author #1

Mentions

• 2605.27317 #1 · arxiv_oai · confidence 0.70 Murat Moran
• 2605.27299 #1 · arxiv_oai · confidence 0.70 Murat Moran

Frequent Coauthors

• Dan S. Wallach 1 shared papers
• Hande G\"unay Akdemir 1 shared papers
• James Heather 1 shared papers