Ning Luo

23 papers A* 7Journal 14Unranked 2
YearRankTypeTitle / Venue / Authors
2026 J jnl
BlindMarket: Enabling Verifiable, Confidential, and Traceable IP Core Distribution in Zero-Trust Settings.
CoRR
Zhaoxiang Liu, Samuel Judson, Raj Gautam Dutta, Mark Santolucito, Xiaolong Guo, Ning Luo
2026 J jnl
Weakly Private Distributed Multi-User Secret Sharing.
IEEE Trans. Inf. Theory
Joy Z. Wan, Ning Luo
2025 J jnl
Erratum: CRMNet: Development of a Deep-Learning-Based Anchor-Free Detection Method for Illegal Building Objects.
Int. J. Pattern Recognit. Artif. Intell.
Lijuan Zhou, Wenjin Liu, Shudong Zhang, Ning Luo, Min Xu
2025 A* conf
Founding Zero-Knowledge Proof of Training on Optimum Vicinity.
CCS
Gefei Tan, Adrià Gascón, Sarah Meiklejohn, Mariana Raykova, Xiao Wang, Ning Luo
2025 J jnl
Founding Zero-Knowledge Proofs of Training on Optimum Vicinity.
IACR Cryptol. ePrint Arch.
Gefei Tan, Adrià Gascón, Sarah Meiklejohn, Mariana Raykova, Xiao Wang, Ning Luo
2025 J jnl
Towards Practical Zero-Knowledge Proof for PSPACE.
CoRR
Ashwin Karthikeyan, Hengyu Liu, Kuldeep S. Meel, Ning Luo
2024 J jnl
A semi-supervised mixture model of visual language multitask for vehicle recognition.
Appl. Soft Comput.
Wenjin Liu, Shudong Zhang, Lijuan Zhou, Ning Luo, Min Xu
2024 A* conf
Poster: BlindMarket: A Trustworthy Chip Designs Marketplace for IP Vendors and Users.
CCS
Zhaoxiang Liu, Ning Luo, Samuel Judson, Raj Gautam Dutta, Xiaolong Guo, Mark Santolucito
2024 — conf
Privacy-Preserving Regular Expression Matching Using TNFA.
ESORICS (2)
Ning Luo, Chenkai Weng, Jaspal Singh, Gefei Tan, Mariana Raykova, Ruzica Piskac
2024 J jnl
YMMNet: A More Accurate and Lightweight Detector of Illegal Buildings for Smart Cities.
IEEE Trans. Consumer Electron.
Wenjin Liu, Shudong Zhang, Lijuan Zhou, Ning Luo, Min Xu
2024 A* conf
ZKSMT: A VM for Proving SMT Theorems in Zero Knowledge.
USENIX Security Symposium
Daniel Luick, John C. Kolesar, Timos Antonopoulos, William R. Harris, James Parker, Ruzica Piskac, Eran Tromer, Xiao Wang, Ning Luo
2023 J jnl
CRMNet: Development of a Deep-Learning-Based Anchor-Free Detection Method for Illegal Building Objects.
Int. J. Pattern Recognit. Artif. Intell.
Lijuan Zhou, Wenjin Liu, Shudong Zhang, Ning Luo, Min Xu
2023 A* conf
Ou: Automating the Parallelization of Zero-Knowledge Protocols.
CCS
Yuyang Sang, Ning Luo, Samuel Judson, Ben Chaimberg, Timos Antonopoulos, Xiao Wang, Ruzica Piskac, Zhong Shao
2023 J jnl
Ou: Automating the Parallelization of Zero-Knowledge Protocols.
IACR Cryptol. ePrint Arch.
Yuyang Sang, Ning Luo, Samuel Judson, Ben Chaimberg, Timos Antonopoulos, Xiao Wang, Ruzica Piskac, Zhong Shao
2023 J jnl
Privacy-Preserving Regular Expression Matching using Nondeterministic Finite Automata.
IACR Cryptol. ePrint Arch.
Ning Luo, Chenkai Weng, Jaspal Singh, Gefei Tan, Ruzica Piskac, Mariana Raykova
2023 J jnl
ZKSMT: A VM for Proving SMT Theorems in Zero Knowledge.
IACR Cryptol. ePrint Arch.
Daniel Luick, John C. Kolesar, Timos Antonopoulos, William R. Harris, James Parker, Ruzica Piskac, Eran Tromer, Xiao Wang, Ning Luo
2022 J jnl
IVeri: Privacy-Preserving Interdomain Verification.
CoRR
Ning Luo, Qiao Xiang, Timos Antonopoulos, Ruzica Piskac, Y. Richard Yang, Franck Le
2022 A* conf
Proving UNSAT in Zero Knowledge.
CCS
Ning Luo, Timos Antonopoulos, William R. Harris, Ruzica Piskac, Eran Tromer, Xiao Wang
2022 J jnl
Proving UNSAT in Zero Knowledge.
IACR Cryptol. ePrint Arch.
Ning Luo, Timos Antonopoulos, William R. Harris, Ruzica Piskac, Eran Tromer, Xiao Wang
2022 A* conf
ppSAT: Towards Two-Party Private SAT Solving.
USENIX Security Symposium
Ning Luo, Samuel Judson, Timos Antonopoulos, Ruzica Piskac, Xiao Wang
2021 A* conf
Looking for the Maximum Independent Set: A New Perspective on the Stable Path Problem.
INFOCOM
Yichao Cheng, Ning Luo, Jingxuan Zhang, Timos Antonopoulos, Ruzica Piskac, Qiao Xiang
2021 J jnl
ppSAT: Towards Two-Party Private SAT Solving.
IACR Cryptol. ePrint Arch.
Ning Luo, Samuel Judson, Timos Antonopoulos, Ruzica Piskac, Xiao Wang
2020 — conf
Privacy Preserving CTL Model Checking through Oblivious Graph Algorithms.
WPES@CCS
Samuel Judson, Ning Luo, Timos Antonopoulos, Ruzica Piskac