Publications
* indicates equal contribution
-
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 2024
PDF
-
Privacy-Preserving Regular Expression Matching using Nondeterministic Finite Automata
Ning Luo*, Chenkai Weng*, Jaspal Singh, Gefei Tan, Ruzica Piskac, Mariana Raykova
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
CCS 2023
PDF
-
Proving UNSAT in Zero Knowledge
Ning Luo, Timos Antonopoulos, William Harris, Ruzica Piskac, Eran Tromer, Xiao Wang
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 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
INFOCOM 2021
PDF
-
Privacy Preserving CTL Model Checking through Oblivious Graph Algorithms
Samuel Judson, Ning Luo, Timos Antonopoulos, Ruzica Piskac
WPES 2020
PDF
Awards
- 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
Talks
- 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