No photo of David Anthony Heath

View Scopus Profile

David Anthony Heath

If you made any changes in Pure these will be visible here soon.
  • 14 Conference contribution
  • 2 Conference article

Search results

  • 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 proceeding › Conference 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 proceeding › Conference 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 proceeding › Conference 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 proceeding › Conference 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 proceeding › Conference 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 proceeding › Conference 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 proceeding › Conference contribution

  • One Hot Garbling

    Heath, D. & Kolesnikov, V., Nov 12 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 proceeding › Conference 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 proceeding › Conference 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 proceeding › Conference 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 proceeding › Conference 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 proceeding › Conference 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 proceeding › Conference 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 proceeding › Conference 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 journal › Conference article › peer-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 journal › Conference article › peer-review

    Open Access