A quantitative notion of economic security for smart contract compositions. - Emily Priyadarshini; Massimo Bartoletti (CoRR, 2025)