| A semantic framework for the security analysis of ethereum smart contracts I Grishchenko, M Maffei, C Schneidewind Principles of Security and Trust: 7th International Conference, POST 2018 …, 2018 | 397 | 2018 |
| ethor: Practical and provably sound static analysis of ethereum smart contracts C Schneidewind, I Grishchenko, M Scherer, M Maffei Proceedings of the 2020 ACM SIGSAC Conference on Computer and Communications …, 2020 | 163 | 2020 |
| Foundations and tools for the static analysis of ethereum smart contracts I Grishchenko, M Maffei, C Schneidewind Computer Aided Verification: 30th International Conference, CAV 2018, Held …, 2018 | 122 | 2018 |
| HornDroid: Practical and sound static analysis of Android applications by SMT solving S Calzavara, I Grishchenko, M Maffei 2016 IEEE European Symposium on Security and Privacy (EuroS&P), 47-62, 2016 | 93 | 2016 |
| Ethertrust: Sound static analysis of ethereum bytecode I Grishchenko, M Maffei, C Schneidewind Technische Universität Wien, Tech. Rep, 1-41, 2018 | 65 | 2018 |
| Heapster: Analyzing the security of dynamic allocators for monolithic firmware images F Gritti, F Pagani, I Grishchenko, L Dresel, N Redini, C Kruegel, G Vigna 2022 IEEE Symposium on Security and Privacy (SP), 1082-1099, 2022 | 30 | 2022 |
| Invisible image watermarks are provably removable using generative ai X Zhao, K Zhang, Z Su, S Vasan, I Grishchenko, C Kruegel, G Vigna, ... arXiv preprint arXiv:2306.01953, 2023 | 23 | 2023 |
| TyPro: Forward CFI for C-style indirect function calls using type propagation M Bauer, I Grishchenko, C Rossow Proceedings of the 38th Annual Computer Security Applications Conference …, 2022 | 13 | 2022 |
| {AmpFuzz}: Fuzzing for amplification {DDoS} vulnerabilities J Krupp, I Grishchenko, C Rossow 31st USENIX Security Symposium (USENIX Security 22), 1043-1060, 2022 | 11 | 2022 |
| A sound flow-sensitive heap abstraction for the static analysis of Android applications S Calzavara, I Grishchenko, A Koutsos, M Maffei 2017 IEEE 30th Computer Security Foundations Symposium (CSF), 22-36, 2017 | 7 | 2017 |
| Columbus: Android app testing through systematic callback exploration P Bose, D Das, S Vasan, S Mariani, I Grishchenko, A Continella, ... 2023 IEEE/ACM 45th International Conference on Software Engineering (ICSE …, 2023 | 6 | 2023 |
| Remote Keylogging Attacks in Multi-user VR Applications Z Su, K Cai, R Beeler, L Dresel, A Garcia, I Grishchenko, Y Tian, ... arXiv preprint arXiv:2405.14036, 2024 | 5 | 2024 |
| Not your type! Detecting storage collision vulnerabilities in ethereum smart contracts N Ruaro, F Gritti, R McLaughlin, I Grishchenko, C Kruegel, G Vigna Proc. Netw. Distrib. Syst. Secur. Symp, 1-17, 2024 | 4 | 2024 |
| Confusum contractum: confused deputy vulnerabilities in ethereum smart contracts F Gritti, N Ruaro, R McLaughlin, P Bose, D Das, I Grishchenko, C Kruegel, ... 32nd USENIX Security Symposium (USENIX Security 23), 1793-1810, 2023 | 4 | 2023 |
| A semantic framework for the security analysis of ethereum smart contracts–technical report (2018) I Grishchenko, M Maffei, C Schneidewind URL: https://secpriv. tuwien. ac. at/tools/ethsemantics.(Date: 2019-01-30), 0 | 4 | |
| Static analysis of low-level code I Grishchenko Technische Universität Wien, 2021 | 1 | 2021 |
| {ChainReactor}: Automated Privilege Escalation Chain Discovery via {AI} Planning G De Pasquale, I Grishchenko, R Iesari, G Pizarro, L Cavallaro, C Kruegel, ... 33rd USENIX Security Symposium (USENIX Security 24), 5913-5929, 2024 | | 2024 |
| {GuideEnricher}: Protecting the Anonymity of Ethereum Mixing Service Users with Deep Reinforcement Learning R De Silva, W Guo, N Ruaro, I Grishchenko, C Kruegel, G Vigna 33rd USENIX Security Symposium (USENIX Security 24), 3549-3566, 2024 | | 2024 |
| HornDroid: Practical and Sound Static Analysis of Android Applications by SMT Solving I Grishchenko, M Maffei, S Calzavara | | 2016 |
| Static Analysis of Android Applications I Grishchenko Universität des Saarlandes Saarbrücken, 2014 | | 2014 |
Matteo MaffeiFull Professor at TU Wien, Co-Director TU Wien Cybersecurity CenterEmail verificata su tuwien.ac.at
