Markus Scherer
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
2
Active years
2020–2025
Best venue rank
A*
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | CCS | Wanilla: Sound Noninterference Analysis for WebAssembly. | Markus Scherer, Jeppe Fredsgaard Blaabjerg, Alexander Sjsten, Matteo Maffei |
| 2020 | CCS | eThor: Practical and Provably Sound Static Analysis of Ethereum Smart Contracts. | Clara Schneidewind, Ilya Grishchenko, Markus Scherer, Matteo Maffei |
| 2020 | ISoLA | 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 |