| 2026 | CRYPTO | Suffix-Invariant Programmable PRFs and Applications to Stacked Garbling. | Vipul Goyal, David Heath, Abhishek Jain, Yibin Yang |
| 2025 | ASIACRYPT | Randomized Agreement, Verifiable Secret Sharing and Multi-party Computation in Granular Synchrony. | Ananya Appan, David Heath, Ling Ren |
| 2025 | CogSci | Social position as a constraint on linguistic alignment. | David Heath, Stephanie Huette |
| 2025 | CogSci | Investigating Mental Simulation and Mental Imagery Using Sentence-Picture Verification. | Elaine C. Mooney, David Heath, Stephanie Huette |
| 2025 | CRYPTO | Multiparty Garbling from OT with Linear Scaling and RAM Support. | David Heath, Vladimir Kolesnikov, Varun Narayanan, Rafail Ostrovsky, Akash Shah |
| 2024 | ASIACRYPT | sfLogRobin++: Optimizing Proofs of Disjunctive Statements in VOLE-Based ZK. | Carmit Hazay, David Heath, Vladimir Kolesnikov, Muthuramakrishnan Venkitasubramaniam, Yibin Yang |
| 2024 | CCS | Tight ZK CPU: Batched ZK Branching with Cost Proportional to Evaluated Instruction. | Yibin Yang, David Heath, Carmit Hazay, Vladimir Kolesnikov, Muthuramakrishnan Venkitasubramaniam |
| 2024 | CCS | Oblivious Single Access Machines - A New Model for Oblivious Computation. | Ananya Appan, David Heath, Ling Ren |
| 2024 | CogSci | Spatial category learning: the influence of noise and familiarity on individuals. | David Heath, Stephanie Huette |
| 2024 | EuroCrypt | Efficient Arithmetic in Garbled Circuits. | David Heath |
| 2024 | EuroCrypt | Garbled Circuit Lookup Tables with Logarithmic Number of Ciphertexts. | David Heath, Vladimir Kolesnikov, Lucien K. L. Ng |
| 2023 | CCS | Batchman and Robin: Batched and Non-batched Branching for Interactive ZK. | Yibin Yang, David Heath, Carmit Hazay, Vladimir Kolesnikov, Muthuramakrishnan Venkitasubramaniam |
| 2023 | CCS | Towards Generic MPC Compilers via Variable Instruction Set Architectures (VISAs). | Yibin Yang, Stanislav Peceny, David Heath, Vladimir Kolesnikov |
| 2023 | CRYPTO | Tri-State Circuits - A Circuit Model that Captures RAM. | David Heath, Vladimir Kolesnikov, Rafail Ostrovsky |
| 2022 | EuroCrypt | Garbled Circuits with Sublinear Evaluator. | Abida Haque, David Heath, Vladimir Kolesnikov, Steve Lu, Rafail Ostrovsky, Akash Shah |
| 2022 | EuroCrypt | EpiGRAM: Practical Garbled RAM. | David Heath, Vladimir Kolesnikov, Rafail Ostrovsky |
| 2021 | ASIACRYPT | PrORAM - Fast P(log | David Heath, Vladimir Kolesnikov |
| 2021 | ASIACRYPT | Garbling, Stacked and Staggered - Faster k-out-of-n Garbled Function Evaluation. | David Heath, Vladimir Kolesnikov, Stanislav Peceny |
| 2021 | CCS | One Hot Garbling. | David Heath, Vladimir Kolesnikov |
| 2021 | EuroCrypt | sf LogStack: Stacked Garbling with O(b log b) Computation. | David Heath, Vladimir Kolesnikov |
| 2021 | PKC | Masked Triples - Amortizing Multiplication Triples Across Conditionals. | David Heath, Vladimir Kolesnikov, Stanislav Peceny |
| 2021 | SP | Zero Knowledge for Everything and Everyone: Fast ZK Processor with Cached ORAM for ANSI C Programs. | David Heath, Yibin Yang, David Devecsery, Vladimir Kolesnikov |
| 2020 | ASIACRYPT | MOTIF: (Almost) Free Branching in GMW - Via Vector-Scalar Multiplication. | David Heath, Vladimir Kolesnikov, Stanislav Peceny |
| 2020 | CCS | A 2.1 KHz Zero-Knowledge Processor with BubbleRAM. | David Heath, Vladimir Kolesnikov |
| 2020 | CRYPTO | Stacked Garbling - Garbled Circuit Proportional to Longest Execution Path. | David Heath, Vladimir Kolesnikov |
| 2020 | EuroCrypt | Stacked Garbling for Disjunctive Zero-Knowledge Proofs. | David Heath, Vladimir Kolesnikov |
| 1997 | AAAI | The Historical Development of Computer Chess and its Impact on Artificial Intelligence. | David Heath, Derek Allum |