Search results

  • 2025

    LogRobin++: Optimizing Proofs of Disjunctive Statements in VOLE-Based ZK

    Hazay, C., Heath, D., Kolesnikov, V., Venkitasubramaniam, M. & Yang, Y., 2025, Advances in Cryptology – ASIACRYPT 2024 - 30th International Conference on the Theory and Application of Cryptology and Information Security, Proceedings. Chung, K.-M. & Sasaki, Y. (eds.). Springer, p. 367-401 35 p. (Lecture Notes in Computer Science; vol. 15488 LNCS).

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

  • 2024

    Efficient Arithmetic in Garbled Circuits

    Heath, D., 2024, Advances in Cryptology – EUROCRYPT 2024 - 43rd Annual International Conference on the Theory and Applications of Cryptographic Techniques, 2024, Proceedings. Joye, M. & Leander, G. (eds.). Springer, p. 3-31 29 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14655 LNCS).

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

  • Garbled Circuit Lookup Tables with Logarithmic Number of Ciphertexts

    Heath, D., Kolesnikov, V. & Ng, L. K. L., 2024, Advances in Cryptology – EUROCRYPT 2024 - 43rd Annual International Conference on the Theory and Applications of Cryptographic Techniques, 2024, Proceedings. Joye, M. & Leander, G. (eds.). Springer, p. 185-215 31 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14655 LNCS).

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

  • Oblivious Single Access Machines A New Model for Oblivious Computation

    Appan, A., Heath, D. & Ren, L., Dec 9 2024, CCS 2024 - Proceedings of the 2024 ACM SIGSAC Conference on Computer and Communications Security. Association for Computing Machinery, p. 3080-3094 15 p. (CCS 2024 - Proceedings of the 2024 ACM SIGSAC Conference on Computer and Communications Security).

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

  • Tight ZK CPU* Batched ZK Branching with Cost Proportional to Evaluated Instruction

    Yang, Y., Heath, D., Hazay, C., Kolesnikov, V. & Venkitasubramaniam, M., Dec 9 2024, CCS 2024 - Proceedings of the 2024 ACM SIGSAC Conference on Computer and Communications Security. Association for Computing Machinery, p. 3095-3109 15 p. (CCS 2024 - Proceedings of the 2024 ACM SIGSAC Conference on Computer and Communications Security).

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

    Open Access
  • Two Shuffles Make a RAM: Improved Constant Overhead Zero Knowledge RAM

    Yang, Y. & Heath, D., 2024, Proceedings of the 33rd USENIX Security Symposium. USENIX Association, p. 1435-1452 18 p. (Proceedings of the 33rd USENIX Security Symposium).

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

  • 2023

    Batchman and Robin: Batched and Non-batched Branching for Interactive ZK

    Yang, Y., Heath, D., Hazay, C., Kolesnikov, V. & Venkitasubramaniam, M., Nov 15 2023, CCS 2023 - Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security. Association for Computing Machinery, p. 1452-1466 15 p. (CCS 2023 - Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security).

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

    Open Access
  • Symphony: Expressive Secure Multiparty Computation with Coordination

    Sweet, I., Darais, D., Heath, D., Harris, W., Estes, R. & Hicks, M., 2023, In: Art, Science, and Engineering of Programming. 7, 3, 14.

    Research output: Contribution to journalArticlepeer-review

    Open Access
  • Towards Generic MPC Compilers via Variable Instruction Set Architectures (VISAs)

    Yang, Y., Heath, D., Peceny, S. & Kolesnikov, V., Nov 15 2023, CCS 2023 - Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security. Association for Computing Machinery, p. 2516-2530 15 p. (CCS 2023 - Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security).

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

    Open Access
  • Tri-State Circuits: A Circuit Model that Captures RAM

    Heath, D., Kolesnikov, V. & Ostrovsky, R., 2023, Advances in Cryptology – CRYPTO 2023 - 43rd Annual International Cryptology Conference, CRYPTO 2023, Proceedings. Handschuh, H. & Lysyanskaya, A. (eds.). Springer, p. 128-160 33 p. (Lecture Notes in Computer Science; vol. 14084 LNCS).

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

  • 2022

    EpiGRAM: Practical Garbled RAM

    Heath, D., Kolesnikov, V. & Ostrovsky, R., 2022, Advances in Cryptology – EUROCRYPT 2022 - 41st Annual International Conference on the Theory and Applications of Cryptographic Techniques, 2022, Proceedings. Dunkelman, O. & Dziembowski, S. (eds.). Springer, p. 3-33 31 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13275 LNCS).

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

  • EZEE: Epoch Parallel Zero Knowledge for ANSI C

    Yang, Y., Heath, D., Kolesnikov, V. & Devecsery, D., 2022, Proceedings - 7th IEEE European Symposium on Security and Privacy, Euro S and P 2022. Institute of Electrical and Electronics Engineers Inc., p. 109-123 15 p. (Proceedings - 7th IEEE European Symposium on Security and Privacy, Euro S and P 2022).

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

  • Garbled Circuits with Sublinear Evaluator

    Haque, A., Heath, D., Kolesnikov, V., Lu, S., Ostrovsky, R. & Shah, A., 2022, Advances in Cryptology – EUROCRYPT 2022 - 41st Annual International Conference on the Theory and Applications of Cryptographic Techniques, 2022, Proceedings. Dunkelman, O. & Dziembowski, S. (eds.). Springer, p. 37-64 28 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13275 LNCS).

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

  • 2021

    Efficient Generic Arithmetic for KKW: Practical Linear MPC-in-the-Head NIZK on Commodity Hardware Without Trusted Setup

    Heath, D., Kolesnikov, V. & Lu, J., 2021, Cyber Security Cryptography and Machine Learning - 5th International Symposium, CSCML 2021, Proceedings. Dolev, S., Margalit, O., Pinkas, B. & Schwarzmann, A. (eds.). Springer, p. 414-431 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12716 LNCS).

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

  • Garbling, Stacked and Staggered: Faster k-out-of-n Garbled Function Evaluation

    Heath, D., Kolesnikov, V. & Peceny, S., 2021, Advances in Cryptology – ASIACRYPT 2021 - 27th International Conference on the Theory and Application of Cryptology and Information Security, Proceedings, Part 2. Tibouchi, M. & Wang, H. (eds.). Springer, p. 245-274 30 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13091 LNCS).

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

  • LogStack: Stacked Garbling with O(b log b) Computation

    Heath, D. & Kolesnikov, V., 2021, Advances in Cryptology – EUROCRYPT 2021 - 40th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Proceedings. Canteaut, A. & Standaert, F.-X. (eds.). Springer, p. 3-32 30 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12698 LNCS).

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

  • Masked Triples: Amortizing Multiplication Triples Across Conditionals

    Heath, D., Kolesnikov, V. & Peceny, S., 2021, Public-Key Cryptography – PKC 2021 - 24th IACR International Conference on Practice and Theory of Public Key Cryptography, 2021, Proceedings. Garay, J. A. (ed.). Springer, p. 319-348 30 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12711 LNCS).

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

  • One Hot Garbling

    Heath, D. & Kolesnikov, V., Nov 13 2021, CCS 2021 - Proceedings of the 2021 ACM SIGSAC Conference on Computer and Communications Security. Association for Computing Machinery, p. 574-593 20 p. (Proceedings of the ACM Conference on Computer and Communications Security).

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

  • PrORAM: Fast O(log n) Authenticated Shares ZK ORAM

    Heath, D. & Kolesnikov, V., 2021, Advances in Cryptology – ASIACRYPT 2021 - 27th International Conference on the Theory and Application of Cryptology and Information Security, 2021, Proceedings, Part 4. Tibouchi, M. & Wang, H. (eds.). Springer, p. 495-525 31 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13093 LNCS).

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

  • Zero knowledge for everything and everyone: Fast ZK processor with cached ORAM for ANSI C programs

    Heath, D., Yang, Y., Devecsery, D. & Kolesnikov, V., May 2021, Proceedings - 2021 IEEE Symposium on Security and Privacy, SP 2021. Institute of Electrical and Electronics Engineers Inc., p. 1538-1556 19 p. (Proceedings - IEEE Symposium on Security and Privacy; vol. 2021-May).

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

  • 2020

    A 2.1 KHz Zero-Knowledge Processor with BubbleRAM

    Heath, D. & Kolesnikov, V., Oct 30 2020, CCS 2020 - Proceedings of the 2020 ACM SIGSAC Conference on Computer and Communications Security. Association for Computing Machinery, p. 2055-2074 20 p. (Proceedings of the ACM Conference on Computer and Communications Security).

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

  • MOTIF: (Almost) Free Branching in GMW: Via Vector-Scalar Multiplication

    Heath, D., Kolesnikov, V. & Peceny, S., 2020, Advances in Cryptology – ASIACRYPT 2020 - 26th International Conference on the Theory and Application of Cryptology and Information Security, 2020, Proceedings. Moriai, S. & Wang, H. (eds.). Springer, p. 3-30 28 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12493 LNCS).

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

  • Stacked garbling: Garbled circuit proportional to longest execution path

    Heath, D. & Kolesnikov, V., 2020, Advances in Cryptology - CRYPTO 2020 - 40th Annual International Cryptology Conference, CRYPTO 2020, Proceedings. Micciancio, D. & Ristenpart, T. (eds.). Springer Netherlands, p. 763-792 30 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12171 LNCS).

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

  • Stacked garbling for disjunctive zero-knowledge proofs

    Heath, D. & Kolesnikov, V., 2020, Advances in Cryptology – EUROCRYPT 2020 - 39th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Proceedings. Canteaut, A. & Ishai, Y. (eds.). Springer Netherlands, p. 569-598 30 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12107 LNCS).

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

  • 2019

    Relational verification via invariant-guided synchronization

    Zhou, Q., Heath, D. & Harris, W., Jul 9 2019, In: Electronic Proceedings in Theoretical Computer Science, EPTCS. 296, p. 28-41 14 p.

    Research output: Contribution to journalConference articlepeer-review

    Open Access
  • 2018

    Solving constrained horn clauses using dependence-disjoint expansions

    Zhou, Q., Heath, D. & Harris, W., Sep 12 2018, In: Electronic Proceedings in Theoretical Computer Science, EPTCS. 278, p. 3-18 16 p.

    Research output: Contribution to journalConference articlepeer-review

    Open Access