| 2021 | Merkle | Yuncong Hu, Kian Hooshmand, Harika Kalidhindi, Seung Jin Yang, Raluca Ada Popa |
| 2021 | They Would do Better if They Worked Together: The Case of Interaction Problems Between Password Managers and Websites. | Nicolas Huaman, Sabrina Amft, Marten Oltrogge, Yasemin Acar, Sascha Fahl |
| 2021 | MMGuard: Automatically Protecting On-Device Deep Learning Models in Android Apps. | Jiayi Hua, Yuanchun Li, Haoyu Wang |
| 2021 | A Low-Cost Attack against the hCaptcha System. | Md. Imran Hossen, Xiali Hei |
| 2021 | A Novel Dynamic Analysis Infrastructure to Instrument Untrusted Execution Flow Across User-Kernel Spaces. | Jiaqi Hong, Xuhua Ding |
| 2021 | On the feasibility of short-lived dynamic onion services. | Tobias Hller, Thomas Raab, Michael Roland, Ren Mayrhofer |
| 2021 | Zero Knowledge for Everything and Everyone: Fast ZK Processor with Cached ORAM for ANSI C Programs. | David Heath, Yibin Yang, David Devecsery, Vladimir Kolesnikov |
| 2021 | Formal Synthesis of Filter Components for Use in Security-Enhancing Architectural Transformations. | David S. Hardin, Konrad L. Slind |
| 2021 | Did you mix me? Formally Verifying Verifiable Mix Nets in Electronic Voting. | Thomas Haines, Rajeev Gor, Bhavesh Sharma |
| 2021 | Hardware-Software Contracts for Secure Speculation. | Marco Guarnieri, Boris Kpf, Jan Reineke, Pepe Vila |
| 2021 | AMon: A Monitoring Multidimensional Feature Application to Secure Android Environments. | Jos Antonio Gmez-Hernndez, Pedro Garca-Teodoro, Juan Antonio Holgado Terriza, Gabriel Maci-Fernndez, Jos Camacho-Pez, Margarita Robles-Carrillo |
| 2021 | On the Safety Implications of Misordered Events and Commands in IoT Systems. | Furkan Gksel, Muslum Ozgur Ozmen, Michael Reeves, Basavesh Shivakumar, Z. Berkay Celik |
| 2021 | Compositional Non-Interference for Fine-Grained Concurrent Programs. | Dan Frumin, Robbert Krebbers, Lars Birkedal |
| 2021 | Reading Between the Lines: An Extensive Evaluation of the Security and Privacy Implications of EPUB Reading Systems. | Gertjan Franken, Tom van Goethem, Wouter Joosen |
| 2021 | SAFELearn: Secure Aggregation for private FEderated Learning. | Hossein Fereidooni, Samuel Marchal, Markus Miettinen, Azalia Mirhoseini, Helen Mllering, Thien Duc Nguyen, Phillip Rieger, Ahmad-Reza Sadeghi, Thomas Schneider, Hossein Yalame, Shaza Zeitouni |
| 2021 | Zero Conf Protocols and their numerous Man in the Middle (MITM) Attacks. | Dhia Farrah, Marc Dacier |
| 2021 | Black Widow: Blackbox Data-driven Web Scanning. | Benjamin Eriksson, Giancarlo Pellegrino, Andrei Sabelfeld |
| 2021 | Troubleshooting an Intrusion Detection Dataset: the CICIDS2017 Case Study. | Gints Engelen, Vera Rimmer, Wouter Joosen |
| 2021 | Revisiting the Pervasiveness of Weak Keys in Network Devices. | Philippe Elbaz-Vincent, Mohamed Traor |
| 2021 | Verbatim: A Verified Lexer Generator. | Derek Egolf, Sam Lasser, Kathleen Fisher |
| 2021 | Binary Black-Box Attacks Against Static Malware Detectors with Reinforcement Learning in Discrete Action Spaces. | Mohammadreza Ebrahimi, Jason Pacheco, Weifeng Li, James Lee Hu, Hsinchun Chen |
| 2021 | Demo: Security of Camera-based Perception for Autonomous Driving under Adversarial Attack. | Christopher DiPalma, Ningfei Wang, Takami Sato, Qi Alfred Chen |
| 2021 | Doing good by fighting fraud: Ethical anti-fraud systems for mobile payments. | Zain ul Abi Din, Hari Venugopalan, Henry Lin, Adam Wushensky, Steven Liu, Samuel T. King |
| 2021 | Many-out-of-Many Proofs and Applications to Anonymous Zether. | Benjamin E. Diamond |
| 2021 | A Security Model and Fully Verified Implementation for the IETF QUIC Record Layer. | Antoine Delignat-Lavaud, Cdric Fournet, Bryan Parno, Jonathan Protzenko, Tahina Ramananandro, Jay Bosamiya, Joseph Lallemand, Itsaka Rakotonirina, Yi Zhou |