Everything Old is New Again: Binary Security of {WebAssembly}
.
2020. Everything Old is New Again: Binary Security of {WebAssembly}. 29th USENIX Security Symposium (USENIX Security 20). :217--234.
A Formal Analysis of {IEEE} 802.11's {WPA2}: Countering the Kracks Caused by Cracking the Counters
.
2020. A Formal Analysis of {IEEE} 802.11's {WPA2}: Countering the Kracks Caused by Cracking the Counters. 29th USENIX Security Symposium (USENIX Security 20). :1--17.
{SkillExplorer}: Understanding the Behavior of Skills in Large Scale
.
2020. {SkillExplorer}: Understanding the Behavior of Skills in Large Scale. 29th USENIX Security Symposium (USENIX Security 20). :2649--2666.
Sys: A {Static/Symbolic} Tool for Finding Good Bugs in Good (Browser) Code
.
2020. Sys: A {Static/Symbolic} Tool for Finding Good Bugs in Good (Browser) Code. 29th USENIX Security Symposium (USENIX Security 20). :199--216.
From Control Model to Program: Investigating Robotic Aerial Vehicle Accidents with {MAYDAY}
.
2020. From Control Model to Program: Investigating Robotic Aerial Vehicle Accidents with {MAYDAY}. 29th USENIX Security Symposium (USENIX Security 20). :913--930.
Shattered Chain of Trust: Understanding Security Risks in {Cross-Cloud} {IoT} Access Delegation
.
2020. Shattered Chain of Trust: Understanding Security Risks in {Cross-Cloud} {IoT} Access Delegation. 29th USENIX Security Symposium (USENIX Security 20). :1183--1200.
{Differentially-Private} {Control-Flow} Node Coverage for Software Usage Analysis
.
2020. {Differentially-Private} {Control-Flow} Node Coverage for Software Usage Analysis. 29th USENIX Security Symposium (USENIX Security 20). :1021--1038.
{USBFuzz}: A Framework for Fuzzing {USB} Drivers by Device Emulation
.
2020. {USBFuzz}: A Framework for Fuzzing {USB} Drivers by Device Emulation. 29th USENIX Security Symposium (USENIX Security 20). :2559--2575.
The Ballot is Busted Before the Blockchain: A Security Analysis of Voatz, the First Internet Voting Application Used in {U.S}. Federal Elections
.
2020. The Ballot is Busted Before the Blockchain: A Security Analysis of Voatz, the First Internet Voting Application Used in {U.S}. Federal Elections. 29th USENIX Security Symposium (USENIX Security 20). :1535--1553.
Towards {HTTPS} Everywhere on Android: We Are Not There Yet
.
2020. Towards {HTTPS} Everywhere on Android: We Are Not There Yet. 29th USENIX Security Symposium (USENIX Security 20). :343--360.