@misc{indiciae67ca46cab3da,
  title = {Rational Dolev--Yao Attackers: Decidable Incentive-Aware Verification of Security Protocols in Strategic Logic},
  author = {Ioana Boureanu and R. Ramanujam},
  year = {2026},
  url = {https://arxiv.org/abs/2608.22954},
  note = {Source identifier: 2608.22954}
}