Ilya Grishchenko

 
  • Project Assistant, MSc
  • TU Wien
  • Institute of Informations Systems 184/6
  • Favoritenstraße 9–11
  • 1040 Wien
  • Austria
Email: name.surname(at)tuwien.ac.at

Research Interests

Language-based security, information flow

Current Position

  • I am a PhD student fully funded by the Security and Privacy group at TU Wien.

Education

  • MSc, 2014, Saarland University
  • Diploma, 2010, Orenburg State University

Publications

  1. Stefano Calzavara, Ilya Grishchenko, and Matteo Maffei. HornDroid: Practical and Sound Static Analysis of Android Applications by SMT Solving, in: Proceedings of the 1st IEEE European Symposium on Security and Privacy (IEEE EuroS&P 2016)
  2. Stefano Calzavara, Ilya Grishchenko, and Matteo Maffei. A Sound Flow-Sensitive Heap Abstraction for the Static Analysis of Android Applications, to appear in Proceedings of the 30th IEEE Security Foundations Symposium (IEEE CSF 2017)

Awards

  • A graduate scholarship in the Saarbrücken Graduate School of Computer Science (2013)
  • The International Max Planck Research School for Computer Science scholarship (2011)