| 2020 | FlyClient: Super-Light Clients for Cryptocurrencies. | Benedikt Bnz, Lucianna Kiffer, Loi Luu, Mahdi Zamani |
| 2020 | LVI: Hijacking Transient Execution through Microarchitectural Load Value Injection. | Jo Van Bulck, Daniel Moghimi, Michael Schwarz, Moritz Lipp, Marina Minkin, Daniel Genkin, Yuval Yarom, Berk Sunar, Daniel Gruss, Frank Piessens |
| 2020 | JIT Leaks: Inducing Timing Side Channels through Just-In-Time Compilation. | Tegan Brennan, Nicols Rosner, Tevfik Bultan |
| 2020 | ZEXE: Enabling Decentralized Private Computation. | Sean Bowe, Alessandro Chiesa, Matthew Green, Ian Miers, Pratyush Mishra, Howard Wu |
| 2020 | Trusted Confidence Bounds for Learning Enabled Cyber-Physical Systems. | Dimitrios Boursinos, Xenofon D. Koutsoukos |
| 2020 | Can Voters Detect Malicious Manipulation of Ballot Marking Devices? | Matthew Bernhard, Allison McDonald, Henry Meng, Jensen Hwa, Nakul Bajaj, Kevin Chang, J. Alex Halderman |
| 2020 | Flaw Label: Exploiting IPv6 Flow Label. | Jonathan Berger, Amit Klein, Benny Pinkas |
| 2020 | Binary Analysis with Architecture and Code Section Detection using Supervised Machine Learning. | Bryan Beckman, Jed Haile |
| 2020 | Ijon: Exploring Deep State Spaces via Fuzzing. | Cornelius Aschermann, Sergej Schumilo, Ali Abbasi, Thorsten Holz |
| 2020 | BIAS: Bluetooth Impersonation AttackS. | Daniele Antonioli, Nils Ole Tippenhauer, Kasper Rasmussen |
| 2020 | Private resource allocators and their applications. | Sebastian Angel, Sampath Kannan, Zachary B. Ratliff |
| 2020 | Influencing Photo Sharing Decisions on Social Media: A Case of Paradoxical Findings. | Mary Jean Amon, Rakibul Hasan, Kurt Hugenberg, Bennett I. Bertenthal, Apu Kapadia |
| 2020 | A Privacy Filter Framework for Internet of Robotic Things Applications. | Zahir Alsulaimawi |
| 2020 | The Last Mile: High-Assurance and High-Speed Cryptographic Implementations. | Jos Bacelar Almeida, Manuel Barbosa, Gilles Barthe, Benjamin Grgoire, Adrien Koutsos, Vincent Laporte, Tiago Oliveira, Pierre-Yves Strub |
| 2020 | Research Report: Building a Wide Reach Corpus for Secure Parser Development. | Tim Allison, Wayne Burke, Valentino Constantinou, Edwin Goh, Chris Mattmann, Anastasija Mensikova, Philip Southam, Ryan Stonebraker, Virisha Timmaraju |
| 2020 | Armor Within: Defending Against Vulnerabilities in Third-Party Libraries. | Sameed Ali, Prashant Anantharaman, Sean W. Smith |
| 2020 | MarkUs: Drop-in use-after-free prevention for low-level languages. | Sam Ainsworth, Timothy M. Jones |
| 2020 | Partially Observable Games for Secure Autonomy. | Mohamadreza Ahmadi, Arun Viswanathan, Michel D. Ingham, Kymie Tan, Aaron D. Ames |
| 2020 | Sync HotStuff: Simple and Practical Synchronous State Machine Replication. | Ittai Abraham, Dahlia Malkhi, Kartik Nayak, Ling Ren, Maofan Yin |
| 2020 | CrypTFlow: Secure TensorFlow Inference. | Nishant Kumar, Mayank Rathee, Nishanth Chandran, Divya Gupta, Aseem Rastogi, Rahul Sharma |
| 2020 | Understanding How Pair Programming Actually Works in Industry: Mechanisms, Patterns, and Dynamics. | Franz Zieris |
| 2020 | Improving the Model-Based Systems Engineering Process. | Michael von Wenckstern |
| 2020 | Static Worst-Case Analyses and Their Validation Techniques for Safety-Critical Systems. | Peter Wgemann |
| 2020 | Ever Change a Running System: Structured Software Reengineering Using Automatically Proven-Correct Transformation Rules. | Dominic Steinhfel |
| 2020 | Some Patterns of Convincing Software Engineering Research, or: How to Win the Ernst Denert Software Engineering Award 2020. | Lutz Prechelt |