David Heath

According to our database, David Heath authored at least 49 papers between 1988 and 2025.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2025

Authenticated Garbling with Tensor Gates.

David Heath, Nakul Khambhati, Rafail Ostrovsky, Turan Vural

IACR Cryptol. ePrint Arch., 2025

Linear-time and Logarithmically-sound Permutation and Multiset SNARKs.

Bing-Jyue Chen, Lilia Tang, David Heath, Daniel Kang

IACR Cryptol. ePrint Arch., 2025

Minicrypt PRFs Do Not Admit Black-Box Oblivious Evaluations.

Cruz Barnum, Mohammad Hajiabadi, David Heath, Jake Januzelli, Namar Kumar, Mike Rosulek

IACR Cryptol. ePrint Arch., 2025

Adaptive Distributional Security: A Framework for Input-Adaptive Cryptography.

Cruz Barnum, David Heath

IACR Cryptol. ePrint Arch., 2025

Randomized Agreement, Verifiable Secret Sharing and Multi-Party Computation in Granular Synchrony.

Ananya Appan, David Heath, Ling Ren

IACR Cryptol. ePrint Arch., 2025

Oblivious Immutable Memory.

Ananya Appan, David Heath

IACR Cryptol. ePrint Arch., 2025

Multiparty Garbling from OT with Linear Scaling and RAM Support.

David Heath, Vladimir Kolesnikov, Varun Narayanan, Rafail Ostrovsky, Akash Shah

Proceedings of the Advances in Cryptology - CRYPTO 2025, 2025

2024

Scalable Metadata-Hiding for Privacy-Preserving IoT Systems.

Yunang Chen, David Heath, Rahul Chatterjee, Earlence Fernandes

Proc. Priv. Enhancing Technol., 2024

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

Carmit Hazay, David Heath, Vladimir Kolesnikov, Muthuramakrishnan Venkitasubramaniam, Yibin Yang

IACR Cryptol. ePrint Arch., 2024

Two Shuffles Make a RAM: Improved Constant Overhead Zero Knowledge RAM.

Yibin Yang, David Heath

Proceedings of the 33rd USENIX Security Symposium, 2024

Garbled Circuit Lookup Tables with Logarithmic Number of Ciphertexts.

David Heath, Vladimir Kolesnikov, Lucien K. L. Ng

Proceedings of the Advances in Cryptology - EUROCRYPT 2024, 2024

Efficient Arithmetic in Garbled Circuits.

David Heath

Proceedings of the Advances in Cryptology - EUROCRYPT 2024, 2024

Oblivious Single Access Machines - A New Model for Oblivious Computation.

Ananya Appan, David Heath, Ling Ren

Proceedings of the 2024 on ACM SIGSAC Conference on Computer and Communications Security, 2024

Tight ZK CPU: Batched ZK Branching with Cost Proportional to Evaluated Instruction.

Yibin Yang, David Heath, Carmit Hazay, Vladimir Kolesnikov, Muthuramakrishnan Venkitasubramaniam

Proceedings of the 2024 on ACM SIGSAC Conference on Computer and Communications Security, 2024

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

Carmit Hazay, David Heath, Vladimir Kolesnikov, Muthuramakrishnan Venkitasubramaniam, Yibin Yang

Proceedings of the Advances in Cryptology - ASIACRYPT 2024, 2024

2023

Symphony: Expressive Secure Multiparty Computation with Coordination.

Ian Sweet, David Darais, David Heath, William Harris, Ryan Estes, Michael Hicks

Art Sci. Eng. Program., February, 2023

Tri-State Circuits: A Better Model of Computation for Garbling.

David Heath, Vladimir Kolesnikov, Rafail Ostrovsky

IACR Cryptol. ePrint Arch., 2023

Adaptive Garbled Circuits and Garbled RAM from Non-Programmable Random Oracles.

Cruz Barnum, David Heath, Vladimir Kolesnikov, Rafail Ostrovsky

IACR Cryptol. ePrint Arch., 2023

Parallel RAM from Cyclic Circuits.

David Heath

CoRR, 2023

Tri-State Circuits - A Circuit Model that Captures RAM.

David Heath, Vladimir Kolesnikov, Rafail Ostrovsky

Proceedings of the Advances in Cryptology - CRYPTO 2023, 2023

Towards Generic MPC Compilers via Variable Instruction Set Architectures (VISAs).

Yibin Yang, Stanislav Peceny, David Heath, Vladimir Kolesnikov

Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security, 2023

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

Yibin Yang, David Heath, Carmit Hazay, Vladimir Kolesnikov, Muthuramakrishnan Venkitasubramaniam

Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security, 2023

2022

New Directions in Garbled Circuits.

David Heath

PhD thesis, 2022

Zero Knowledge for Everything and Everyone: Fast ZK Processor with Cached RAM for ANSI C Programs.

David Heath, Yibin Yang, David Devecsery, Vladimir Kolesnikov

IACR Cryptol. ePrint Arch., 2022

EZEE: Epoch Parallel Zero Knowledge for ANSI C.

Yibin Yang, David Heath, Vladimir Kolesnikov, David Devecsery

Proceedings of the 7th IEEE European Symposium on Security and Privacy, 2022

EpiGRAM: Practical Garbled RAM.

David Heath, Vladimir Kolesnikov, Rafail Ostrovsky

Proceedings of the Advances in Cryptology - EUROCRYPT 2022 - 41st Annual International Conference on the Theory and Applications of Cryptographic Techniques, Trondheim, Norway, May 30, 2022

Garbled Circuits with Sublinear Evaluator.

Abida Haque, David Heath, Vladimir Kolesnikov, Steve Lu, Rafail Ostrovsky, Akash Shah

Proceedings of the Advances in Cryptology - EUROCRYPT 2022 - 41st Annual International Conference on the Theory and Applications of Cryptographic Techniques, Trondheim, Norway, May 30, 2022

2021

Practical Garbled RAM: GRAM with O(log² n) Overhead.

David Heath, Vladimir Kolesnikov, Rafail Ostrovsky

IACR Cryptol. ePrint Arch., 2021

PrORAM: Fast O(log n) Private Coin ZK ORAM.

David Heath, Vladimir Kolesnikov

IACR Cryptol. ePrint Arch., 2021

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

David Heath, Vladimir Kolesnikov

IACR Cryptol. ePrint Arch., 2021

Zero Knowledge for Everything and Everyone: Fast ZK Processor with Cached ORAM for ANSI C Programs.

David Heath, Yibin Yang, David Devecsery, Vladimir Kolesnikov

Proceedings of the 42nd IEEE Symposium on Security and Privacy, 2021

Masked Triples - Amortizing Multiplication Triples Across Conditionals.

David Heath, Vladimir Kolesnikov, Stanislav Peceny

Proceedings of the Public-Key Cryptography - PKC 2021, 2021

sf LogStack: Stacked Garbling with O(b log b) Computation.

David Heath, Vladimir Kolesnikov

Proceedings of the Advances in Cryptology - EUROCRYPT 2021, 2021

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

David Heath, Vladimir Kolesnikov, Jiahui Lu

Proceedings of the Cyber Security Cryptography and Machine Learning, 2021

One Hot Garbling.

David Heath, Vladimir Kolesnikov

Proceedings of the CCS '21: 2021 ACM SIGSAC Conference on Computer and Communications Security, Virtual Event, Republic of Korea, November 15, 2021

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

David Heath, Vladimir Kolesnikov, Stanislav Peceny

Proceedings of the Advances in Cryptology - ASIACRYPT 2021, 2021

PrORAM - Fast P(log<i>n</i>) Authenticated Shares ZK ORAM.

David Heath, Vladimir Kolesnikov

Proceedings of the Advances in Cryptology - ASIACRYPT 2021, 2021

2020

Stacked Garbling for Disjunctive Zero-Knowledge Proofs.

David Heath, Vladimir Kolesnikov

Proceedings of the Advances in Cryptology - EUROCRYPT 2020, 2020

Stacked Garbling - Garbled Circuit Proportional to Longest Execution Path.

David Heath, Vladimir Kolesnikov

Proceedings of the Advances in Cryptology - CRYPTO 2020, 2020

A 2.1 KHz Zero-Knowledge Processor with BubbleRAM.

David Heath, Vladimir Kolesnikov

Proceedings of the CCS '20: 2020 ACM SIGSAC Conference on Computer and Communications Security, 2020

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

David Heath, Vladimir Kolesnikov, Stanislav Peceny

Proceedings of the Advances in Cryptology - ASIACRYPT 2020, 2020

2019

Relational Verification via Invariant-Guided Synchronization.

Qi Zhou, David Heath, William Harris

Proceedings of the Sixth Workshop on Horn Clauses for Verification and Synthesis and Third Workshop on Program Equivalence and Relational Reasoning, 2019

2017

Proofs as Relational Invariants of Synthesized Execution Grammars.

Caleb Voss, David Heath, William Harris

CoRR, 2017

Completely Automated Equivalence Proofs.

Qi Zhou, David Heath, William Harris

CoRR, 2017

2007

Coherent multiperiod risk adjusted values and Bellman's principle.

Philippe Artzner, Freddy Delbaen, Jean-Marc Eber, David Heath, Hyejin Ku

Ann. Oper. Res., 2007

2006

Consistency among trading desks.

David Heath, Hyejin Ku

Finance Stochastics, 2006

1998

Heavy Tails and Long Range Dependence in On/Off Processes and Associated Fluid Models.

David Heath, Sidney Resnick, Gennady Samorodnitsky

Math. Oper. Res., 1998

1997

The Historical Development of Computer Chess and its Impact on Artificial Intelligence.

David Heath, Derek Allum

Proceedings of the Deep Blue Versus Kasparov: The Significance for Artificial Intelligence, 1997

1988

On learning through competition.

David Heath, Carl Diegert

Neural Networks, 1988