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
Invisible Image Watermarks Are Provably Removable Using Generative AI.
Proceedings of the Advances in Neural Information Processing Systems 38: Annual Conference on Neural Information Processing Systems 2024, 2024
Not your Type! Detecting Storage Collision Vulnerabilities in Ethereum Smart Contracts.
Proceedings of the 31st Annual Network and Distributed System Security Symposium, 2024
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
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
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
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
A Sound Flow-Sensitive Heap Abstraction for the Static Analysis of Android Applications.
Proceedings of the 30th IEEE Computer Security Foundations Symposium, 2017
HornDroid: Practical and Sound Static Analysis of Android Applications by SMT Solving.
Proceedings of the IEEE European Symposium on Security and Privacy, 2016