Ning Luo

According to our database, Ning Luo authored at least 15 papers between 2020 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

Founding Zero-Knowledge Proofs of Training on Optimum Vicinity.

Gefei Tan, Adrià Gascón, Sarah Meiklejohn, Mariana Raykova, Xiao Wang, Ning Luo

IACR Cryptol. ePrint Arch., 2025

Founding Zero-Knowledge Proof of Training on Optimum Vicinity.

Gefei Tan, Adrià Gascón, Sarah Meiklejohn, Mariana Raykova, Xiao Wang, Ning Luo

Proceedings of the 2025 ACM SIGSAC Conference on Computer and Communications Security, 2025

2024

YMMNet: A More Accurate and Lightweight Detector of Illegal Buildings for Smart Cities.

Wenjin Liu, Shudong Zhang, Lijuan Zhou, Ning Luo, Min Xu

IEEE Trans. Consumer Electron., August, 2024

A semi-supervised mixture model of visual language multitask for vehicle recognition.

Wenjin Liu, Shudong Zhang, Lijuan Zhou, Ning Luo, Min Xu

Appl. Soft Comput., 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, Ning Luo

Proceedings of the 33rd USENIX Security Symposium, 2024

Privacy-Preserving Regular Expression Matching Using TNFA.

Ning Luo, Chenkai Weng, Jaspal Singh, Gefei Tan, Mariana Raykova, Ruzica Piskac

Proceedings of the Computer Security - ESORICS 2024, 2024

Poster: BlindMarket: A Trustworthy Chip Designs Marketplace for IP Vendors and Users.

Zhaoxiang Liu, Ning Luo, Samuel Judson, Raj Gautam Dutta, Xiaolong Guo, Mark Santolucito

Proceedings of the 2024 on ACM SIGSAC Conference on Computer and Communications Security, 2024

2023

CRMNet: Development of a Deep-Learning-Based Anchor-Free Detection Method for Illegal Building Objects.

Lijuan Zhou, Wenjin Liu, Shudong Zhang, Ning Luo, Min Xu

Int. J. Pattern Recognit. Artif. Intell., May, 2023

Privacy-Preserving Regular Expression Matching using Nondeterministic Finite Automata.

Ning Luo, Chenkai Weng, Jaspal Singh, Gefei Tan, Ruzica Piskac, Mariana Raykova

IACR Cryptol. ePrint Arch., 2023

Ou: Automating the Parallelization of Zero-Knowledge Protocols.

Yuyang Sang, Ning Luo, Samuel Judson, Ben Chaimberg, Timos Antonopoulos, Xiao Wang, Ruzica Piskac, Zhong Shao

Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security, 2023

2022

IVeri: Privacy-Preserving Interdomain Verification.

Ning Luo, Qiao Xiang, Timos Antonopoulos, Ruzica Piskac, Y. Richard Yang, Franck Le

CoRR, 2022

ppSAT: Towards Two-Party Private SAT Solving.

Ning Luo, Samuel Judson, Timos Antonopoulos, Ruzica Piskac, Xiao Wang

Proceedings of the 31st USENIX Security Symposium, 2022

Proving UNSAT in Zero Knowledge.

Ning Luo, Timos Antonopoulos, William R. Harris, Ruzica Piskac, Eran Tromer, Xiao Wang

Proceedings of the 2022 ACM SIGSAC Conference on Computer and Communications Security, 2022

2021

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

Proceedings of the 40th IEEE Conference on Computer Communications, 2021

2020

Privacy Preserving CTL Model Checking through Oblivious Graph Algorithms.

Samuel Judson, Ning Luo, Timos Antonopoulos, Ruzica Piskac

Proceedings of the WPES'20: Proceedings of the 19th Workshop on Privacy in the Electronic Society, 2020