Security and Privacy Group
> Zum Inhalt
Ilya Grishchenko

Technische Universität Wien
Institut of Logic and Computation 192/6
Abteilung für Security and Privacy
 

Favoritenstrasse 9-11
Steige 2, 1. Stock 
A-1040, Wien

Telefone: +43 (1)58801 184863
Email: ilya (dot) grishchenko (at) tuwien (dot) ac (at) 

Scientific Service

External reviewer for CCS (2015, 2017), ACM SAC (2015) and UbiComp (2016)

Research

My recent research interests are formal verification techniques for mobile apps (HornDroid) and blockchain technology (Ethereum).

 

HD logo

Sources:

https://github.com/ylya/horndroid

Publications:

 

  1. Foundations and tools for the static analysis of Ethereum smart contracts
    Ilya Grishchenko, Clara Schneidewind, and Matteo Maffei
    In Proceedings of 30th International Conference on Computer Aided Verification (CAV 2018, invited contribution). pdf
  2. A Semantic for the Security Analysis of Ethereum smart contracts
    Ilya Grishchenko, Clara Schneidewind, and Matteo Maffei
    In Proceedings of 7th International Conference on Principles of Security and Trust (POST 2018). pdf technical report Best EAPLS paper award at ETAPS.
  3. Sound Flow-Sensitive Heap Abstraction for the Static Analysis of Android Applications
    Stefano Calzavara, Ilya Grishchenko, Adrien Koutsos, and Matteo Maffei
    In Proceedings of 30th Computer Security Foundations Symposium (IEEE CSF 2017). pdf technical report
  4. HornDroid: Practical and Sound Security Static Analysis of Android Applications by SMT Solving
    Stefano Calzavara, Ilya Grishchenko, and Matteo Maffei
    In Proceedings of 1st IEEE European Symposium on Security and Privacy (IEEE EuroS&P 2016). pdf technical report