| USENIX Security '20 | Measuring and Modeling the Label Dynamics of Online Anti-Malware Engines | Shuofei Zhu, Jianjun Shi, Limin Yang, Boqin Qin, Ziyi Zhang, Linhai Song, Gang Wang |
| USENIX Security '20 | Detecting Stuffing of a User’s Credentials at Her Own Accounts | Ke Coby Wang, Michael K. Reiter |
| USENIX Security '20 | iOS, Your OS, Everybody's OS: Vetting and Analyzing Network Services of iOS Applications | Zhushou Tang, Ke Tang, Minhui Xue, Yuan Tian, Sen Chen, Muhammad Ikram, Tielei Wang, Haojin Zhu |
| USENIX Security '20 | Certified Side Channels | Cesar Pereida García, Sohaib ul Hassan, Nicola Tuveri, Iaroslav Gridin, Alejandro Cabrera Aldaya, Billy Bob Brumley |
| USENIX Security '20 | SHA-1 is a Shambles: First Chosen-Prefix Collision on SHA-1 and Application to the PGP Web of Trust | Gaëtan Leurent, Thomas Peyrin |
| USENIX Security '20 | Timeless Timing Attacks: Exploiting Concurrency to Leak Secrets over Remote Connections | Tom Van Goethem, Christina Pöpper, Wouter Joosen, Mathy Vanhoef |
| USENIX Security '20 | Scaling Verifiable Computation Using Efficient Set Accumulators | Alex Ozdemir, Riad Wahby, Barry Whitehat, Dan Boneh |
| USENIX Security '20 | The Tools and Tactics Used in Intimate Partner Surveillance: An Analysis of Online Infidelity Forums | Emily Tseng, Rosanna Bellini, Nora McDonald, Matan Danos, Rachel Greenstadt, Damon McCoy, Nicola Dell, Thomas Ristenpart |
| USENIX Security '20 | MUZZ: Thread-aware Grey-box Fuzzing for Effective Bug Hunting in Multithreaded Programs | Hongxu Chen, Shengjian Guo, Yinxing Xue, Yulei Sui, Cen Zhang, Yuekang Li, Haijun Wang, Yang Liu |
| USENIX Security '20 | Secure Multi-party Computation of Differentially Private Median | Jonas Böhler, Florian Kerschbaum |
| USENIX Security '20 | DatashareNetwork: A Decentralized Privacy-Preserving Search Engine for Investigative Journalists | Kasra Edalatnejad, Wouter Lueks, Julien Pierre Martin, Soline Ledésert, Anne L'Hôte, Bruno Thomas, Laurent Girod, Carmela Troncoso |
| USENIX Security '20 | Delphi: A Cryptographic Inference Service for Neural Networks | Pratyush Mishra, Ryan Lehmkuhl, Akshayaram Srinivasan, Wenting Zheng, Raluca Ada Popa |
| USENIX Security '20 | GREYONE: Data Flow Sensitive Fuzzing | Shuitao Gan, Chao Zhang, Peng Chen, Bodong Zhao, Xiaojun Qin, Dong Wu, Zuoning Chen |
| USENIX Security '20 | Void: A fast and light voice liveness detection system | Muhammad Ejaz Ahmed, Il-Youp Kwak, Jun Ho Huh, Iljoo Kim, Taekkyung Oh, Hyoungshick Kim |
| USENIX Security '20 | Devil’s Whisper: A General Approach for Physical Adversarial Attacks against Commercial Black-box Speech Recognition Devices | Yuxuan Chen, Xuejing Yuan, Jiangshan Zhang, Yue Zhao, Shengzhi Zhang, Kai Chen, XiaoFeng Wang |
| USENIX Security '20 | Montage: A Neural Network Language Model-Guided JavaScript Engine Fuzzer | Suyoung Lee, HyungSeok Han, Sang Kil Cha, Sooel Son |
| USENIX Security '20 | Secure parallel computation on national scale volumes of data | Sahar Mazloom, Phi Hung Le, Samuel Ranellucci, S. Dov Gordon |
| USENIX Security '20 | ETHBMC: A Bounded Model Checker for Smart Contracts | Joel Frank, Cornelius Aschermann, Thorsten Holz |
| USENIX Security '20 | Fuzzing Error Handling Code using Context-Sensitive Software Fault Injection | Zu-Ming Jiang, Jia-Ju Bai, Kangjie Lu, Shi-Min Hu |
| USENIX Security '20 | Analysis of DTLS Implementations Using Protocol State Fuzzing | Paul Fiterau-Brostean, Bengt Jonsson, Robert Merget, Joeri de Ruiter, Konstantinos Sagonas, Juraj Somorovsky |
| USENIX Security '20 | SEAL: Attack Mitigation for Encrypted Databases via Adjustable Leakage | Ioannis Demertzis, Dimitrios Papadopoulos, Charalampos Papamanthou, Saurabh Shintre |
| USENIX Security '20 | An Ever-evolving Game: Evaluation of Real-world Attacks and Defenses in Ethereum Ecosystem | Shunfan Zhou, Zhemin Yang, Jie Xiang, Yinzhi Cao, Zhemin Yang, Yuan Zhang |
| USENIX Security '20 | Agamotto: Accelerating Kernel Driver Fuzzing with Lightweight Virtual Machine Checkpoints | Dokyung Song, Felicitas Hetzelt, Jonghwan Kim, Brent Byunghoon Kang, Jean-Pierre Seifert, Michael Franz |
| USENIX Security '20 | Light Commands: Laser-Based Audio Injection Attacks on Voice-Controllable Systems | Takeshi Sugawara, Benjamin Cyr, Sara Rampazzi, Daniel Genkin, Kevin Fu |
| USENIX Security '20 | Remote Side-Channel Attacks on Anonymous Transactions | Florian Tramer, Dan Boneh, Kenny Paterson |
