Markus Scherer

According to our database, Markus Scherer authored at least 2 papers in 2020.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2020

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

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Applications, 2020

eThor: Practical and Provably Sound Static Analysis of Ethereum Smart Contracts.

Clara Schneidewind, Ilya Grishchenko, Markus Scherer, Matteo Maffei

Proceedings of the CCS '20: 2020 ACM SIGSAC Conference on Computer and Communications Security, 2020