معرفی
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).
۰مقاله منتشرشده
Markus Scherer در سایتهای دیگر
جستوجوهای مرتبط
شاید اینها هم برایتان مناسب باشند
- MMagdalena Maria SolitroVienna University of Technology · پژوهشگر
- GGiulia ScaffinoVienna University of Technology · پژوهشگر
- SSimon JeanteurVienna University of Technology · پژوهشگر
Matteo MaffeiVienna University of Technology · استاد- MMatteo MaffeiVienna University of Technology · استاد
- CChristoph HochrainerVienna University of Technology · پژوهشگر