About
Markus Scherer is a PreDoc Researcher in the Department of Security and Privacy at Technische Universität Wien. His work focuses on formal methods, static analysis of smart contracts, and WebAssembly security. He holds a Diplom-Ingenieur (BSc equivalent) from TU Wien and has conducted research under Prof. Matteo Maffei.
Education:
- 2016: Diploma Thesis on 'Parallelizing the commutation property for functions over small domains' at TU Wien
Research Interests:
- Sound static analysis for Ethereum smart contracts and WebAssembly
- Formal verification of blockchain systems
- Development of provably secure analysis tools (e.g., eThor, Wappler)
Key Projects:
- Browsec (2018–2024)
- CDL-BOT (2020–2025)
- ForSmart (2023–2027)
- SFB SPyCoDe (2023–2026)
Advising: Supervised Master's thesis of Martin Schweighofer on cross-contract reachability analysis (2022).
0Publications listed
Find Markus Scherer elsewhere
Related Searches
You Might Also Like
- MMagdalena Maria SolitroVienna University of Technology · Researcher
- GGiulia ScaffinoVienna University of Technology · Researcher
- SSimon JeanteurVienna University of Technology · Researcher
Matteo MaffeiVienna University of Technology · Professor- MMatteo MaffeiVienna University of Technology · Professor
- CChristoph HochrainerVienna University of Technology · Researcher