Riccardo's page
Permanently under construction. Mostly a link container. Hopefully useful.
- Research
- Scalable UTXO smart contracts via fine-grained distributed state
- 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
- Esercizi Geometria A (in italiano)
- Tutorato informatica (in italiano)
- Laboratorio di Programmazione pagina moodle.