Enrico Lipparini

According to our database, Enrico Lipparini authored at least 9 papers between 2022 and 2026.

Collaborative distances:

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

2026

Neuroforger: certified violation witnesses for smart contracts verification via LLMs.

Massimo Bartoletti, Enrico Lipparini

CoRR, May, 2026

KindHML: formal verification of smart contracts based on Hennessy-Milner logic.

Massimo Bartoletti, Angelo Ferrando, Enrico Lipparini, Vadim Malvone

CoRR, April, 2026

2025

LLMs as verification oracles for Solidity.

Massimo Bartoletti, Enrico Lipparini, Livio Pompianu

CoRR, September, 2025

A theory of Lending Protocols in DeFi.

Massimo Bartoletti, Enrico Lipparini

CoRR, June, 2025

Formal Verification in Solidity and Move: Insights from a Comparative Analysis.

Massimo Bartoletti, Silvia Crafa, Enrico Lipparini

Proceedings of the 6th International Workshop on Formal Methods for Blockchains, 2025

Boosting MCSat Modulo Nonlinear Integer Arithmetic via Local Search.

Enrico Lipparini, Thomas Hader, Ahmed Irfan, Stéphane Graham-Lengrand

Proceedings of the Automated Deduction - CADE 30, 2025

2024

Solvent: Liquidity Verification of Smart Contracts.

Massimo Bartoletti, Angelo Ferrando, Enrico Lipparini, Vadim Malvone

Proceedings of the Integrated Formal Methods - 19th International Conference, 2024

2023

Satisfiability of Non-linear Transcendental Arithmetic as a Certificate Search Problem.

Enrico Lipparini, Stefan Ratschan

Proceedings of the NASA Formal Methods - 15th International Symposium, 2023

2022

Handling Polynomial and Transcendental Functions in SMT via Unconstrained Optimisation and Topological Degree Test.

Alessandro Cimatti, Alberto Griggio, Enrico Lipparini, Roberto Sebastiani

Proceedings of the Automated Technology for Verification and Analysis, 2022