Login / Signup
RA: Hunting for Re-Entrancy Attacks in Ethereum Smart Contracts via Static Analysis.
Yuichiro Chinen
Naoto Yanai
Jason Paul Cruz
Shingo Okamura
Published in:
Blockchain (2020)
Keyphrases
</>
static analysis
java card
malicious code
dynamic analysis
source code
symbolic execution
supply chain
test generation
abstract interpretation
regular expressions
countermeasures
watermarking scheme
test suite
smart grid
real world
intrusion detection