Prati
Ilya Grishchenko
Ilya Grishchenko
UC Santa Barbara
Potvrđena adresa e-pošte na ucsb.edu - Početna stranica
Naslov
Citirano
Citirano
Godina
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
3642018
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
1412020
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
1162018
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
892016
Ethertrust: Sound static analysis of ethereum bytecode
I Grishchenko, M Maffei, C Schneidewind
Technische Universität Wien, Tech. Rep, 1-41, 2018
522018
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
162022
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
92023
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
72022
{AmpFuzz}: Fuzzing for amplification {DDoS} vulnerabilities
J Krupp, I Grishchenko, C Rossow
31st USENIX Security Symposium (USENIX Security 22), 1043-1060, 2022
72022
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
72017
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
42023
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
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
32023
Static Analysis of Low-Level Code
I Grishchenko
PhD thesis, Technische Universität Wien, 2020
12020
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), 2024
2024
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
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
ChainReactor: Automated Privilege Escalation Chain Discovery via AI Planning
G De Pasquale, I Grishchenko, R Iesari, G Pizarro, L Cavallaro, C Kruegel, ...
Not your Type! Detecting Storage Collision Vulnerabilities in Ethereum Smart Contracts
N Ruaro, F Gritti, R McLaughlin, I Grishchenko, C Kruegel, G Vigna
Sustav trenutno ne može provesti ovu radnju. Pokušajte ponovo kasnije.
Članci 1–20