13 citations · 31 across the 10 of their papers we have counts for
Showing 2023Show all
2 papers · 1 filter
cs.CR2023
DeFi composability as MEV non-interference
Massimo Bartoletti, Riccardo Marchesin, Roberto Zunino
Complex DeFi services are usually constructed by composing a variety of simpler smart contracts. The permissionless nature of the blockchains where these smart contracts are execut…
cs.CR2023
Secure compilation of rich smart contracts on poor UTXO blockchains
Massimo Bartoletti, Riccardo Marchesin, Roberto Zunino
Most blockchain platforms from Ethereum onwards render smart contracts as stateful reactive objects that update their state and transfer crypto-assets in response to transactions.…