no code implementations • 21 Apr 2023 • Tamer Abdelaziz, Aquinas Hobor
SCooLS uses neural networks to analyze Ethereum contract bytecode and identifies specific vulnerable functions.
no code implementations • 21 Apr 2023 • Tamer Abdelaziz, Aquinas Hobor
Second, Sibling Detector (SD) classifies contracts when a target contract's vector is Euclidian-close to a labeled contract's vector in a training set; although only able to judge 55. 7% of the contracts in our test set, it has a Slither-predictive accuracy of 97. 4% with a false positive rate of only 0. 1%.
4 code implementations • 16 Feb 2018 • Ivica Nikolic, Aashish Kolluri, Ilya Sergey, Prateek Saxena, Aquinas Hobor
On a subset of3, 759 contracts which we sampled for concrete validation and manual analysis, we reproduce real exploits at a true positive rate of 89%, yielding exploits for3, 686 contracts.
Cryptography and Security
no code implementations • 17 Feb 2017 • Ilya Sergey, Aquinas Hobor
In this paper, we explore remarkable similarities between multi-transactional behaviors of smart contracts in cryptocurrencies such as Ethereum and classical problems of shared-memory concurrency.
Distributed, Parallel, and Cluster Computing