HoRStify: Sound Security Analysis of Smart Contracts. (arXiv:2301.13769v1 [cs.CR])

The cryptocurrency Ethereum is the most widely used execution platform for
smart contracts. Smart contracts are distributed applications, which govern
financial assets and, hence, can implement advanced financial instruments, such
as decentralized exchanges or autonomous organizations (DAOs). Their financial
nature makes smart contracts an attractive attack target, as demonstrated by
numerous exploits on popular contracts resulting in financial damage of
millions of dollars. This omnipresent attack hazard motivates the need for
sound static analysis tools, which assist smart contract developers …

advanced analysis applications assets attack autonomous cryptocurrency daos decentralized distributed ethereum exploits financial govern nature organizations platform popular security security analysis smart smart contracts sound target