Massimiliano Mirelli

Publication Activity (10 Years)

Years Active: 2022-2022
Publications (10 Years): 2

Top Topics

Formal Analysis

Financial Markets

Top Venues

Publications

Massimo Bartoletti, James Hsin-yu Chiang, Tommi Junttila, Alberto Lluch-Lafuente, Massimiliano Mirelli, Andrea Vandin
Formal Analysis of Lending Pools in Decentralized Finance. CoRR (2022)
Massimo Bartoletti, James Hsin-yu Chiang, Tommi Junttila, Alberto Lluch-Lafuente, Massimiliano Mirelli, Andrea Vandin
Formal Analysis of Lending Pools in Decentralized Finance. ISoLA (3) (2022)