Program Analysis for High-Value Smart Contract Vulnerabilities: Techniques and Insights.

Tue, 01 Jul 2025 01:00:00 +0200

Yannis Smaragdakis, Neville Grech, Sifis Lagouvardos, Konstantinos Triantafyllou, Ilias Tsatiris, Yannis Bollanos, Tony Rocco Valentine:
Program Analysis for High-Value Smart Contract Vulnerabilities: Techniques and Insights. CoRR abs/2507.20672 (2025)