Prati
Ilya Grishchenko
Ilya Grishchenko
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
3532018
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
1242020
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
1092018
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
872016
Ethertrust: Sound static analysis of ethereum bytecode
I Grishchenko, M Maffei, C Schneidewind
Technische Universität Wien, Tech. Rep, 1-41, 2018
472018
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
112022
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
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
62022
{AmpFuzz}: Fuzzing for Amplification {DDoS} Vulnerabilities
J Krupp, I Grishchenko, C Rossow
31st USENIX Security Symposium (USENIX Security 22), 1043-1060, 2022
62022
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
22023
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
12023
Static Analysis of Low-Level Code
I Grishchenko
PhD thesis, Technische Universität Wien, 2020
12020
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
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–16