Murat Moran
3 indexed papers
Publications per year
Top categories
Frequent co-authors
Research Timeline
The paper introduces a graded symbolic verification method that models cumulative side-channel leakage, demonstrating that protocols safe under traditional binary attacker models can fail when continuous knowledge accumulation is considered.
This paper proposes a reliability-aware framework to solve the fuzzy shortest path problem in directed graphs, optimizing routes based not only on cost but also on the reliability of the associated fuzzy costs.
The paper proposes a fuzzy modeling framework using subnormal Gaussian fuzzy numbers to prioritize IDS alerts by explicitly incorporating threat severity, detection confidence, and organizational risk attitude.
Papers
Shortest Path Problem with Subnormal Gaussian Fuzzy Costs
This paper proposes a reliability-aware framework to solve the fuzzy shortest path problem in directed graphs, optimizing routes based not only on cost but also on the reliability of the associated fu…