1 citations · 1 across the 5 of their papers we have counts for
5 papers
Shortest Path Problem with Subnormal Gaussian Fuzzy Costs
Hande Günay Akdemir, Murat Moran
This paper addresses the fuzzy shortest path problem in directed graphs, where edge costs are modeled as generalized fuzzy numbers with Gaussian membership functions. We interpret…
Risk Averse Alert Prioritization for IDS Using Subnormal Gaussian Fuzzy Models
Murat Moran
Modern intrusion detection systems generate thousands of alerts daily, but alert fatigue severely limits security operations effectiveness due to too many false positives or low-im…
Graded Symbolic Verification with a Fuzzy Dolev-Yao Attacker Model
Murat Moran
Classical symbolic protocol verification under Dolev--Yao uses binary attacker knowledge (known/unknown). This abstraction misses cumulative side-channel settings, where repeated n…
Automated Analysis of Voting Systems under an Active Intruder Model in CSP
Murat Moran, James Heather
This article presents a novel intruder model for automated reasoning about anonymity (vote-privacy) and secrecy properties of voting systems. We adapt the lazy spy for this purpose…
Verification of STAR-Vote and Evaluation of FDR and ProVerif
Murat Moran, Dan S. Wallach
We present the first automated privacy analysis of STAR-Vote, a real world voting system design with sophisticated "end-to-end" cryptography, using FDR and ProVerif. We also evalua…