Enrico Lipparini

Papers on Lattice

Total citations

Topics

Research focus

Code Generation & Program Synthesis (1)Reasoning & Chain-of-Thought (1)

Frequent co-authors

Massimo Bartoletti (1)Massimo Bartoletti (1)Angelo Ferrando (1)Angelo Ferrando (1)

Papers (1)

Apr 15, 2026

Massimo Bartoletti +7Apr 15, 2026·also Institut Polytechnique de Paris, Télécom Paris

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

Catching complex, multi-transaction smart contract vulnerabilities is now possible with a new formal verification toolchain based on Hennessy-Milner Logic.

Massimo Bartoletti, Massimo Bartoletti, Angelo Ferrando +5

Code Generation & Program Synthesis Reasoning & Chain-of-Thought

Search

Enrico Lipparini

Research focus

Frequent co-authors

Papers (1)