Search Results for author: Aquinas Hobor

Found 4 papers, 1 papers with code

Schooling to Exploit Foolish Contracts

no code implementations21 Apr 2023 Tamer Abdelaziz, Aquinas Hobor

SCooLS uses neural networks to analyze Ethereum contract bytecode and identifies specific vulnerable functions.

F1 Score Feature Engineering

Smart Learning to Find Dumb Contracts (Extended Version)

no code implementations21 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%.

Feature Engineering Vulnerability Detection

Finding The Greedy, Prodigal, and Suicidal Contracts at Scale

4 code implementations16 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

A Concurrent Perspective on Smart Contracts

no code implementations17 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

Cannot find the paper you are looking for? You can Submit a new open access paper.