Ilya Grishchenko

Orcid: 0000-0003-4744-7507

Affiliations:
  • CISPA Helmholtz Center for Information Security, Saarbrücken, Germany
  • TU Wien, Vienna, Austria


According to our database1, Ilya Grishchenko authored at least 14 papers between 2016 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Remote Keylogging Attacks in Multi-user VR Applications.
Proceedings of the 33rd USENIX Security Symposium, 2024

GuideEnricher: Protecting the Anonymity of Ethereum Mixing Service Users with Deep Reinforcement Learning.
Proceedings of the 33rd USENIX Security Symposium, 2024

ChainReactor: Automated Privilege Escalation Chain Discovery via AI Planning.
Proceedings of the 33rd USENIX Security Symposium, 2024

Not your Type! Detecting Storage Collision Vulnerabilities in Ethereum Smart Contracts.
Proceedings of the 31st Annual Network and Distributed System Security Symposium, 2024

2023
Confusum Contractum: Confused Deputy Vulnerabilities in Ethereum Smart Contracts.
Proceedings of the 32nd USENIX Security Symposium, 2023

Columbus: Android App Testing Through Systematic Callback Exploration.
Proceedings of the 45th IEEE/ACM International Conference on Software Engineering, 2023

2022
AmpFuzz: Fuzzing for Amplification DDoS Vulnerabilities.
Proceedings of the 31st USENIX Security Symposium, 2022

HEAPSTER: Analyzing the Security of Dynamic Allocators for Monolithic Firmware Images.
Proceedings of the 43rd IEEE Symposium on Security and Privacy, 2022

TyPro: Forward CFI for C-Style Indirect Function Calls Using Type Propagation.
Proceedings of the Annual Computer Security Applications Conference, 2022

2020
eThor: Practical and Provably Sound Static Analysis of Ethereum Smart Contracts.
Proceedings of the CCS '20: 2020 ACM SIGSAC Conference on Computer and Communications Security, 2020

2018
A Semantic Framework for the Security Analysis of Ethereum Smart Contracts.
Proceedings of the Principles of Security and Trust - 7th International Conference, 2018

Foundations and Tools for the Static Analysis of Ethereum Smart Contracts.
Proceedings of the Computer Aided Verification - 30th International Conference, 2018

2017
A Sound Flow-Sensitive Heap Abstraction for the Static Analysis of Android Applications.
Proceedings of the 30th IEEE Computer Security Foundations Symposium, 2017

2016
HornDroid: Practical and Sound Static Analysis of Android Applications by SMT Solving.
Proceedings of the IEEE European Symposium on Security and Privacy, 2016


  Loading...