I
Ilya Grishchenko
Researcher at Vienna University of Technology
Publications - 11
Citations - 365
Ilya Grishchenko is an academic researcher from Vienna University of Technology. The author has contributed to research in topics: Computer science & Android (operating system). The author has an hindex of 3, co-authored 6 publications receiving 269 citations. Previous affiliations of Ilya Grishchenko include Saarland University.
Papers
More filters
Book ChapterDOI
A Semantic Framework for the Security Analysis of Ethereum Smart Contracts
TL;DR: The first complete small-step semantics of EVM bytecode is presented, which is formalized in the F* proof assistant, obtaining executable code that is successfully validate against the official Ethereum test suite.
Proceedings ArticleDOI
HornDroid: Practical and Sound Static Analysis of Android Applications by SMT Solving
TL;DR: HornDroid is the first static analysis tool for Android to come with a formal proof of soundness, which covers the core of the analysis technique: besides yielding correctness assurances, this proof allowed us to identify some critical corner-cases that affect the soundness guarantees provided by some of the previous static analysis tools for Android.
Book ChapterDOI
A Semantic Framework for the Security Analysis of Ethereum smart contracts
TL;DR: In this article, the authors present the first complete small-step semantics of EVM bytecode, which they formalize in the F* proof assistant, obtaining executable code that they successfully validate against the official Ethereum test suite.
Posted ContentDOI
HornDroid: Practical and Sound Static Analysis of Android Applications by SMT Solving
TL;DR: HornDroid is the first static analysis tool for Android to come with a formal proof of soundness, which covers the core of the analysis technique: besides yielding correctness assurances, this proof allowed us to identify some critical corner-cases that affect the soundness guarantees provided by some of the previous static analysis tools for Android.
Proceedings ArticleDOI
A Sound Flow-Sensitive Heap Abstraction for the Static Analysis of Android Applications
TL;DR: In this paper, the authors propose a static analysis for Android applications which is both flow-sensitive on the heap abstraction and provably sound with respect to a rich formal model of the Android platform.