Ilias Tsatiris

Identifiers

• name variant Ilias Tsatiris 0.60 · backfill

Papers (2)

1. Program Analysis for High-Value Smart Contract Vulnerabilities: Techniques and Insights cs.CR · 2025 · author #5
2. Universal Scalability in Declarative Program Analysis (with Choice-Based Combination Pruning) cs.SE · 2025 · author #2

Mentions

• 2507.20672 #5 · arxiv_oai · confidence 0.70 Ilias Tsatiris
• 2503.05945 #2 · arxiv_oai · confidence 0.70 Ilias Tsatiris

Frequent Coauthors

• Yannis Smaragdakis 2 shared papers
• Anastasios Antoniadis 1 shared papers
• Konstantinos Triantafyllou 1 shared papers
• Neville Grech 1 shared papers
• Nevill Grech 1 shared papers
• Sifis Lagouvardos 1 shared papers
• Tony Rocco Valentine 1 shared papers
• Yannis Bollanos 1 shared papers