Ning Luo 罗 宁

• Towards Privacy-Preserving Verification
  Timos Antonopoulos, Ning Luo, Ruzica Piskac.
  The 27th International Symposium on Formal Methods (FM 2026)
  
• Improved Garbled RAM via Garbled Merge
  Can Liu^*, Hengyu Liu^*, Ning Luo, David Heath.
  Proceedings of the 2026 ACM SIGSAC Conference on Computer and Communications Security (CCS 2026)
  PDF
  
• BlindMarket: Enabling Verifiable, Confidential, and Traceable IP Core Distribution in Zero-Trust Settings
  Zhaoxiang Liu, Samuel Judson, Raj Dutta, Mark Santolucito, Xiaolong Guo, Ning Luo.
  The 19th IEEE International Symposium on Hardware Oriented Security and Trust (HOST 2026)
  PDF
• Weakly Private Distributed Multi-User Secret Sharing
  Joy Wan, Ning Luo.
  IEEE Transactions on Information Theory (IEEE TIT), Volume: 72, Issue: 4, April 2026
  PDF
• Connect the Dots: Knowledge Graph–Guided Crawler Attack on Retrieval-Augmented Generation Systems
  Mengyu Yao, Ziqi Zhang, Ning Luo, Shaofei Li, Yifei Cai, Xiangqun Chen, Yao Guo, Ding Li.
  arxiv
  PDF
• Towards Practical Zero‑Knowledge Proof for PSPACE
  Ashwin Karthikeyan, Hengyu Liu, Kuldeep S. Meel, Ning Luo.
  47th IEEE Symposium on Security and Privacy (S&P 2026)
  PDF
• Founding Zero-Knowledge Proofs of Training on Optimum Vicinity
  Gefei Tan, Adrià Gascón, Sarah Meiklejohn, Mariana Raykova, Xiao Wang, Ning Luo.
  Proceedings of the 2026 ACM SIGSAC Conference on Computer and Communications Security (CCS 2025)
  PDF
• ZKSMT: A VM for Proving SMT Theorems in Zero Knowledge
  Daniel Luick, John Kolesar, Timos Antonopoulos, William R. Harris, James Parker, Ruzica Piskac, Eran Tromer, Xiao Wang, Ning Luo.
  USENIX Security Symposium 2024
  PDF
• Privacy-Preserving Regular Expression Matching using Nondeterministic Finite Automata
  Ning Luo^*, Chenkai Weng^*, Jaspal Singh, Gefei Tan, Ruzica Piskac, Mariana Raykova
  29st European Symposium on Research in Computer Security (ESORICS 2024)
  PDF
• Ou: Automating the Parallelization of Zero-Knowledge Protocols
  Yuyang Sang^*, Ning Luo^*, Samuel Judson, Ben Chaimberg, Timos Antonopoulos, Ruzica Piskac, Xiao Wang, Zhong Shao
  Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security (CCS 2023)
  PDF
• Proving UNSAT in Zero Knowledge
  Ning Luo, Timos Antonopoulos, William Harris, Ruzica Piskac, Eran Tromer, Xiao Wang
  Proceedings of the 2022 ACM SIGSAC Conference on Computer and Communications Security (CCS 2022, Distinguished paper award)
  PDF
• ppSAT: Towards Two-Party Private SAT Solving
  Ning Luo, Samuel Judson, Timos Antonopoulos, Ruzica Piskac, Xiao Wang
  USENIX Security Symposium 2022
  PDF
• Looking for the Maximum Independent Set: A New Perspective on the Stable Path Problem
  Yichao Cheng, Ning Luo, Jingxuan Zhang, Timos Antonopoulos, Ruzica Piskac, Qiao Xiang
  IEEE International Conference on Computer Communications (INFOCOM 2021)
  PDF
• Privacy Preserving CTL Model Checking through Oblivious Graph Algorithms
  Samuel Judson, Ning Luo, Timos Antonopoulos, Ruzica Piskac
  19th Workshop on Privacy in the Electronic Society (WPES 2020)
  PDF

• Yale Computer Science Distinguished Dissertation Award, 2023
• EECS Rising Stars, 2023
• Yale Roberts Innovation Award, 2023
• Distinguished Paper Award, ACM CCS, 2022
• USENIX Security Student Grant, 2022
• VMCAI Student Fellowship, 2022
• CAV Student Fellowship, 2019

• Oct. 2023, Incorporating Privacy-preserving Constraints into Automated Reasoning
  Northeastern Formal Methods Meetup, Yale University
• Oct. 2023, Proving SMT Theorems in Zero Knowledge
  DARPA SIEVE PI Meeting
• Apr. 2023, Proving UNSAT in Zero Knowledge
  Invited talk at Satisfiability: Theory, Practice, and Beyond Workshop, Simons Institute, University of California, Berkeley
• Apr. 2023, Automating the Parallelization of Zero-Knowledge Protocols
  DARPA SIEVE PI Meeting
• Nov. 2022, Proving UNSAT in Zero Knowledge
  ACM SIGSAC Conference on Computer and Communications Security
• Aug. 2022, ppSAT: Towards Two-Party Privacy-Preserving SAT Solving
  USENIX Security Symposium
• Jan. 2022, Privacy-Preserving Formal Methods: Proving UNSAT in Zero Knowledge
  Invited talk at New York University
• Dec. 2019, Privacy-Preserving Model Checking
  Invited talk at Microsoft