Messy States of Wiring: Vulnerabilities in Emerging Personal Payment Systems
.
2021. Messy States of Wiring: Vulnerabilities in Emerging Personal Payment Systems. 30th USENIX Security Symposium (USENIX Security 21). :3273--3289.
{SWIFT}: Super-fast and Robust {Privacy-Preserving} Machine Learning
.
2021. {SWIFT}: Super-fast and Robust {Privacy-Preserving} Machine Learning. 30th USENIX Security Symposium (USENIX Security 21). :2651--2668.
{Privacy-Preserving} and {Standard-Compatible} {AKA} Protocol for 5G
.
2021. {Privacy-Preserving} and {Standard-Compatible} {AKA} Protocol for 5G. 30th USENIX Security Symposium (USENIX Security 21). :3595--3612.
{SEApp}: Bringing Mandatory Access Control to Android Apps
.
2021. {SEApp}: Bringing Mandatory Access Control to Android Apps. 30th USENIX Security Symposium (USENIX Security 21). :3613--3630.
A11y and Privacy don't have to be mutually exclusive: Constraining Accessibility Service Misuse on Android
.
2021. A11y and Privacy don't have to be mutually exclusive: Constraining Accessibility Service Misuse on Android. 30th USENIX Security Symposium (USENIX Security 21). :3631--3648.
{DICE*}: A Formally Verified Implementation of {DICE} Measured Boot
.
2021. {DICE*}: A Formally Verified Implementation of {DICE} Measured Boot. 30th USENIX Security Symposium (USENIX Security 21). :1091--1107.
Research on the Security of Visual Reasoning {CAPTCHA}
.
2021. Research on the Security of Visual Reasoning {CAPTCHA}. 30th USENIX Security Symposium (USENIX Security 21). :3291--3308.
{SmarTest}: Effectively Hunting Vulnerable Transaction Sequences in Smart Contracts through Language {Model-Guided} Symbolic Execution
.
2021. {SmarTest}: Effectively Hunting Vulnerable Transaction Sequences in Smart Contracts through Language {Model-Guided} Symbolic Execution. 30th USENIX Security Symposium (USENIX Security 21). :1361--1378.
{GForce}: {GPU-Friendly} Oblivious and Rapid Neural Network Inference
.
2021. {GForce}: {GPU-Friendly} Oblivious and Rapid Neural Network Inference. 30th USENIX Security Symposium (USENIX Security 21). :2147--2164.
Acoustics to the Rescue: Physical Key Inference Attack Revisited
.
2021. Acoustics to the Rescue: Physical Key Inference Attack Revisited. 30th USENIX Security Symposium (USENIX Security 21). :3255--3272.