Markus Scherer

According to our database, Markus Scherer authored at least 5 papers between 2020 and 2025.

Collaborative distances:

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

2025

Let's Move2EVM.

Lorenzo Benetollo, Andreas Lackner, Matteo Maffei, Markus Scherer

Proceedings of the 34th USENIX Security Symposium, 2025

Wanilla: Sound Noninterference Analysis for WebAssembly.

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

Proceedings of the 2025 ACM SIGSAC Conference on Computer and Communications Security, 2025

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