Annotary: A Concolic Execution System for Developing Secure Smart Contracts

8 July 2019

Papers citing "Annotary: A Concolic Execution System for Developing Secure Smart Contracts"

2 / 2 papers shown

Title
Eth2Vec: Learning Contract-Wide Code Representations for Vulnerability Detection on Ethereum Smart Contracts Nami Ashizawa Naoto Yanai Jason Paul Cruz Shingo Okamura 96 98 0 07 Jan 2021
Hunting for Re-Entrancy Attacks in Ethereum Smart Contracts via Static Analysis Yuichiro Chinen Naoto Yanai Jason Paul Cruz Shingo Okamura 53 37 0 02 Jul 2020