E-LIB Suche - Ergebnisse für: Grishchenko, Ilya

1

Columbus: Android App Testing Through Systematic Callback E..:

, In: 2023 IEEE/ACM 45th International Conference on Software Engineering (ICSE),

Bose, Priyanka ; Das, Dipanjan ; Vasan, Saastha... - p. 1381-1392 , 2023

Link: https://doi.org/10.1109/..

2

HEAPSTER: Analyzing the Security of Dynamic Allocators for ..:

, In: 2022 IEEE Symposium on Security and Privacy (SP),

Gritti, Fabio ; Pagani, Fabio ; Grishchenko, Ilya... - p. 1082-1099 , 2022

Link: https://doi.org/10.1109/..

3

TyPro: Forward CFI for C-Style Indirect Function Calls Usin..:

, In: Annual Computer Security Applications Conference,

Bauer, Markus ; Grishchenko, Ilya ; Rossow, Christian - p. 346-360 , 2022

Link: https://dl.acm.org/doi/1..

4

eThor: Practical and Provably Sound Static Analysis of Ethe..:

, In: Proceedings of the 2020 ACM SIGSAC Conference on Computer and Communications Security,

Schneidewind, Clara ; Grishchenko, Ilya ; Scherer, Markus. - p. 621-640 , 2020

Link: https://dl.acm.org/doi/1..

5

A Semantic Framework for the Security Analysis of Ethereum ..:

, In: Lecture Notes in Computer Science; Principles of Security and Trust,

Grishchenko, Ilya ; Maffei, Matteo ; Schneidewind, Clara - p. 243-269 , 2018

Link: https://doi.org/10.1007/..

6

Foundations and Tools for the Static Analysis of Ethereum S..:

, In: Computer Aided Verification; Lecture Notes in Computer Science,

Grishchenko, Ilya ; Maffei, Matteo ; Schneidewind, Clara - p. 51-78 , 2018

Link: https://doi.org/10.1007/..

7

Columbus: Android App Testing Through Systematic Callback E..:

Bose, Priyanka ; Das, Dipanjan ; Vasan, Saastha...
http://arxiv.org/abs/2302.09116. , 2023

Link: http://arxiv.org/abs/230..

8

Invisible Image Watermarks Are Provably Removable Using Gen..:

Zhao, Xuandong ; Zhang, Kexun ; Su, Zihao...
http://arxiv.org/abs/2306.01953. , 2023

Link: http://arxiv.org/abs/230..

9

Static analysis of low-level code:

Grishchenko, Ilya
https://doi.org/10.34726/hss.2021.87563. , 2021

Link: https://doi.org/10.34726..

10

eThor: Practical and Provably Sound Static Analysis of Ethe..:

Schneidewind, Clara ; Grishchenko, Ilya ; Scherer, Markus.
http://arxiv.org/abs/2005.06227. , 2020

Link: http://arxiv.org/abs/200..

11

A Semantic Framework for the Security Analysis of Ethereum ..:

Grishchenko, Ilya ; Maffei, Matteo ; Schneidewind, Clara
http://arxiv.org/abs/1802.08660. , 2018

Link: http://arxiv.org/abs/180..

12

HornDroid: Practical and Sound Static Analysis of Android A..:

Calzavara, Stefano ; Grishchenko, Ilya ; Maffei, Matteo
http://arxiv.org/abs/1707.07866. , 2017

Link: http://arxiv.org/abs/170..

13

A Sound Flow-Sensitive Heap Abstraction for the Static Anal..:

Calzavara, Stefano ; Grishchenko, Ilya ; Koutsos, Adrien.
http://arxiv.org/abs/1705.10482. , 2017

Link: http://arxiv.org/abs/170..

14

Network analysis reveals a role of the hippocampus in absen..:

Sysoeva, Marina V. ; Kuznetsova, Galina D. ; Sysoev, Ilya V....
Epilepsy Research. 192 (2023) - p. 107135 , 2023

Link: https://doi.org/10.1016/..

15

Analysis of connectivity estimates in the pentylenetetrazol..:

, In: 2023 7th Scientific School Dynamics of Complex Networks and their Applications (DCNA),

Ershova, Anastasia S. ; Grishchenko, Anastasia A. ; Suleymanova, Elena M... - p. 78-81 , 2023

Link: https://doi.org/10.1109/..