Ilya Grishchenko

Ilya Grishchenko

University of California Santa Barbara - Santa Barbara / United States
Engineering & Technology / Computer Science
AD Scientific Index ID: 1833410
person_outline Ilya Grishchenko's MOST POPULAR ARTICLES
1-) A semantic framework for the security analysis of ethereum smart contractsI Grishchenko, M Maffei, C SchneidewindInternational Conference on Principles of Security and Trust, 243-269, 20182702018
2-) ethor: Practical and provably sound static analysis of ethereum smart contractsC Schneidewind, I Grishchenko, M Scherer, M MaffeiProceedings of the 2020 ACM SIGSAC Conference on Computer and Communications …, 20201192020
3-) Foundations and tools for the static analysis of ethereum smart contractsI Grishchenko, M Maffei, C SchneidewindComputer Aided Verification: 30th International Conference, CAV 2018, Held …, 20181102018
4-) HornDroid: Practical and sound static analysis of Android applications by SMT solvingS Calzavara, I Grishchenko, M Maffei2016 IEEE European Symposium on Security and Privacy (EuroS&P), 47-62, 2016922016
5-) Ethertrust: Sound static analysis of ethereum bytecodeI Grishchenko, M Maffei, C SchneidewindTechnische Universität Wien, Tech. Rep, 1-41, 2018582018