Enrico Lipparini

12 papers A 1B 2Journal 7Unranked 2
YearRankTypeTitle / Venue / Authors
2025 J jnl
A theory of Lending Protocols in DeFi.
CoRR
Massimo Bartoletti, Enrico Lipparini
2025 A conf
Boosting MCSat Modulo Nonlinear Integer Arithmetic via Local Search.
CADE
Enrico Lipparini, Thomas Hader, Ahmed Irfan, Stéphane Graham-Lengrand
2025 J jnl
Boosting MCSat Modulo Nonlinear Integer Arithmetic via Local Search.
CoRR
Enrico Lipparini, Thomas Hader, Ahmed Irfan, Stéphane Graham-Lengrand
2025 — conf
Formal Verification in Solidity and Move: Insights from a Comparative Analysis.
FMBC
Massimo Bartoletti, Silvia Crafa, Enrico Lipparini
2025 J jnl
Formal verification in Solidity and Move: insights from a comparative analysis.
CoRR
Massimo Bartoletti, Silvia Crafa, Enrico Lipparini
2025 J jnl
LLMs as verification oracles for Solidity.
CoRR
Massimo Bartoletti, Enrico Lipparini, Livio Pompianu
2025 J jnl
Satisfiability of Non-linear Transcendental Arithmetic as a Certificate Search Problem.
J. Autom. Reason.
Enrico Lipparini, Stefan Ratschan
2024 B conf
Solvent: Liquidity Verification of Smart Contracts.
IFM
Massimo Bartoletti, Angelo Ferrando, Enrico Lipparini, Vadim Malvone
2024 J jnl
Solvent: liquidity verification of smart contracts.
CoRR
Massimo Bartoletti, Angelo Ferrando, Enrico Lipparini, Vadim Malvone
2023 J jnl
Satisfiability of Non-Linear Transcendental Arithmetic as a Certificate Search Problem.
CoRR
Enrico Lipparini, Stefan Ratschan
2023 — conf
Satisfiability of Non-linear Transcendental Arithmetic as a Certificate Search Problem.
NFM
Enrico Lipparini, Stefan Ratschan
2022 B conf
Handling Polynomial and Transcendental Functions in SMT via Unconstrained Optimisation and Topological Degree Test.
ATVA
Alessandro Cimatti, Alberto Griggio, Enrico Lipparini, Roberto Sebastiani