Abhay Kumar Agarwal

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...