Markus Scherer

According to our database, Markus Scherer authored at least 3 papers between 2020 and 2024.

Collaborative distances:

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

2024

Wappler: Sound Reachability Analysis for WebAssembly.

Markus Scherer, Jeppe Fredsgaard Blaabjerg, Alexander Sjösten, Magdalena Solitro, Matteo Maffei

Proceedings of the 37th IEEE Computer Security Foundations Symposium, 2024

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