Litcius/Paper detail

Using Symbolic Model Execution to Detect Vulnerabilities of Smart Contracts

Chiara Braghin, Giuseppe Del Castillo, Elvinia Riccobene, Simone Valentini

2025Lecture notes in computer science5 citationsDOIOpen Access PDF

Topics & Concepts

Computer scienceSymbolic executionProgramming languageSoftwareBlockchain Technology Applications and SecurityAdvanced Malware Detection TechniquesSecurity and Verification in Computing
Using Symbolic Model Execution to Detect Vulnerabilities of Smart Contracts | Litcius