3 citations · 3 across the 2 of their papers we have counts for
4 papers
eThor: Practical and Provably Sound Static Analysis of Ethereum Smart Contracts
Clara Schneidewind, Ilya Grishchenko, Markus Scherer +1
Ethereum has emerged as the most popular smart contract development platform, with hundreds of thousands of contracts stored on the blockchain and covering a variety of application…
A Semantic Framework for the Security Analysis of Ethereum smart contracts
Ilya Grishchenko, Matteo Maffei, Clara Schneidewind
Smart contracts are programs running on cryptocurrency (e.g., Ethereum) blockchains, whose popularity stem from the possibility to perform financial transactions, such as payments…
HornDroid: Practical and Sound Static Analysis of Android Applications by SMT Solving
Stefano Calzavara, Ilya Grishchenko, Matteo Maffei
We present HornDroid, a new tool for the static analysis of information flow properties in Android applications. The core idea underlying HornDroid is to use Horn clauses for sound…
A Sound Flow-Sensitive Heap Abstraction for the Static Analysis of Android Applications
Stefano Calzavara, Ilya Grishchenko, Adrien Koutsos +1
The present paper proposes the first static analysis for Android applications which is both flow-sensitive on the heap abstraction and provably sound with respect to a rich formal…