Privacy Preserving CTL Model Checking through Oblivious Graph Algorithms. - Samuel Judson; Ning Luo 002; Timos Antonopoulos; Ruzica Piskac (WPES@CCS, 2020)

Looking for the Maximum Independent Set: A New Perspective on the Stable Path Problem. - Yichao Cheng; Ning Luo 002; Jingxuan Zhang; Timos Antonopoulos; Ruzica Piskac; Qiao Xiang (INFOCOM, 2021)

Proving UNSAT in Zero Knowledge. - Ning Luo 002; Timos Antonopoulos; William R. Harris; Ruzica Piskac; Eran Tromer; Xiao Wang 012 (CCS, 2022)

ppSAT: Towards Two-Party Private SAT Solving. - Ning Luo 002; Samuel Judson; Timos Antonopoulos; Ruzica Piskac; Xiao Wang 012 (USENIX Security Symposium, 2022)

IVeri: Privacy-Preserving Interdomain Verification. - Ning Luo 002; Qiao Xiang; Timos Antonopoulos; Ruzica Piskac; Y. Richard Yang; Franck Le (CoRR, 2022)

Ou: Automating the Parallelization of Zero-Knowledge Protocols. - Yuyang Sang; Ning Luo 002; Samuel Judson; Ben Chaimberg; Timos Antonopoulos; Xiao Wang 012; Ruzica Piskac; Zhong Shao 001 (CCS, 2023)

Privacy-Preserving Regular Expression Matching using Nondeterministic Finite Automata. - Ning Luo 002; Chenkai Weng; Jaspal Singh; Gefei Tan; Ruzica Piskac; Mariana Raykova 001 (IACR Cryptol. ePrint Arch., 2023)

CRMNet: Development of a Deep-Learning-Based Anchor-Free Detection Method for Illegal Building Objects. - Lijuan Zhou; Wenjin Liu; Shudong Zhang; Ning Luo 002; Min Xu 003 (Int. J. Pattern Recognit. Artif. Intell., 2023)

Poster: BlindMarket: A Trustworthy Chip Designs Marketplace for IP Vendors and Users. - Zhaoxiang Liu; Ning Luo 002; Samuel Judson; Raj Gautam Dutta; Xiaolong Guo 001; Mark Santolucito (CCS, 2024)

Privacy-Preserving Regular Expression Matching Using TNFA. - Ning Luo 002; Chenkai Weng; Jaspal Singh; Gefei Tan; Mariana Raykova 001; Ruzica Piskac (ESORICS (2), 2024)

ZKSMT: A VM for Proving SMT Theorems in Zero Knowledge. - Daniel Luick; John C. Kolesar; Timos Antonopoulos; William R. Harris; James Parker; Ruzica Piskac; Eran Tromer; Xiao Wang 012; Ning Luo 002 (USENIX Security Symposium, 2024)

A semi-supervised mixture model of visual language multitask for vehicle recognition. - Wenjin Liu; Shudong Zhang; Lijuan Zhou; Ning Luo 002; Min Xu 003 (Appl. Soft Comput., 2024)

YMMNet: A More Accurate and Lightweight Detector of Illegal Buildings for Smart Cities. - Wenjin Liu; Shudong Zhang; Lijuan Zhou; Ning Luo 002; Min Xu 003 (IEEE Trans. Consumer Electron., 2024)

Founding Zero-Knowledge Proof of Training on Optimum Vicinity. - Gefei Tan; Adrià Gascón; Sarah Meiklejohn; Mariana Raykova 001; Xiao Wang 012; Ning Luo 002 (CCS, 2025)

Founding Zero-Knowledge Proofs of Training on Optimum Vicinity. - Gefei Tan; Adrià Gascón; Sarah Meiklejohn; Mariana Raykova 001; Xiao Wang 012; Ning Luo 002 (IACR Cryptol. ePrint Arch., 2025)