Ilya Grishchenko

Publication Activity (10 Years)

Years Active: 2016-2024
Publications (10 Years): 19

Top Topics

Static Analysis

Symbolic Execution

Top Venues

USENIX Security Symposium

Publications

Zihao Su, Kunlin Cai, Reuben Beeler, Lukas Dresel, Allan Garcia, Ilya Grishchenko, Yuan Tian, Christopher Kruegel, Giovanni Vigna
Remote Keylogging Attacks in Multi-user VR Applications. USENIX Security Symposium (2024)
Giulio De Pasquale, Ilya Grishchenko, Riccardo Iesari, Gabriel Pizarro, Lorenzo Cavallaro, Christopher Kruegel, Giovanni Vigna
ChainReactor: Automated Privilege Escalation Chain Discovery via AI Planning. USENIX Security Symposium (2024)
Zihao Su, Kunlin Cai, Reuben Beeler, Lukas Dresel, Allan Garcia, Ilya Grishchenko, Yuan Tian, Christopher Kruegel, Giovanni Vigna
Remote Keylogging Attacks in Multi-user VR Applications. CoRR (2024)
Ravindu De Silva, Wenbo Guo, Nicola Ruaro, Ilya Grishchenko, Christopher Kruegel, Giovanni Vigna
GuideEnricher: Protecting the Anonymity of Ethereum Mixing Service Users with Deep Reinforcement Learning. USENIX Security Symposium (2024)
Priyanka Bose, Dipanjan Das, Saastha Vasan, Sebastiano Mariani, Ilya Grishchenko, Andrea Continella, Antonio Bianchi, Christopher Kruegel, Giovanni Vigna
Columbus: Android App Testing Through Systematic Callback Exploration. ICSE (2023)
Priyanka Bose, Dipanjan Das, Saastha Vasan, Sebastiano Mariani, Ilya Grishchenko, Andrea Continella, Antonio Bianchi, Christopher Kruegel, Giovanni Vigna
Columbus: Android App Testing Through Systematic Callback Exploration. CoRR (2023)
Fabio Gritti, Nicola Ruaro, Robert McLaughlin, Priyanka Bose, Dipanjan Das, Ilya Grishchenko, Christopher Kruegel, Giovanni Vigna
Confusum Contractum: Confused Deputy Vulnerabilities in Ethereum Smart Contracts. USENIX Security Symposium (2023)
Johannes Krupp, Ilya Grishchenko, Christian Rossow
AmpFuzz: Fuzzing for Amplification DDoS Vulnerabilities. USENIX Security Symposium (2022)
Fabio Gritti, Fabio Pagani, Ilya Grishchenko, Lukas Dresel, Nilo Redini, Christopher Kruegel, Giovanni Vigna
HEAPSTER: Analyzing the Security of Dynamic Allocators for Monolithic Firmware Images. IEEE Symposium on Security and Privacy (2022)
Markus Bauer, Ilya Grishchenko, Christian Rossow
TyPro: Forward CFI for C-Style Indirect Function Calls Using Type Propagation. ACSAC (2022)
Clara Schneidewind, Ilya Grishchenko, Markus Scherer, Matteo Maffei
eThor: Practical and Provably Sound Static Analysis of Ethereum Smart Contracts. CoRR (2020)
Clara Schneidewind, Ilya Grishchenko, Markus Scherer, Matteo Maffei
eThor: Practical and Provably Sound Static Analysis of Ethereum Smart Contracts. CCS (2020)
Ilya Grishchenko, Matteo Maffei, Clara Schneidewind
A Semantic Framework for the Security Analysis of Ethereum smart contracts. CoRR (2018)
Ilya Grishchenko, Matteo Maffei, Clara Schneidewind
Foundations and Tools for the Static Analysis of Ethereum Smart Contracts. CAV (1) (2018)
Ilya Grishchenko, Matteo Maffei, Clara Schneidewind
A Semantic Framework for the Security Analysis of Ethereum Smart Contracts. POST (2018)
Stefano Calzavara, Ilya Grishchenko, Adrien Koutsos, Matteo Maffei
A Sound Flow-Sensitive Heap Abstraction for the Static Analysis of Android Applications. CSF (2017)
Stefano Calzavara, Ilya Grishchenko, Matteo Maffei
HornDroid: Practical and Sound Static Analysis of Android Applications by SMT Solving. CoRR (2017)
Stefano Calzavara, Ilya Grishchenko, Adrien Koutsos, Matteo Maffei
A Sound Flow-Sensitive Heap Abstraction for the Static Analysis of Android Applications. CoRR (2017)
Stefano Calzavara, Ilya Grishchenko, Matteo Maffei
HornDroid: Practical and Sound Static Analysis of Android Applications by SMT Solving. EuroS&P (2016)