The Bit Machine is used as a tool for measuring the computational space and time resources needed to evaluate Simplicity programs.
Programming Languages
Front-running attacks have been a major concern on the blockchain.
Software Engineering
Our study is the first that is based on the entire body of deployed bytecode on Ethereum's main chain.
Cryptography and Security Software Engineering
First, Harvey extends standard greybox fuzzing with a method for predicting new inputs that are more likely to cover new paths or reveal vulnerabilities in smart contracts.
Software Engineering Cryptography and Security
Smart contracts are blockchain programs that often handle valuable assets.
Cryptography and Security Software Engineering
This paper outlines key design principles of Scilla---an intermediate-level language for verified smart contracts.
Programming Languages
In this paper, we describe the formal verification of Smart Contracts offered as part of the Azure Blockchain Content and Samples on github.
Programming Languages F.3.1
As smart contracts cannot be updated after deployment, it is imperative that the programming language supports the development of robust contracts.
Programming Languages Cryptography and Security
However, we have not yet found a testbed that enables researchers to develop and evaluate their new consensus algorithms or new protocols for blockchain sharding systems.
Cryptography and Security Distributed, Parallel, and Cluster Computing
In this paper, we present Vandal: a security analysis framework for Ethereum smart contracts.
Programming Languages
