{TaintPipe}: Pipelined Symbolic Taint Analysis
.
2015. {TaintPipe}: Pipelined Symbolic Taint Analysis. 24th USENIX Security Symposium (USENIX Security 15). :65--80.
{Under-Constrained} Symbolic Execution: Correctness Checking for Real Code
.
2015. {Under-Constrained} Symbolic Execution: Correctness Checking for Real Code. 24th USENIX Security Symposium (USENIX Security 15). :49--64.
{UIPicker}: {User-Input} Privacy Identification in Mobile Applications
.
2015. {UIPicker}: {User-Input} Privacy Identification in Mobile Applications. 24th USENIX Security Symposium (USENIX Security 15). :993--1008.
{SUPOR}: Precise and Scalable Sensitive User Input Detection for Android Apps
.
2015. {SUPOR}: Precise and Scalable Sensitive User Input Detection for Android Apps. 24th USENIX Security Symposium (USENIX Security 15). :977--992.
Cashtags: Protecting the Input and Display of Sensitive Data
.
2015. Cashtags: Protecting the Input and Display of Sensitive Data. 24th USENIX Security Symposium (USENIX Security 15). :961--976.
Towards Discovering and Understanding Task Hijacking in Android
.
2015. Towards Discovering and Understanding Task Hijacking in Android. 24th USENIX Security Symposium (USENIX Security 15). :945--959.
Rocking Drones with Intentional Sound Noise on Gyroscopic Sensors
.
2015. Rocking Drones with Intentional Sound Noise on Gyroscopic Sensors. 24th USENIX Security Symposium (USENIX Security 15). :881--896.
Thermal Covert Channels on Multi-core Platforms
.
2015. Thermal Covert Channels on Multi-core Platforms. 24th USENIX Security Symposium (USENIX Security 15). :865--880.
{GSMem}: Data Exfiltration from {Air-Gapped} Computers over {GSM} Frequencies
.
2015. {GSMem}: Data Exfiltration from {Air-Gapped} Computers over {GSM} Frequencies. 24th USENIX Security Symposium (USENIX Security 15). :849--864.
{PowerSpy}: Location Tracking Using Mobile Device Power Analysis
.
2015. {PowerSpy}: Location Tracking Using Mobile Device Power Analysis. 24th USENIX Security Symposium (USENIX Security 15). :785--800.