SVScanner: Detecting smart contract vulnerabilities via deep semantic extraction

Advances in neural information processing systems 7

Krzysztof J. Cios, Mark E. Shields · Neurocomputing · 1997 · 22.3K citations

Intelligent Information Processing, Engineering, Machine Learning +5

Advances in Neural Information Processing Systems 29

Onur Teymur, Kostas Zygalakis, Ben Calderhead · 2016 · 13.4K citations

Engineering, Computational Neuroscience, Computer Science +5

Ethereum: A Secure Decentralised Generalised Transaction Ledger

Gavin Wood · 2013 · 5.3K citations

Hardware Security, Ethereum Implements, Fintech +15

Making Smart Contracts Smarter

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

Engineering, Smart Contracts, Cryptocurrency +21

Securify

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

Engineering, Information Security, Verification +16