A quantitative notion of economic security for smart contract compositions

Emily Priyadarshini, Massimo Bartoletti

Decentralized applications are often composed of multiple interconnected smart contracts. This is especially evident in DeFi, where protocols are heavily intertwined and rely on a…