Clockwork Finance: Automated Analysis of Economic Security in Smart Contracts.

Kushal Babel Philip Daian Mahimna Kelkar Ari Juels

Published in: SP (2023)

Keyphrases

automated analysis
automated detection
biomedical imaging
smart grid
access control
visual analysis
information security
supply chain
business transactions
video analysis
security issues
intrusion detection
vocal cord
data mining
power system
image analysis
feature vectors
image processing