Pre-deployment Analysis of Smart Contracts -- A Survey

15 January 2023

Papers citing "Pre-deployment Analysis of Smart Contracts -- A Survey"

4 / 4 papers shown

Title
Abstract interpretation of Michelson smart-contracts Guillaume Bau A. Miné Vincent Botbol Mehdi Bouaziz 14 10 0 11 Oct 2022
The Good, the Bad and the Ugly: Pitfalls and Best Practices in Automated Sound Static Analysis of Ethereum Smart Contracts Clara Schneidewind Markus Scherer Matteo Maffei 47 10 0 14 Jan 2021
Eth2Vec: Learning Contract-Wide Code Representations for Vulnerability Detection on Ethereum Smart Contracts Nami Ashizawa Naoto Yanai Jason Paul Cruz Shingo Okamura 42 94 0 07 Jan 2021
Formalising and verifying smart contracts with Solidifier: a bounded model checker for Solidity P. Antonino A. W. Roscoe 18 13 0 07 Feb 2020