Formal Analysis of Lending Pools in Decentralized Finance.

Massimo Bartoletti, James Hsin-yu Chiang, Tommi A. Junttila, Alberto Lluch-Lafuente, Massimiliano Mirelli, Andrea Vandin

Browse the full ISoLA paper archive.