| Proving UNSAT in zero knowledge N Luo, T Antonopoulos, WR Harris, R Piskac, E Tromer, X Wang Proceedings of the 2022 ACM SIGSAC Conference on Computer and Communications …, 2022 | 14 | 2022 |
| {ppSAT}: Towards {Two-Party} Private {SAT} Solving N Luo, S Judson, T Antonopoulos, R Piskac, X Wang 31st USENIX Security Symposium (USENIX Security 22), 2983-3000, 2022 | 12 | 2022 |
| Privacy-preserving regular expression matching using nondeterministic finite automata N Luo, C Weng, J Singh, G Tan, R Piskac, M Raykova Cryptology ePrint Archive, 2023 | 8 | 2023 |
| {ZKSMT}: A {VM} for Proving {SMT} Theorems in Zero Knowledge D Luick, JC Kolesar, T Antonopoulos, WR Harris, J Parker, R Piskac, ... 33rd USENIX Security Symposium (USENIX Security 24), 3837-3845, 2024 | 5 | 2024 |
| Ou: Automating the Parallelization of Zero-Knowledge Protocols Y Sang, N Luo, S Judson, B Chaimberg, T Antonopoulos, X Wang, ... Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications …, 2023 | 3 | 2023 |
| IVeri: Privacy-Preserving Interdomain Verification N Luo, Q Xiang, T Antonopoulos, R Piskac, YR Yang, F Le arXiv preprint arXiv:2202.02729, 2022 | 3 | 2022 |
| Privacy Preserving CTL Model Checking through Oblivious Graph Algorithms S Judson, N Luo, T Antonopoulos, R Piskac Proceedings of the 19th Workshop on Privacy in the Electronic Society, 101-115, 2020 | 3 | 2020 |
| Looking for the maximum independent set: a new perspective on the stable path problem Y Cheng, N Luo, J Zhang, T Antonopoulos, R Piskac, Q Xiang IEEE INFOCOM 2021-IEEE Conference on Computer Communications, 1-10, 2021 | 2 | 2021 |
| Privacy-Preserving Formal Methods N Luo Yale University, 2023 | 1 | 2023 |
| i-SEAL2: Identifying Spam EmAiL with SEAL I Demertzis, D Froelicher, N Luo, MN Hovd Protecting Privacy through Homomorphic Encryption, 129-132, 2021 | 1 | 2021 |
| Poster: BlindMarket: A Trustworthy Chip Designs Marketplace for IP Vendors and Users Z Liu, N Luo, S Judson, RG Dutta, X Guo, M Santolucito Proceedings of the 2024 on ACM SIGSAC Conference on Computer and …, 2024 | | 2024 |
| Privacy-Preserving Regular Expression Matching Using TNFA N Luo, C Weng, J Singh, G Tan, M Raykova, R Piskac European Symposium on Research in Computer Security, 225-246, 2024 | | 2024 |
Ruzica PiskacProfessor在 yale.edu 的电子邮件经过验证
