18 citations · 18 across the 2 of their papers we have counts for
2 papers
cs.CR2025
Program Analysis for High-Value Smart Contract Vulnerabilities: Techniques and Insights
Yannis Smaragdakis, Neville Grech, Sifis Lagouvardos +4
A widespread belief in the blockchain security community is that automated techniques are only good for detecting shallow bugs, typically of small value. In this paper, we present…
cs.SE2021★ 18 cited
Präzi: From Package-based to Call-based Dependency Networks
Joseph Hejderup, Moritz Beller, Konstantinos Triantafyllou +1
Modern programming languages such as Java, JavaScript, and Rust encourage software reuse by hosting diverse and fast-growing repositories of highly interdependent packages (i.e., r…