| 2023 | Less is more: refinement proofs for probabilistic proofs. | Kunming Jiang, Devora Chait-Roth, Zachary DeStefano, Michael Walfish, Thomas Wies |
| 2023 | SegFuzz: Segmentizing Thread Interleaving to Discover Kernel Concurrency Bugs through Fuzzing. | Dae R. Jeong, Byoungyoung Lee, Insik Shin, Youngjin Kwon |
| 2023 | UTopia: Automatic Generation of Fuzz Driver using Unit Tests. | Bokdeuk Jeong, Joonun Jang, Hayoon Yi, Jiin Moon, Junsik Kim, Intae Jeon, Taesoo Kim, WooChul Shim, Yong Ho Hwang |
| 2023 | Deep perceptual hashing algorithms with hidden dual purpose: when client-side scanning does facial recognition. | Shubham Jain, Ana-Maria Cretu, Antoine Cully, Yves-Alexandre de Montjoye |
| 2023 | SoK: History is a Vast Early Warning System: Auditing the Provenance of System Intrusions. | Muhammad Adil Inam, Yinfang Chen, Akul Goyal, Jason Liu, Jaron Mink, Noor Michael, Sneha Gaur, Adam Bates, Wajih Ul Hassan |
| 2023 | Scaphy: Detecting Modern ICS Attacks by Correlating Behaviors in SCADA and PHYsical. | Moses Ike, Kandy Phan, Keaton Sadoski, Romuald Valme, Wenke Lee |
| 2023 | SPHINCS+C: Compressing SPHINCS+ With (Almost) No Cost. | Andreas Hlsing, Mikhail A. Kudinov, Eyal Ronen, Eylon Yogev |
| 2023 | mmEcho: A mmWave-based Acoustic Eavesdropping Method. | Pengfei Hu, Wenhao Li, Riccardo Spolaor, Xiuzhen Cheng |
| 2023 | Optimistic Fast Confirmation While Tolerating Malicious Majority in Blockchains. | Ruomu Hou, Haifeng Yu |
| 2023 | DBREACH: Stealing from Databases Using Compression Side Channels. | Mathew Hogan, Yan Michalevsky, Saba Eskandarian |
| 2023 | Improving Developers' Understanding of Regex Denial of Service Tools through Anti-Patterns and Fix Strategies. | Sk Adnan Hassan, Zainab Aamir, Dongyoon Lee, James C. Davis, Francisco Servant |
| 2023 | SyzDescribe: Principled, Automated, Static Generation of Syscall Descriptions for Kernel Drivers. | Yu Hao, Guoren Li, Xiaochen Zou, Weiteng Chen, Shitong Zhu, Zhiyun Qian, Ardalan Amiri Sani |
| 2023 | Token meets Wallet: Formalizing Privacy and Revocation for FIDO2. | Lucjan Hanzlik, Julian Loss, Benedikt Wagner |
| 2023 | QueryX: Symbolic Query on Decompiled Code for Finding Bugs in COTS Binaries. | HyungSeok Han, JeongOh Kyea, Yonghwi Jin, Jinoh Kang, Brian Pak, Insu Yun |
| 2023 | User Perceptions and Experiences with Smart Home Updates. | Julie M. Haney, Susanne M. Furman |
| 2023 | Investigating Package Related Security Threats in Software Registries. | Yacong Gu, Lingyun Ying, Yingyuan Pu, Xiao Hu, Huajun Chai, Ruimin Wang, Xing Gao, Haixin Duan |
| 2023 | Continuous Intrusion: Characterizing the Security of Continuous Integration Services. | Yacong Gu, Lingyun Ying, Huajun Chai, Chu Qiao, Haixin Duan, Xing Gao |
| 2023 | Perceptions of Distributed Ledger Technology Key Management - An Interview Study with Finance Professionals. | Carolyn Guthoff, Simon Anell, Johann Hainzinger, Adrian Dabrowski, Katharina Krombholz |
| 2023 | HoneyKube: Designing and Deploying a Microservices-based Web Honeypot. | Chakshu Gupta, Thijs van Ede, Andrea Continella |
| 2023 | Rethinking Searchable Symmetric Encryption. | Zichen Gui, Kenneth G. Paterson, Sikhar Patranabis |
| 2023 | Could you clean up the Internet with a Pit of Tar? Investigating tarpit feasibility on Internet worms. | Harm Griffioen, Christian Doerr |
| 2023 | AUC: Accountable Universal Composability. | Mike Graf, Ralf Ksters, Daniel Rausch |
| 2023 | Redeem Myself: Purifying Backdoors in Deep Learning Models using Self Attention Distillation. | Xueluan Gong, Yanjiao Chen, Wang Yang, Qian Wang, Yuzhe Gu, Huayang Huang, Chao Shen |
| 2023 | Control Flow and Pointer Integrity Enforcement in a Secure Tagged Architecture. | Ravi Theja Gollapudi, Gokturk Yuksek, David Demicco, Matthew Cole, Gaurav Kothari, Rohit Kulkarni, Xin Zhang, Kanad Ghose, Aravind Prakash, Zerksis Umrigar |
| 2023 | Scripted Henchmen: Leveraging XS-Leaks for Cross-Site Vulnerability Detection. | Tom van Goethem, Iskander Snchez-Rola, Wouter Joosen |