Scholar
R. Ramanujam
Google Scholar ID: SB7uTZoAAAAJ
Institute of Mathematical Sciences
Logic in Computer Science
Automata theory
Modal logic
Game theory
Epistemic logic
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
1,942
H-index
20
i10-index
40
Publications
20
Co-authors
0
Publications
2 items
Rational Dolev--Yao Attackers: Decidable Incentive-Aware Verification of Security Protocols in Strategic Logic
2026
Cited
0
Decidability of Parameterised Dolev-Yao Secrecy
2026
Cited
0
