Login / Signup
Practical and Provably Sound Static Analysis of Ethereum Smart Contracts.
Matteo Maffei
Published in:
ICISSP (2021)
Keyphrases
</>
static analysis
dynamic analysis
symbolic execution
source code
malicious code
real world
abstract interpretation
test suite
java card
domain knowledge
supply chain
artificial intelligence
regular expressions
relational data
open source
test generation
keywords
test case generation