Search Results for author: Ilya Sergey

Found 3 papers, 1 papers with code

Running on Fumes--Preventing Out-of-Gas Vulnerabilities in Ethereum Smart Contracts using Static Resource Analysis

no code implementations22 Nov 2018 Elvira Albert, Pablo Gordillo, Albert Rubio, Ilya Sergey

Gas is a measurement unit of the computational effort that it will take to execute every single operation that takes part in the Ethereum blockchain platform.

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.