Enrico Lipparini

According to our database, Enrico Lipparini authored at least 6 papers between 2022 and 2025.

Collaborative distances:

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

2025

A theory of Lending Protocols in DeFi.

Massimo Bartoletti, Enrico Lipparini

CoRR, June, 2025

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

Enrico Lipparini, Stefan Ratschan

J. Autom. Reason., March, 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

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