Scholar
Ivan Kurtev
Google Scholar ID: oV0KfsMAAAAJ
Eindhoven University of Technology
software engineering
model driven engineering
Follow
Google Scholar
↗
Citations & Impact
All-time
Citations
7,540
H-index
30
i10-index
49
Publications
20
Co-authors
0
Publications
1 items
Bridging Theory and Practice: An Executable Taxonomy of Security Properties for ProVerif and Tamarin
2026
Cited
0
