| Fuzzing Error Handling Code using Context-Sensitive Software Fault Injection | USENIX Security '20 | Zu-Ming Jiang, Jia-Ju Bai, Kangjie Lu, Shi-Min Hu |
| SEAL: Attack Mitigation for Encrypted Databases via Adjustable Leakage | USENIX Security '20 | Ioannis Demertzis, Dimitrios Papadopoulos, Charalampos Papamanthou, Saurabh Shintre |
| Light Commands: Laser-Based Audio Injection Attacks on Voice-Controllable Systems | USENIX Security '20 | Takeshi Sugawara, Benjamin Cyr, Sara Rampazzi, Daniel Genkin, Kevin Fu |
| Remote Side-Channel Attacks on Anonymous Transactions | USENIX Security '20 | Florian Tramer, Dan Boneh, Kenny Paterson |
| Preech: A System for Privacy-Preserving Speech Transcription | USENIX Security '20 | Shimaa Ahmed, Amrita Roy Chowdhury, Kassem Fawaz, Parmesh Ramanathan |
| Pancake: Frequency Smoothing for Encrypted Data Stores | USENIX Security '20 | Paul Grubbs, Anurag Khandelwal, Marie-Sarah Lacharité, Lloyd Brown, Lucy Li, Rachit Agarwal, Thomas Ristenpart |
| SkillExplorer: Understanding the Behavior of Skills in Large Scale | USENIX Security '20 | Zhixiu Guo, Zijin Lin, Pan Li, Kai Chen |
| USBFuzz: A Framework for Fuzzing USB Drivers by Device Emulation | USENIX Security '20 | Hui Peng, Mathias Payer |
| TXSPECTOR: Uncovering Attacks in Ethereum from Transactions | USENIX Security '20 | Mengya Zhang, Xiaokuan Zhang, Yinqian Zhang, Zhiqiang Lin |
| Droplet: Decentralized Authorization and Access Control for Encrypted Data Streams | USENIX Security '20 | Hossein Shafagh, Lukas Burkhalter, Sylvia Ratnasamy, Anwar Hithnawi |
| PHMon: A Programmable Hardware Monitor and Its Security Use Cases | USENIX Security '20 | Leila Delshadtehrani, Sadullah Canakci, Boyou Zhou, Schuyler Eldridge, Ajay Joshi, Manuel Egele |
| McTiny: Fast High-Confidence Post-Quantum Key Erasure for Tiny Network Servers | USENIX Security '20 | Daniel J. Bernstein, Tanja Lange |
| HALucinator: Firmware Re-hosting Through Abstraction Layer Emulation | USENIX Security '20 | Abraham A Clements, Eric Gustafson, Tobias Scharnowski, Paul Grosen, David Fritz, Christopher Kruegel, Giovanni Vigna, Saurabh Bagchi, Mathias Payer |
| Achieving Keyless CDNs with Conclaves | USENIX Security '20 | Stephen Herwig, Christina Garman, Dave Levin |
| Montage: A Neural Network Language Model-Guided JavaScript Engine Fuzzer | USENIX Security '20 | Suyoung Lee, HyungSeok Han, Sang Kil Cha, Sooel Son |
| Hybrid Batch Attacks: Finding Black-box Adversarial Examples with Limited Queries | USENIX Security '20 | Fnu Suya, Jianfeng Chi, David Evans, Yuan Tian |
| Big Numbers - Big Troubles: Systematically Analyzing Nonce Leakage in (EC)DSA Implementations | USENIX Security '20 | Samuel Weiser, David Schrammel, Lukas Bodner, Raphael Spreitzer |
| APEX: A Verified Architecture for Proofs of Execution on Remote Devices under Full Software Compromise | USENIX Security '20 | Ivan De Oliveira Nunes, Karim Eldefrawy, Norrathep Rattanavipanon, Gene Tsudik |
| From Needs to Actions to Secure Apps? The Effect of Requirements and Developer Practices on App Security | USENIX Security '20 | Charles Weir, Ben Hermann, Sascha Fahl |
| Datalog Disassembly | USENIX Security '20 | Antonio Flores-Montoya, Eric Schulte |
| RELOAD+REFRESH: Abusing Cache Replacement Policies to Perform Stealthy Cache Attacks | USENIX Security '20 | Samira Briongos, Pedro Malagón, José M. Moya, Thomas Eisenbarth |
| EcoFuzz: Adaptive Energy-Saving Greybox Fuzzing as a Variant of the Adversarial Multi-Armed Bandit | USENIX Security '20 | Tai Yue, Pengfei Wang, Yong Tang, Enze Wang, Bo Yu, Kai Lu, Xu Zhou |
| Automatic Techniques to Systematically Discover New Heap Exploitation Primitives | USENIX Security '20 | Insu Yun, Dhaval Kapil, Taesoo Kim |
| A Tale of Two Headers: A Formal Analysis of Inconsistent Click-Jacking Protection on the Web | USENIX Security '20 | Stefano Calzavara, Sebastian Roth, Alvise Rabitti, Michael Backes, Ben Stock |
| Automating the Development of Chosen Ciphertext Attacks | USENIX Security '20 | Gabrielle Beck, Maximilian Zinkus, Matthew Green |
