Giulia Matricardi

According to our database, Giulia Matricardi authored at least 3 papers between 2024 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

Verifying Smart Contracts in Yul via Transformation to CHC by Interpreter Specialization.

Elvira Albert, Emanuele De Angelis, Fabio Fioravanti, Alejandro Hernández-Cerezo, Giulia Matricardi

Proceedings of the Logic-Based Program Synthesis and Transformation, 2025

2024

Towards Benchmarking of Solidity Verification Tools.

Massimo Bartoletti, Fabio Fioravanti, Giulia Matricardi, Roberto Pettinau, Franco Sainas

Proceedings of the 5th International Workshop on Formal Methods for Blockchains, 2024

Visualizing CHC Verification Conditions for Smart Contracts Auditing.

Marco Di Ianni, Fabio Fioravanti, Giulia Matricardi

Proceedings of the 39th Italian Conference on Computational Logic, 2024