A discrete mathematical framework for security and cryptographic analysis of Ethereum smart contracts
Satpal Singh Kushwaha, Sonam Gupta, Lipika Goel, Abhay Kumar Agarwal, Prashant Hemrajani
In this paper: Ethereum smart contracts execute immutable and financially critical logic, making post-deployment security flaws especially expensive to remediate. Existing protection mechanisms typically depend on e...
