eThor: Practical and Provably Sound Static Analysis of Ethereum Smart Contracts. - Clara Schneidewind; Ilya Grishchenko; Markus Scherer; Matteo Maffei (CCS, 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 (ISoLA (3), 2020)

Wappler: Sound Reachability Analysis for WebAssembly. - Markus Scherer; Jeppe Fredsgaard Blaabjerg; Alexander Sjösten; Magdalena Solitro; Matteo Maffei (CSF, 2024)