| Timeless Timing Attacks: Exploiting Concurrency to Leak Secrets over Remote Connections | USENIX Security '20 | |
| Cache Telepathy: Leveraging Shared Resource Attacks to Learn DNN Architectures | USENIX Security '20 | |
| Actions Speak Louder than Words: Entity-Sensitive Privacy Policy and Data Flow Analysis with PoliCheck | USENIX Security '20 | |
| The Impact of Ad-Blockers on Product Search and Purchase Behavior: A Lab Experiment | USENIX Security '20 | Alisa Frik, Amelia Haviland, Alessandro Acquisti |
| Certified Side Channels | USENIX Security '20 | |
| NetWarden: Mitigating Network Covert Channels while Preserving Performance | USENIX Security '20 | Jiarong Xing, Qiao Kang, Ang Chen |
| Scaling Verifiable Computation Using Efficient Set Accumulators | USENIX Security '20 | |
| Symbolic execution with SymCC: Don't interpret, compile! | USENIX Security '20 | |
| Pixel: Multi-signatures for Consensus | USENIX Security '20 | |
| Sys: A Static/Symbolic Tool for Finding Good Bugs in Good (Browser) Code | USENIX Security '20 | |
| SANNS: Scaling Up Secure Approximate k-Nearest Neighbors Search | USENIX Security '20 | Hao Chen, Ilaria Chillotti, Yihe Dong, Oxana Poburinnaya, Ilya Razenshteyn, M. Sadegh Riazi |
| Visor: Privacy-Preserving Video Analytics as a Cloud Service | USENIX Security '20 | |
| Differentially-Private Control-Flow Node Coverage for Software Usage Analysis | USENIX Security '20 | |
| MIRAGE: Succinct Arguments for Randomized Algorithms with Applications to Universal zk-SNARKs | USENIX Security '20 | Ahmed Kosba, Dimitrios Papadopoulos, Charalampos Papamanthou, Dawn Song |
| Walking Onions: Scaling Anonymity Networks while Protecting Users | USENIX Security '20 | |
| Secure Multi-party Computation of Differentially Private Median | USENIX Security '20 | |
| Everything Old is New Again: Binary Security of WebAssembly | USENIX Security '20 | |
| AURORA: Statistical Crash Analysis for Automated Root Cause Explanation | USENIX Security '20 | Tim Blazytko, Moritz Schlögel, Cornelius Aschermann, Ali Abbasi, Joel Frank, Simon Wörner, Thorsten Holz |
| That Was Then, This Is Now: A Security Evaluation of Password Generation, Storage, and Autofill in Browser-Based Password Managers | USENIX Security '20 | |
| Composition Kills: A Case Study of Email Sender Authentication | USENIX Security '20 | Jianjun Chen, Vern Paxson, Jian Jiang |
| SmartVerif: Push the Limit of Automation Capability of Verifying Security Protocols by Dynamic Strategies | USENIX Security '20 | |
| Datalog Disassembly | USENIX Security '20 | Antonio Flores-Montoya, Eric Schulte |
| Detecting Stuffing of a User’s Credentials at Her Own Accounts | USENIX Security '20 | Ke Coby Wang, Michael K. Reiter |
| KOOBE: Towards Facilitating Exploit Generation of Kernel Out-Of-Bounds Write Vulnerabilities | USENIX Security '20 | |
| Liveness is Not Enough: Enhancing Fingerprint Authentication with Behavioral Biometrics to Defeat Puppet Attacks | USENIX Security '20 | Cong Wu, Kun He, Jing Chen, Ziming Zhao, Ruiying Du |
