| 2023 | Securely Sampling Discrete Gaussian Noise for Multi-Party Differential Privacy. | Chengkun Wei, Ruijing Yu, Yuan Fan, Wenzhi Chen, Tianhao Wang |
| 2023 | Uncovering and Exploiting Hidden APIs in Mobile Super Apps. | Chao Wang, Yue Zhang, Zhiqiang Lin |
| 2023 | SymGX: Detecting Cross-boundary Pointer Vulnerabilities of SGX Applications via Static Symbolic Execution. | Yuanpeng Wang, Ziqi Zhang, Ningyu He, Zhineng Zhong, Shengjian Guo, Qinkun Bao, Ding Li, Yao Guo, Xiangqun Chen |
| 2023 | Secure and Timely GPU Execution in Cyber-physical Systems. | Jinwen Wang, Yujie Wang, Ning Zhang |
| 2023 | Fine-Grained Data-Centric Content Protection Policy for Web Applications. | Zilun Wang, Wei Meng, Michael R. Lyu |
| 2023 | Specification and Verification of Side-channel Security for Open-source Processors via Leakage Contracts. | Zilong Wang, Gideon Mohr, Klaus von Gleissenthall, Jan Reineke, Marco Guarnieri |
| 2023 | HODOR: Shrinking Attack Surface on Node.js via System Call Limitation. | Wenya Wang, Xingwei Lin, Jingyi Wang, Wang Gao, Dawu Gu, Wei Lv, Jiashui Wang |
| 2023 | The Locality of Memory Checking. | Weijie Wang, Yujie Lu, Charalampos Papamanthou, Fan Zhang |
| 2023 | The Danger of Minimum Exposures: Understanding Cross-App Information Leaks on iOS through Multi-Side-Channel Learning. | Zihao Wang, Jiale Guan, XiaoFeng Wang, Wenhao Wang, Luyi Xing, Fares Fahad S. Alharbi |
| 2023 | Comparse: Provably Secure Formats for Cryptographic Protocols. | Thophile Wallez, Jonathan Protzenko, Karthikeyan Bhargavan |
| 2023 | Alert Alchemy: SOC Workflows and Decisions in the Management of NIDS Rules. | Mathew Vermeer, Natalia Kadenko, Michel van Eeten, Carlos Gan, Simon Parkin |
| 2023 | Cryptographically Enforced Memory Safety. | Martin Unterguggenberger, David Schrammel, Lukas Lamster, Pascal Nasahl, Stefan Mangard |
| 2023 | Riggs: Decentralized Sealed-Bid Auctions. | Nirvan Tyagi, Arasu Arun, Cody Freitag, Riad S. Wahby, Joseph Bonneau, David Mazires |
| 2023 | Fast Unbalanced Private Set Union from Fully Homomorphic Encryption. | Binbin Tu, Yu Chen, Qi Liu, Cong Zhang |
| 2023 | CryptoConcurrency: (Almost) Consensusless Asset Transfer with Shared Accounts. | Andrei Tonkikh, Pavel Ponomarev, Petr Kuznetsov, Yvonne-Anne Pignolet |
| 2023 | Poster: A Privacy-Preserving Smart Contract Vulnerability Detection Framework for Permissioned Blockchain. | Wensheng Tian, Lei Zhang, Shuangxi Chen, Hu Wang, Xiao Luo |
| 2023 | Interchain Timestamping for Mesh Security. | Ertem Nusret Tas, Runchao Han, David Tse, Mingchao Yu |
| 2023 | SyzDirect: Directed Greybox Fuzzing for Linux Kernel. | Xin Tan, Yuan Zhang, Jiadong Lu, Xin Xiong, Zhuang Liu, Min Yang |
| 2023 | Security Verification of Low-Trust Architectures. | Qinhan Tan, Yonathan Fisseha, Shibo Chen, Lauren Biernacki, Jean-Baptiste Jeannin, Sharad Malik, Todd M. Austin |
| 2023 | SHERLOC: Secure and Holistic Control-Flow Violation Detection on Embedded Systems. | Xi Tan, Ziming Zhao |
| 2023 | Poster: Backdoor Attack on Extreme Learning Machines. | Behrad Tajalli, Gorka Abad, Stjepan Picek |
| 2023 | LedgerLocks: A Security Framework for Blockchain Protocols Based on Adaptor Signatures. | Erkan Tairi, Pedro Moreno-Sanchez, Clara Schneidewind |
| 2023 | Poster: Cybersecurity Usage in the Wild: A look at Deployment Challenges in Intrusion Detection and Alert Handling. | Wyatt Sweat, Danfeng (Daphne) Yao |
| 2023 | Grotto: Screaming fast (2+1)-PC or ℤ2n via (2, 2)-DPFs. | Kyle Storrier, Adithya Vadapalli, Allan Lyons, Ryan Henry |
| 2023 | Fuzz on the Beach: Fuzzing Solana Smart Contracts. | Sven Smolka, Jens-Rene Giesen, Pascal Winkler, Oussama Draissi, Lucas Davi, Ghassan Karame, Klaus Pohl |