HornDroid: Practical and Sound Static Analysis of Android Applications by SMT Solving. - Stefano Calzavara; Ilya Grishchenko; Matteo Maffei (EuroS&P, 2016)

A Sound Flow-Sensitive Heap Abstraction for the Static Analysis of Android Applications. - Stefano Calzavara; Ilya Grishchenko; Adrien Koutsos; Matteo Maffei (CSF, 2017)

Foundations and Tools for the Static Analysis of Ethereum Smart Contracts. - Ilya Grishchenko; Matteo Maffei; Clara Schneidewind (CAV (1), 2018)

A Semantic Framework for the Security Analysis of Ethereum Smart Contracts. - Ilya Grishchenko; Matteo Maffei; Clara Schneidewind (POST, 2018)

eThor: Practical and Provably Sound Static Analysis of Ethereum Smart Contracts. - Clara Schneidewind; Ilya Grishchenko; Markus Scherer; Matteo Maffei (CCS, 2020)

TyPro: Forward CFI for C-Style Indirect Function Calls Using Type Propagation. - Markus Bauer 004; Ilya Grishchenko; Christian Rossow (ACSAC, 2022)

HEAPSTER: Analyzing the Security of Dynamic Allocators for Monolithic Firmware Images. - Fabio Gritti; Fabio Pagani; Ilya Grishchenko; Lukas Dresel; Nilo Redini; Christopher Kruegel; Giovanni Vigna (SP, 2022)

AmpFuzz: Fuzzing for Amplification DDoS Vulnerabilities. - Johannes Krupp; Ilya Grishchenko; Christian Rossow (USENIX Security Symposium, 2022)

Columbus: Android App Testing Through Systematic Callback Exploration. - Priyanka Bose; Dipanjan Das 002; Saastha Vasan; Sebastiano Mariani; Ilya Grishchenko; Andrea Continella; Antonio Bianchi; Christopher Kruegel; Giovanni Vigna (ICSE, 2023)

Confusum Contractum: Confused Deputy Vulnerabilities in Ethereum Smart Contracts. - Fabio Gritti; Nicola Ruaro; Robert McLaughlin; Priyanka Bose; Dipanjan Das 002; Ilya Grishchenko; Christopher Kruegel; Giovanni Vigna (USENIX Security Symposium, 2023)

DEEPCAPA: Identifying Malicious Capabilities in Windows Malware. - Saastha Vasan; Hojjat Aghakhani; Stefano Ortolani; Roman Vasilenko; Ilya Grishchenko; Christopher Kruegel; Giovanni Vigna (ACSAC, 2024)

Not your Type! Detecting Storage Collision Vulnerabilities in Ethereum Smart Contracts. - Nicola Ruaro; Fabio Gritti; Robert McLaughlin; Ilya Grishchenko; Christopher Kruegel; Giovanni Vigna (NDSS, 2024)

Invisible Image Watermarks Are Provably Removable Using Generative AI. - Xuandong Zhao; Kexun Zhang; Zihao Su; Saastha Vasan; Ilya Grishchenko; Christopher Kruegel; Giovanni Vigna; Yu-Xiang Wang 003; Lei Li 005 (NeurIPS, 2024)

ChainReactor: Automated Privilege Escalation Chain Discovery via AI Planning. - Giulio De Pasquale; Ilya Grishchenko; Riccardo Iesari; Gabriel Pizarro; Lorenzo Cavallaro; Christopher Kruegel; Giovanni Vigna (USENIX Security Symposium, 2024)

GuideEnricher: Protecting the Anonymity of Ethereum Mixing Service Users with Deep Reinforcement Learning. - Ravindu De Silva; Wenbo Guo 002; Nicola Ruaro; Ilya Grishchenko; Christopher Kruegel; Giovanni Vigna (USENIX Security Symposium, 2024)

Remote Keylogging Attacks in Multi-user VR Applications. - Zihao Su; Kunlin Cai; Reuben Beeler; Lukas Dresel; Allan Garcia; Ilya Grishchenko; Yuan Tian 001; Christopher Kruegel; Giovanni Vigna (USENIX Security Symposium, 2024)

A History of Greed: Practical Symbolic Execution for Ethereum Smart Contracts. - Nicola Ruaro; Fabio Gritti; Robert McLaughlin; Dongyu Meng; Ilya Grishchenko; Christopher Kruegel; Giovanni Vigna (DIMVA (2), 2025)