Search Results for author:
Found 3 papers, 1 papers with code
The Economics of Smart Contracts
We show that the actual costs of executing smart contracts are disproportionate to the computational costs and that this gap is continuously widening.
Distributed, Parallel, and Cluster Computing Cryptography and Security Software Engineering D.2.8; D.2.11
Vandal: A Scalable Security Analysis Framework for Smart Contracts
In this paper, we present Vandal: a security analysis framework for Ethereum smart contracts.
Programming Languages
SPARK: Static Program Analysis Reasoning and Retrieving Knowledge
In this work, we present a machine learning pipeline that induces a security analyzer for programs by example.
