Scholar
Ning Luo
Google Scholar ID: UttfJXwAAAAJ
University of Illinois Urbana-Champaign
Privacy
Formal methods
Software Verification
Cryptography
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
93
H-index
5
i10-index
5
Publications
13
Co-authors
16
list available
Publications
3 items
Certified but Private: Scalable Zero-Knowledge Proofs for Neural Network Guarantees
2026
Cited
0
BlindMarket: Enabling Verifiable, Confidential, and Traceable IP Core Distribution in Zero-Trust Settings
2026
Cited
0
Connect the Dots: Knowledge Graph-Guided Crawler Attack on Retrieval-Augmented Generation Systems
2026
Cited
0
Co-authors
10 total
Ruzica Piskac
Professor
Timos Antonopoulos
Research Scientist, Yale University
Xiao Wang
Northwestern University
Samuel Judson
Nexus
Gefei Tan
Northwestern University
Mariana Raykova
Google
Chenkai Weng
Arizona State University
Qiao Xiang
Professor, Department of Computer Science, Xiamen University
