@misc{indiciaec16c48957026,
  title = {Graded Symbolic Verification with a Fuzzy Dolev-Yao Attacker Model},
  author = {Murat Moran},
  year = {2026},
  url = {https://arxiv.org/abs/2604.15402},
  note = {Source identifier: 2604.15402}
}