An Automated Analyzer for Financial Security of Ethereum Smart Contracts

27 August 2022

Yan Xiong

Papers citing "An Automated Analyzer for Financial Security of Ethereum Smart Contracts"

2 / 2 papers shown

Title
Clockwork Finance: Automated Analysis of Economic Security in Smart Contracts Kushal Babel Philip Daian Mahimna Kelkar Ari Juels 69 63 0 09 Sep 2021
Automated analysis of security protocols with global state S. Kremer Robert Künnemann 36 95 0 05 Mar 2014