On learning through competition. - David Heath; Carl Diegert (Neural Networks, 1988)

The Historical Development of Computer Chess and its Impact on Artificial Intelligence. - David Heath; Derek Allum (Deep Blue Versus Kasparov: The Significance for Artificial Intelligence, 1997)

Heavy Tails and Long Range Dependence in On/Off Processes and Associated Fluid Models. - David Heath; Sidney Resnick; Gennady Samorodnitsky (Math. Oper. Res., 1998)

Consistency among trading desks. - David Heath; Hyejin Ku (Finance Stochastics, 2006)

Coherent multiperiod risk adjusted values and Bellman's principle. - Philippe Artzner; Freddy Delbaen; Jean-Marc Eber; David Heath; Hyejin Ku (Ann. Oper. Res., 2007)

Completely Automated Equivalence Proofs. - Qi Zhou 010; David Heath; William Harris (CoRR, 2017)

Proofs as Relational Invariants of Synthesized Execution Grammars. - Caleb Voss; David Heath; William Harris (CoRR, 2017)

Relational Verification via Invariant-Guided Synchronization. - Qi Zhou 010; David Heath; William Harris (HCVS/PERR@ETAPS, 2019)

Stacked Garbling for Disjunctive Zero-Knowledge Proofs. - David Heath; Vladimir Kolesnikov (IACR Cryptol. ePrint Arch., 2020)

Stacked Garbling: Garbled Circuit Proportional to Longest Execution Path. - David Heath; Vladimir Kolesnikov (IACR Cryptol. ePrint Arch., 2020)

MOTIF: (Almost) Free Branching in GMW via Vector-Scalar Multiplication. - David Heath; Vladimir Kolesnikov; Stanislav Peceny (IACR Cryptol. ePrint Arch., 2020)

PrORAM - Fast P(logn) Authenticated Shares ZK ORAM. - David Heath; Vladimir Kolesnikov (ASIACRYPT (4), 2021)

sf LogStack: Stacked Garbling with O(b log b) Computation. - David Heath; Vladimir Kolesnikov (EUROCRYPT (3), 2021)

Zero Knowledge for Everything and Everyone: Fast ZK Processor with Cached ORAM for ANSI C Programs. - David Heath; Yibin Yang 001; David Devecsery; Vladimir Kolesnikov (SP, 2021)

LogStack: Stacked Garbling with O(b log b) Computation. - David Heath; Vladimir Kolesnikov (IACR Cryptol. ePrint Arch., 2021)

PrORAM: Fast O(log n) Private Coin ZK ORAM. - David Heath; Vladimir Kolesnikov (IACR Cryptol. ePrint Arch., 2021)

Practical Garbled RAM: GRAM with O(log2 n) Overhead. - David Heath; Vladimir Kolesnikov; Rafail Ostrovsky (IACR Cryptol. ePrint Arch., 2021)

Masked Triples: Amortizing Multiplication Triples across Conditionals. - David Heath; Vladimir Kolesnikov; Stanislav Peceny (IACR Cryptol. ePrint Arch., 2021)

Garbling, Stacked and Staggered: Faster k-out-of-n Garbled Function Evaluation. - David Heath; Vladimir Kolesnikov; Stanislav Peceny (IACR Cryptol. ePrint Arch., 2021)

EpiGRAM: Practical Garbled RAM. - David Heath; Vladimir Kolesnikov; Rafail Ostrovsky (EUROCRYPT (1), 2022)

Garbled Circuits With Sublinear Evaluator. - Abida Haque; David Heath; Vladimir Kolesnikov; Steve Lu 001; Rafail Ostrovsky; Akash Shah (IACR Cryptol. ePrint Arch., 2022)

One Hot Garbling. - David Heath; Vladimir Kolesnikov (IACR Cryptol. ePrint Arch., 2022)

A 2.1 KHz Zero-Knowledge Processor with BubbleRAM. - David Heath; Vladimir Kolesnikov (IACR Cryptol. ePrint Arch., 2022)

Efficient Generic Arithmetic for KKW Practical Linear: MPC-in-the-Head NIZK on Commodity Hardware without Trusted Setup. - David Heath; Vladimir Kolesnikov; Jiahui Lu (IACR Cryptol. ePrint Arch., 2022)

Zero Knowledge for Everything and Everyone: Fast ZK Processor with Cached RAM for ANSI C Programs. - David Heath; Yibin Yang 001; David Devecsery; Vladimir Kolesnikov (IACR Cryptol. ePrint Arch., 2022)

EZEE: Epoch Parallel Zero Knowledge for ANSI C. - Yibin Yang 001; David Heath; Vladimir Kolesnikov; David Devecsery (IACR Cryptol. ePrint Arch., 2022)

New Directions in Garbled Circuits. - David Heath (2022)

Parallel RAM from Cyclic Circuits. - David Heath (CoRR, 2023)

Tri-State Circuits: A Circuit Model that Captures RAM. - David Heath; Vladimir Kolesnikov; Rafail Ostrovsky (Electron. Colloquium Comput. Complex., 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)

Tri-State Circuits: A Better Model of Computation for Garbling. - David Heath; Vladimir Kolesnikov; Rafail Ostrovsky (IACR Cryptol. ePrint Arch., 2023)

Two Shuffles Make a RAM: Improved Constant Overhead Zero Knowledge RAM. - Yibin Yang 001; David Heath (IACR Cryptol. ePrint Arch., 2023)

Batchman and Robin: Batched and Non-batched Branching for Interactive ZK. - Yibin Yang 001; David Heath; Carmit Hazay; Vladimir Kolesnikov; Muthuramakrishnan Venkitasubramaniam (IACR Cryptol. ePrint Arch., 2023)

Towards Generic MPC Compilers via Variable Instruction Set Architectures (VISAs). - Yibin Yang 001; Stanislav Peceny; David Heath; Vladimir Kolesnikov (IACR Cryptol. ePrint Arch., 2023)

Symphony: Expressive Secure Multiparty Computation with Coordination. - Ian Sweet; David Darais; David Heath; William Harris; Ryan Estes; Michael Hicks 001 (Art Sci. Eng. Program., 2023)

sfLogRobin++: Optimizing Proofs of Disjunctive Statements in VOLE-Based ZK. - Carmit Hazay; David Heath; Vladimir Kolesnikov; Muthuramakrishnan Venkitasubramaniam; Yibin Yang 001 (ASIACRYPT (5), 2024)

Oblivious Single Access Machines: A New Model for Oblivious Computation. - Ananya Appan; David Heath; Ling Ren 001 (IACR Cryptol. ePrint Arch., 2024)

LogRobin++: Optimizing Proofs of Disjunctive Statements in VOLE-Based ZK. - Carmit Hazay; David Heath; Vladimir Kolesnikov; Muthuramakrishnan Venkitasubramaniam; Yibin Yang 001 (IACR Cryptol. ePrint Arch., 2024)

Efficient Arithmetic in Garbled Circuits. - David Heath (IACR Cryptol. ePrint Arch., 2024)

Garbled Circuit Lookup Tables with Logarithmic Number of Ciphertexts. - David Heath; Vladimir Kolesnikov; Lucien K. L. Ng (IACR Cryptol. ePrint Arch., 2024)

Tight ZK CPU: Batched ZK Branching with Cost Proportional to Evaluated Instruction. - Yibin Yang 001; David Heath; Carmit Hazay; Vladimir Kolesnikov; Muthuramakrishnan Venkitasubramaniam (IACR Cryptol. ePrint Arch., 2024)

Scalable Metadata-Hiding for Privacy-Preserving IoT Systems. - Yunang Chen; David Heath; Rahul Chatterjee 001; Earlence Fernandes (Proc. Priv. Enhancing Technol., 2024)

Oblivious Immutable Memory. - Ananya Appan; David Heath (IACR Cryptol. ePrint Arch., 2025)

Adaptive Distributional Security: A Framework for Input-Adaptive Cryptography. - Cruz Barnum; 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 (IACR Cryptol. ePrint Arch., 2025)