( en | de | ru )

 

Disambiguation of "Grishchenko, Ilya"

Author of the publication

copydeleteadd this publication to your clipboard
A Sound Flow-Sensitive Heap Abstraction for the Static Analysis of Android Applications.

, , , and . CSF, page 22-36. IEEE Computer Society, (2017)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Yulia Grishchenko

Katja Ilyashava

Maxim Ilyasov

Rimma Ilyasova

Ilya Christoffel

 

Other publications of authors with the same name

eThor: Practical and Provably Sound Static Analysis of Ethereum Smart Contracts., , , and . ACM Conference on Computer and Communications Security, page 621-640. ACM, (2020)HEAPSTER: Analyzing the Security of Dynamic Allocators for Monolithic Firmware Images., , , , , , and . SP, page 1082-1099. IEEE, (2022)A Semantic Framework for the Security Analysis of Ethereum Smart Contracts., , and . POST, volume 10804 of Lecture Notes in Computer Science, page 243-269. Springer, (2018)Foundations and Tools for the Static Analysis of Ethereum Smart Contracts., , and . CAV (1), volume 10981 of Lecture Notes in Computer Science, page 51-78. Springer, (2018)AmpFuzz: Fuzzing for Amplification DDoS Vulnerabilities., , and . USENIX Security Symposium, page 1043-1060. USENIX Association, (2022)Columbus: Android App Testing Through Systematic Callback Exploration., , , , , , , , and . ICSE, page 1381-1392. IEEE, (2023)HornDroid: Practical and Sound Static Analysis of Android Applications by SMT Solving., , and . CoRR, (2017)HornDroid: Practical and Sound Static Analysis of Android Applications by SMT Solving., , and . EuroS&P, page 47-62. IEEE, (2016)Confusum Contractum: Confused Deputy Vulnerabilities in Ethereum Smart Contracts., , , , , , , and . USENIX Security Symposium, page 1793-1810. USENIX Association, (2023)TyPro: Forward CFI for C-Style Indirect Function Calls Using Type Propagation., , and . ACSAC, page 346-360. ACM, (2022)