Search results

  • 2023

    Ou: Automating the Parallelization of Zero-Knowledge Protocols

    Sang, Y., Luo, N., Judson, S., Chaimberg, B., Antonopoulos, T., Wang, X., Piskac, R. & Shao, Z., Nov 15 2023, CCS 2023 - Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security. Association for Computing Machinery, p. 534-548 15 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
  • 2022

    i-SEAL2: Identifying spam EmAiL with SEAL

    Demertzis, I., Froelicher, D., Luo, N. & Hovd, M. N., Jan 4 2022, Protecting Privacy through Homomorphic Encryption. Springer, p. 129-132 4 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  • ppSAT: Towards Two-Party Private SAT Solving

    Luo, N., Judson, S., Antonopoulos, T., Piskac, R. & Wang, X., 2022, Proceedings of the 31st USENIX Security Symposium, Security 2022. USENIX Association, p. 2983-3000 18 p. (Proceedings of the 31st USENIX Security Symposium, Security 2022).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • Proving UNSAT in Zero Knowledge

    Luo, N., Antonopoulos, T., Harris, W. R., Piskac, R., Tromer, E. & Wang, X., Nov 7 2022, CCS 2022 - Proceedings of the 2022 ACM SIGSAC Conference on Computer and Communications Security. Association for Computing Machinery, p. 2203-2217 15 p. (Proceedings of the ACM Conference on Computer and Communications Security).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
  • 2021

    Looking for the maximum independent set: A new perspective on the stable path problem

    Cheng, Y., Luo, N., Zhang, J., Antonopoulos, T., Piskac, R. & Xiang, Q., May 10 2021, INFOCOM 2021 - IEEE Conference on Computer Communications. Institute of Electrical and Electronics Engineers Inc., 9488682. (Proceedings - IEEE INFOCOM; vol. 2021-May).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • 2020

    Privacy Preserving CTL Model Checking through Oblivious Graph Algorithms

    Judson, S., Luo, N., Antonopoulos, T. & Piskac, R., Nov 9 2020, WPES 2020 - Proceedings of the 19th Workshop on Privacy in the Electronic Society. Association for Computing Machinery, p. 101-115 15 p. (WPES 2020 - Proceedings of the 19th Workshop on Privacy in the Electronic Society).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution