Ivan Kurtev

Identifiers

• name variant Ivan Kurtev 0.60 · backfill

Papers (2)

1. Bridging Theory and Practice: An Executable Taxonomy of Security Properties for ProVerif and Tamarin cs.CR · 2026 · author #2
2. A Rule-Based Change Impact Analysis Approach in Software Architecture for Requirements Changes cs.SE · 2016 · author #2

Mentions

• 2605.29465 #2 · arxiv_oai · confidence 0.70 Ivan Kurtev

Frequent Coauthors

• Arda Goknil 1 shared papers
• Klaas van den Berg 1 shared papers
• Leonard Tudorache 1 shared papers
• Mark Van Den Brand 1 shared papers