( en | de | ru )

 

Disambiguierung von "Grishchenko, Ilya"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
A Semantic Framework for the Security Analysis of Ethereum Smart Contracts.

, , und . POST, Volume 10804 von Lecture Notes in Computer Science, Seite 243-269. Springer, (2018)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Yulia Grishchenko

Katja Ilyashava

Maxim Ilyasov

Rimma Ilyasova

Ilya Christoffel

 

Weitere Publikationen von Autoren mit dem selben Namen

AmpFuzz: Fuzzing for Amplification DDoS Vulnerabilities., , und . USENIX Security Symposium, Seite 1043-1060. USENIX Association, (2022)Columbus: Android App Testing Through Systematic Callback Exploration., , , , , , , , und . ICSE, Seite 1381-1392. IEEE, (2023)HEAPSTER: Analyzing the Security of Dynamic Allocators for Monolithic Firmware Images., , , , , , und . SP, Seite 1082-1099. IEEE, (2022)eThor: Practical and Provably Sound Static Analysis of Ethereum Smart Contracts., , , und . CCS, Seite 621-640. ACM, (2020)GuideEnricher: Protecting the Anonymity of Ethereum Mixing Service Users with Deep Reinforcement Learning., , , , , und . USENIX Security Symposium, USENIX Association, (2024)ChainReactor: Automated Privilege Escalation Chain Discovery via AI Planning., , , , , , und . USENIX Security Symposium, USENIX Association, (2024)HornDroid: Practical and Sound Static Analysis of Android Applications by SMT Solving., , und . EuroS&P, Seite 47-62. IEEE, (2016)Remote Keylogging Attacks in Multi-user VR Applications., , , , , , , , und . USENIX Security Symposium, USENIX Association, (2024)Foundations and Tools for the Static Analysis of Ethereum Smart Contracts., , und . CAV (1), Volume 10981 von Lecture Notes in Computer Science, Seite 51-78. Springer, (2018)A Semantic Framework for the Security Analysis of Ethereum Smart Contracts., , und . POST, Volume 10804 von Lecture Notes in Computer Science, Seite 243-269. Springer, (2018)