Riccardo's page

Permanently under construction. Mostly a link container. Hopefully useful.

Research

How To Save Fees in Bitcoin Smart Contracts: a Simple Optimistic Off-chain Protocol.
DeFi composability as MEV non-interference.
Secure compilation of rich smart contracts on poor UTXO blockchains.

Teaching

Tutorato informatica (in italiano)
Laboratorio di Programmazione pagina moodle.