11573/1753197 - 2025 -
Position Paper: Toward a (Semi-)Automatic Framework for Smart Contract Security Audit Bonomi, Silvia; Coppa, Emilio; Lenti, Simone; Ruggiero, Claudia - 04b Atto di convegno in volume
conference: 20th European Dependable Computing Conference, EDCC 2025 (Lisboa; Portugal)
book: [Proceedings of] 2025 20th European Dependable Computing Conference (EDCC) - (979-8-3315-1280-4; 979-8-3315-1281-1)
11573/1714569 - 2024 -
SoK: A Unified Data Model for Smart Contract Vulnerability Taxonomies Ruggiero, Claudia; Mazzini, Pietro; Coppa, Emilio; Lenti, Simone; Bonomi, Silvia - 04b Atto di convegno in volume
conference: International Conference on Availability, Reliability and Security (ARES 2024) (Vienna; Austria)
book: ARES '24: Proceedings of the 19th International Conference on Availability, Reliability and Security - (979-8-4007-1718-5)