Send email Copy Email Address
Placeholder
Postdoc

Ilya Grishchenko

Email

Phone

Address

Stuhlsatzenhaus 5
66123 Saarbrücken (Germany)

Publications by Ilya Grishchenko

Year 2017

2017

A Sound Flow-Sensitive Heap Abstraction for the Static Analysis of Android Applications

Conference / Medium

CSF
30th IEEE Computer Security Foundations Symposium, CSF 2017, Santa Barbara, CA, USA, August 21-25, 2017

Tags
Authors
Download Visit Detail Page
2017

A Sound Flow-Sensitive Heap Abstraction for the Static Analysis of Android Applications

Article

CoRR

Tags
Authors
Download Visit Detail Page

Year 2016

2016-03-21

HornDroid: Practical and Sound Static Analysis of Android Applications by SMT Solving

Conference / Medium

EuroS&P
Proceedings of the 1st IEEE European Symposium on Security and Privacy (Euro S&P '16)

Tags
Reliable Security Guarantees
Authors
Download Visit Detail Page

Year 2014

2014-02-12

Static Analysis of Android Applications

Thesis

Tags
Secure Mobile and Autonomous Systems
Authors
Download Visit Detail Page