Login / Signup
Markus Scherer
Publication Activity (10 Years)
Years Active: 2020-2021
Publications (10 Years): 4
Top Topics
Abstract Interpretation
Static Analysis
Symbolic Execution
Malicious Code
Top Venues
CoRR
ISoLA (3)
CCS
</>
Publications
</>
Clara Schneidewind
,
Markus Scherer
,
Matteo Maffei
The Good, the Bad and the Ugly: Pitfalls and Best Practices in Automated Sound Static Analysis of Ethereum Smart Contracts.
CoRR
(2021)
Clara Schneidewind
,
Ilya Grishchenko
,
Markus Scherer
,
Matteo Maffei
eThor: Practical and Provably Sound Static Analysis of Ethereum Smart Contracts.
CoRR
(2020)
Clara Schneidewind
,
Ilya Grishchenko
,
Markus Scherer
,
Matteo Maffei
eThor: Practical and Provably Sound Static Analysis of Ethereum Smart Contracts.
CCS
(2020)
Clara Schneidewind
,
Markus Scherer
,
Matteo Maffei
The Good, The Bad and The Ugly: Pitfalls and Best Practices in Automated Sound Static Analysis of Ethereum Smart Contracts.
ISoLA (3)
(2020)