Markus Scherer
Dipl.-Ing. / BSc
Role
-
PreDoc Researcher
Security and Privacy, E192-06
Contact
- markus.scherer@tuwien.ac.at
- +43-1-58801-18550
- Favoritenstrasse 9, Room HA0110
- vCard from TISS
Publications
- 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 Lecture Notes in Computer Science (pp. 212–231). Springer. https://doi.org/10.1007/978-3-030-61467-6_14
- 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, USA, Non-EU. Association for Computing Machinery ACM. https://doi.org/10.1145/3372297.3417250
-
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)
Supervisions
-
Sound cross-contract reachability analysis of ethereum smart contracts
/
Schweighofer, M. (2022). Sound cross-contract reachability analysis of ethereum smart contracts [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2022.95282
Download: PDF (1.99 MB)