Riccado Marchesin
1 indexed paper
Recent (6 mo)
1With code
0Influential cites
0Benchmarked
0Publications per year
126
Top categories
Crypto×1Software Eng.×1
Frequent co-authors
Research Timeline
2026
A formal framework for the economic security of DeFi compositions
The paper introduces MEV non-interference, a formal security notion, to ensure that composing new smart contracts in DeFi does not increase the maximal extractable value, thereby providing a formal foundation for economic security.
Highlighted terms show continued research focus across papers