Introduces MEV non-interference and local MEV as formal notions to enable modular reasoning about economic security in DeFi contract compositions.
Proceedings of the International Conference on Financial Cryptography and Data Security (FC) , pages =
2 Pith papers cite this work. Polarity classification is still indexing.
2
Pith papers citing it
citation-role summary
dataset 1
citation-polarity summary
years
2026 2verdicts
UNVERDICTED 2roles
dataset 1polarities
use dataset 1representative citing papers
A formal coordination model with dynamic roles and data-driven transitions enables a toolchain for validating models, generating Solidity smart contracts, and synthesizing tests.
citing papers explorer
-
A formal framework for the economic security of DeFi compositions
Introduces MEV non-interference and local MEV as formal notions to enable modular reasoning about economic security in DeFi contract compositions.
-
Automatic Code and Test Generation of Smart Contracts from Coordination Models
A formal coordination model with dynamic roles and data-driven transitions enables a toolchain for validating models, generating Solidity smart contracts, and synthesizing tests.