Homepage of Ilya Grishchenko
External reviewer for CCS (2015), ACM SAC (2015) and UbiComp (2016)
- HornDroid: Practical and Sound Static Analysis of Android Applications by SMT Solving
Stefano Calzavara, Ilya Grishchenko, and Matteo Maffei.
1st IEEE European Symposium on Security and Privacy (IEEE EuroS&P 2016), 2016
(pdf) (technical report) (source) (website)
- Static Analysis of Android Applications
Master Thesis, Saarland University, 2014.
I am/was involved in the following courses: