Don’t run on fumes—Parametric gas bounds for smart contracts

Ethereum: A Secure Decentralised Generalised Transaction Ledger

Gavin Wood · 2013 · 5.3K citations

Computing, Computer Science, Cybersecurity +15

Making Smart Contracts Smarter

Loi Luu, Duc-Hiep Chu, Hrishi Olickel et al. · 2016 · 2.2K citations

Computing, Computer Science, Information Technology +14

USENIX Security Symposium

IEEE Security & Privacy · 2004 · 1.5K citations

Computing, Computer Science, Computer Systems +15

Points-to analysis in almost linear time

Bjarne Steensgaard · 1996 · 1.1K citations · Full text

Computing, Computer Science, Algorithms +16

Securify

Petar Tsankov, Andrei Dan, Dana Drachsler-Cohen et al. · 2018 · 1K citations

Computing, Computer Science, Cybersecurity +17