Ilya Grishchenko | DeepAI

Chat Image Generator Video Music Voice Chat Photo Editor

Featured Co-authors

Dipanjan Das
32 publications
Matteo Maffei
16 publications
Giovanni Vigna
13 publications
Christopher Kruegel
12 publications
Stefano Calzavara
11 publications
Clara Schneidewind
5 publications
Adrien Koutsos
4 publications
Andrea Continella
3 publications
Priyanka Bose
3 publications
Antonio Bianchi
2 publications
Markus Scherer
2 publications

research

∙ 02/17/2023

Columbus: Android App Testing Through Systematic Callback Exploration

With the continuous rise in the popularity of Android mobile devices, au...

0 Priyanka Bose, et al. ∙

research

∙ 05/13/2020

eThor: Practical and Provably Sound Static Analysis of Ethereum Smart Contracts

Ethereum has emerged as the most popular smart contract development plat...

0 Clara Schneidewind, et al. ∙

research

∙ 02/23/2018

A Semantic Framework for the Security Analysis of Ethereum smart contracts

Smart contracts are programs running on cryptocurrency (e.g., Ethereum) ...

0 Ilya Grishchenko, et al. ∙

research

∙ 05/30/2017

A Sound Flow-Sensitive Heap Abstraction for the Static Analysis of Android Applications

The present paper proposes the first static analysis for Android applica...

0 Stefano Calzavara, et al. ∙

Success!

An error occurred