Smart contract, a term which was originally coined to refer to the automation of legal
contracts in general, has recently seen much interest due to the advent of blockchain …

In recent years, the rapid development of cryptocurrencies and their underlying blockchain
technology has revived Szabo's original idea of smart contracts, ie, computer protocols that …

Fuzzing and symbolic execution are two complementary techniques for discovering software
vulnerabilities. Fuzzing is fast and scalable, but can be ineffective when it fails to randomly …

Formal methods have provided approaches for investigating software engineering
fundamentals and also have high potential to improve current practices in dependability …

Smart contract security is an emerging research area that deals with security issues arising
from the execution of smart contracts in a blockchain system. Generally, a smart contract is a …

We present the most complete and thoroughly tested formal semantics of x86-64 to date. Our
semantics faithfully formalizes all the non-deprecated, sequential user-level instructions of …

In the last year we have seen a great deal of both academic and practical interest in the topic
of vulnerabilities in smart contracts, particularly those developed for the Ethereum …

Rust claims to advance industrial programming by bridging the gap between low-level
systems programming and high-level application programming. At the heart of the argument …

The development of mechanised language specification based on structured operational
semantics, with applications to verified compilers and sound program analysis, requires …

Abstract Language workbenches are touted as a promising technology to engineer
languages for use in a wide range of domains, from programming to science to business …