Modeling and verification of smart contracts with Abstract State Machines. - Chiara Braghin; Elvinia Riccobene; Simone Valentini (SAC, 2024)

An ASM-Based Approach for Security Assessment of Ethereum Smart Contracts. - Chiara Braghin; Elvinia Riccobene; Simone Valentini (SECRYPT, 2024)

A Modeling and Verification Framework for Ethereum Smart Contracts. - Simone Valentini; Chiara Braghin; Elvinia Riccobene (ABZ, 2024)

Using Symbolic Model Execution to Detect Vulnerabilities of Smart Contracts. - Chiara Braghin; Giuseppe Del Castillo; Elvinia Riccobene; Simone Valentini (ABZ, 2025)