SolType: Refinement Types for Arithmetic Overflow in Solidity

Bryan Tan, Benjamin Mariano, Shuvendu K. Lahiri +2

As smart contracts gain adoption in financial transactions, it becomes increasingly important to ensure that they are free of bugs and security vulnerabilities. Of particular relev…