Name Card

Full name Familienname, Vorname
Grishchenko, Ilya
 
Main Affiliation Organisations­zuordnung
 

Own Publications Eigene Publikationen

Results 1-4 of 4 (Search time: 0.002 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Grishchenko Ilya - 2021 - Static analysis of low-level code.pdf.jpgGrishchenko, Ilya Static analysis of low-level codeThesis Hochschulschrift 2021
2Schneidewind, Clara ; Grishchenko, Ilya ; Scherer, Markus ; Maffei, Matteo eThor: Practical and Provably Sound Static Analysis of Ethereum Smart ContractsKonferenzbeitrag Inproceedings 2020
3Grishchenko, Ilya ; Schneidewind, Clara ; Maffei, Matteo A Semantic Framework for the Security Analysis of Ethereum Smart ContractsKonferenzbeitrag Inproceedings 2018
4Maffei, Matteo ; Calzavara, Stefano ; Grishchenko, Ilya ; Koutsos, Adrien A Sound Flow-Sensitive Heap Abstraction for the Static Analysis of Android ApplicationsKonferenzbeitrag Inproceedings 2017