Handling Polynomial and Transcendental Functions in SMT via Unconstrained Optimisation and Topological Degree Test. - Alessandro Cimatti; Alberto Griggio; Enrico Lipparini; Roberto Sebastiani (ATVA, 2022)

Solvent: Liquidity Verification of Smart Contracts. - Massimo Bartoletti; Angelo Ferrando 001; Enrico Lipparini; Vadim Malvone (IFM, 2024)

Boosting MCSat Modulo Nonlinear Integer Arithmetic via Local Search. - Enrico Lipparini; Thomas Hader; Ahmed Irfan; Stéphane Graham-Lengrand (CADE, 2025)

Formal Verification in Solidity and Move: Insights from a Comparative Analysis. - Massimo Bartoletti; Silvia Crafa; Enrico Lipparini (FMBC, 2025)

Satisfiability of Non-linear Transcendental Arithmetic as a Certificate Search Problem. - Enrico Lipparini; Stefan Ratschan (J. Autom. Reason., 2025)

A theory of Lending Protocols in DeFi. - Massimo Bartoletti; Enrico Lipparini (CoRR, 2025)