TY  - RPRT
TI  - Rational Dolev--Yao Attackers: Decidable Incentive-Aware Verification of Security Protocols in Strategic Logic
AU  - Ioana Boureanu
AU  - R. Ramanujam
PY  - 2026
UR  - https://arxiv.org/abs/2608.22954
ID  - 2608.22954
ER  -