peer reviewedIn this work we present E-EVM, a tool that emulates and visualises the execution of smart contracts on the Ethereum Virtual Machine. By working with the readily available bytecode of smart contracts we are able to display the program's control flow graph, opcodes and stack for each step of contract execution. This tool is designed to aid the user's understanding of the Etheruem Virtual Machine as well as aid the analysis of any given smart contract. As such, it functions as both an analysis and a learning tool. It allows the user to view the code in each block of a smart contract and follow possible control flow branches. It is able to detect loops and suggest optimisation candidates. It is possible to step through a contract o...
The use of blockchains and smart contracts is currently explored in various fields of science and e...
International audienceEthereum is a framework for cryptocurrencies which uses blockchain technology ...
This paper proposes IELE, an LLVM-style language, together with a tool ecosystem for implementing an...
peer reviewedIn this work we present E-EVM, a tool that emulates and visualises the execution of sma...
A developing field of interest for the distributed systems and applied cryptography community is th...
Smart contracts are programs that are used for verifying and enforcing the terms of an agreement. Et...
Motivated by the immutable nature of Ethereum smart contracts and of their transactions, quite many ...
Ethereum is a decentralized blockchain technology equipped with so-called Smart Contracts. A contrac...
International audienceThe Ethereum blockchain enables executing and recording smart contracts. The s...
This document presents the tool EVMInspector, created for the partial execution of EVM bytecode prog...
International audienceEthereum is a decentralized blockchain technology equipped with so-called Smar...
Ethereum smart contracts are computer programs that are deployed and executed on the Ethereum blockc...
Thesis (MSc)--Stellenbosch University, 2020.ENGLISH ABSTRACT: There have been several high-profile e...
In this work, we perform a comprehensive empirical study of smart contracts deployed on the ethereum...
peer reviewedSmart contracts have recently attracted interest from diverse fields including law and ...
The use of blockchains and smart contracts is currently explored in various fields of science and e...
International audienceEthereum is a framework for cryptocurrencies which uses blockchain technology ...
This paper proposes IELE, an LLVM-style language, together with a tool ecosystem for implementing an...
peer reviewedIn this work we present E-EVM, a tool that emulates and visualises the execution of sma...
A developing field of interest for the distributed systems and applied cryptography community is th...
Smart contracts are programs that are used for verifying and enforcing the terms of an agreement. Et...
Motivated by the immutable nature of Ethereum smart contracts and of their transactions, quite many ...
Ethereum is a decentralized blockchain technology equipped with so-called Smart Contracts. A contrac...
International audienceThe Ethereum blockchain enables executing and recording smart contracts. The s...
This document presents the tool EVMInspector, created for the partial execution of EVM bytecode prog...
International audienceEthereum is a decentralized blockchain technology equipped with so-called Smar...
Ethereum smart contracts are computer programs that are deployed and executed on the Ethereum blockc...
Thesis (MSc)--Stellenbosch University, 2020.ENGLISH ABSTRACT: There have been several high-profile e...
In this work, we perform a comprehensive empirical study of smart contracts deployed on the ethereum...
peer reviewedSmart contracts have recently attracted interest from diverse fields including law and ...
The use of blockchains and smart contracts is currently explored in various fields of science and e...
International audienceEthereum is a framework for cryptocurrencies which uses blockchain technology ...
This paper proposes IELE, an LLVM-style language, together with a tool ecosystem for implementing an...