How To Save Fees in Bitcoin Smart Contracts: a Simple Optimistic Off-chain Protocol. - Dario Maddaloni; Riccardo Marchesin; Roberto Zunino (DLT, 2024)

Secure compilation of rich smart contracts on poor UTXO blockchains. - Massimo Bartoletti; Riccardo Marchesin; Roberto Zunino (EuroS&P, 2024)

DeFi Composability as MEV Non-interference. - Massimo Bartoletti; Riccardo Marchesin; Roberto Zunino (FC (2), 2024)

Scalable UTXO smart contracts via fine-grained distributed state. - Massimo Bartoletti; Riccardo Marchesin; Roberto Zunino (Future Gener. Comput. Syst., 2026)