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
congresso: 20th European Dependable Computing Conference, EDCC 2025 (Faculty of Sciences of the University of Lisbon (FCUL), prt)
libro: Proceedings - 2025 20th European Dependable Computing Conference, EDCC 2025 - ()
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
congresso: International Conference on Availability, Reliability and Security (ARES 2024) (Vienna; Austria)
libro: ARES '24: Proceedings of the 19th International Conference on Availability, Reliability and Security - (979-8-4007-1718-5)