Clockwork Finance: Automated Analysis of Economic Security in Smart Contracts
▶Clockwork Finance: Automated Analysis of Economic Security in Smart Contracts — a 2023 IEEE S&P 2023 Sessions security conference talk on vuln-research (12:13 min). Watch the full video, indexed free on the Breach Arc Archive.
▶ Watch video on YouTube