314 citations · 314 across the 7 of their papers we have counts for
1 paper · 1 filter
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…