TU Wien Informatics

Overview Professors Scientific Staff Administrative Staff Student Staff External Lecturers By Responsibilities By Committee By Name
Related
Guest Professors Honoraries Alumni (LinkedIn) #5qw

Markus Scherer

Dipl.-Ing. / BSc

Markus Scherer

Role

Contact

  • Wanilla: Sound Noninterference Analysis for WebAssembly / Scherer, M., Blaabjerg, J. F., Sjösten, A., & Maffei, M. (2025). Wanilla: Sound Noninterference Analysis for WebAssembly. In CCS ’25: Proceedings of the 2025 ACM SIGSAC Conference on Computer and Communications Security (pp. 126–140). Association for Computing Machinery. https://doi.org/10.1145/3719027.3765156
    Projects: BlockSec (2025–2030) / CDL-BOT (2020–2027) / ForSmart (2023–2027) / SFB SPyCoDe (2023–2030) / SPFBT (2020–2026)
  • Let's Move2EVM / Benetollo, L., Lackner, A., Maffei, M., & Scherer, M. (2025). Let’s Move2EVM. In USENIX Association : Proceedings of the 34th USENIX Security Symposium : August 13–15, 2025 Seattle, WA, USA (pp. 1339–1355).
    Projects: BlockSec (2025–2030) / CDL-BOT (2020–2027) / ForSmart (2023–2027) / SFB SPyCoDe (2023–2030) / SPFBT (2020–2026)
  • Wappler: Sound Reachability Analysis for WebAssembly / Scherer, M., Blaabjerg, J. F., Sjösten, A., Solitro, M. M., & Maffei, M. (2024). Wappler: Sound Reachability Analysis for WebAssembly. In L. O’Conner & P. Kellenberger (Eds.), 2024 IEEE 37th Computer Security Foundations Symposium (CSF) (pp. 249–264). https://doi.org/10.1109/CSF61375.2024.00025
    Projects: Browsec (2018–2024) / CDL-BOT (2020–2027) / ForSmart (2023–2027) / SFB SPyCoDe (2023–2030)
  • eThor: Practical and Provably Sound Static Analysis of Ethereum Smart Contracts / Schneidewind, C., Grishchenko, I., Scherer, M., & Maffei, M. (2020). eThor: Practical and Provably Sound Static Analysis of Ethereum Smart Contracts. In Proceedings of the 2020 ACM SIGSAC Conference on Computer and Communications Security. ACM Conference on Computer and Communications Security (CCS), Washington, United States of America (the). Association for Computing Machinery ACM. https://doi.org/10.1145/3372297.3417250
  • The Good, The Bad and The Ugly: Pitfalls and Best Practices in Automated Sound Static Analysis of Ethereum Smart Contracts / Schneidewind, C., Scherer, M., & Maffei, M. (2020). The Good, The Bad and The Ugly: Pitfalls and Best Practices in Automated Sound Static Analysis of Ethereum Smart Contracts. In T. Margaria & B. Steffen (Eds.), Leveraging Applications of Formal Methods, Verification and Validation: Applications. ISoLA 2020, Proceedings, Part III (pp. 212–231). Springer. https://doi.org/10.1007/978-3-030-61467-6_14
  • Parallelizing the commutation property for functions over small domains / Scherer, M. (2016). Parallelizing the commutation property for functions over small domains [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2016.36321
    Download: PDF (708 KB)