Artificial-Intelligence Generated Code Considered Harmful: A Road Map for Secure and High-Quality Code Generation.
CoRR, 2024
Casper: Prompt Sanitization for Protecting User Privacy in Web-Based Large Language Models.
CoRR, 2024
Poster: StreamGuard: Enabling Secure and Uncensored Video Calls on Mobile Devices.
Proceedings of the 22nd Annual International Conference on Mobile Systems, 2024
ProvCam: A Camera Module with Self-Contained TCB for Producing Verifiable Videos.
Proceedings of the 30th Annual International Conference on Mobile Computing and Networking, 2024
Hora: High Assurance Periodic Availability Guarantee for Life-Critical Applications on Smartphones.
Proceedings of the 15th ACM SIGOPS Asia-Pacific Workshop on Systems, 2024
Building Secure Systems Across All Layers
PhD thesis, 2023
GLeeFuzz: Fuzzing WebGL Through Error Message Guided Mutation.
Proceedings of the 32nd USENIX Security Symposium, 2023
Minimizing a Smartphone's TCB for Security-Critical Programs with Exclusively-Used, Physically-Isolated, Statically-Partitioned Hardware.
Proceedings of the 21st Annual International Conference on Mobile Systems, 2023
A Personal Computer for a Distrustful World.
CoRR, 2022
Undo Workarounds for Kernel Bugs.
Proceedings of the 30th USENIX Security Symposium, 2021
Milkomeda: Safeguarding the Mobile GPU Interface Using WebGL Security Checks.
Proceedings of the 2018 ACM SIGSAC Conference on Computer and Communications Security, 2018
Sugar: Secure GPU Acceleration in Web Browsers.
Proceedings of the Twenty-Third International Conference on Architectural Support for Programming Languages and Operating Systems, 2018