David Heath

79 papers A* 8A 1B 3Journal 48Unranked 18
YearRankTypeTitle / Venue / Authors
2026 J jnl
2PC Memory-Manipulating Programs with Constant Overhead.
IACR Cryptol. ePrint Arch.
David Heath
2026 J jnl
Asynchronous MPC with Abort.
IACR Cryptol. ePrint Arch.
Ananya Appan, David Heath, Ling Ren
2026 J jnl
Duty-Free Bits: Projectivizing Garbling Schemes.
IACR Cryptol. ePrint Arch.
Nakul Khambhati, Anwesh Bhattacharya, David Heath
2026 J jnl
Efficient Private Range Queries on Public Data.
IACR Cryptol. ePrint Arch.
Pranav Shriram Arunachalaramanan, Ananya Appan, David Heath, Ling Ren
2026 J jnl
How to Steal Oblivious Transfer from Minicrypt.
IACR Cryptol. ePrint Arch.
Cruz Barnum, David Heath
2026 J jnl
Oblivious Single Access Machines are Concretely Efficient.
IACR Cryptol. ePrint Arch.
Sage Pia, Ananya Appan, Maryam Rezapour, Amey Shukla, Nikhil Date, Benjamin Fuller, Ling Ren, David Heath
2025 J jnl
Adaptive Distributional Security: A Framework for Input-Adaptive Cryptography.
IACR Cryptol. ePrint Arch.
Cruz Barnum, David Heath
2025 J jnl
Authenticated Garbling with Tensor Gates.
IACR Cryptol. ePrint Arch.
David Heath, Nakul Khambhati, Rafail Ostrovsky, Turan Vural
2025 B conf
Investigating Mental Simulation and Mental Imagery Using Sentence-Picture Verification.
CogSci
Elaine C. Mooney, David Heath, Stephanie Huette
2025 J jnl
Linear-time and Logarithmically-sound Permutation and Multiset SNARKs.
IACR Cryptol. ePrint Arch.
Bing-Jyue Chen, Lilia Tang, David Heath, Daniel Kang
2025 J jnl
Minicrypt PRFs Do Not Admit Black-Box Oblivious Evaluations.
IACR Cryptol. ePrint Arch.
Cruz Barnum, Mohammad Hajiabadi, David Heath, Jake Januzelli, Namar Kumar, Mike Rosulek
2025 — conf
Multiparty Garbling from OT with Linear Scaling and RAM Support.
CRYPTO (4)
David Heath, Vladimir Kolesnikov, Varun Narayanan, Rafail Ostrovsky, Akash Shah
2025 J jnl
Multiparty Garbling from OT with Linear Scaling and RAM Support.
IACR Cryptol. ePrint Arch.
David Heath, Vladimir Kolesnikov, Varun Narayanan, Rafail Ostrovsky, Akash Shah
2025 J jnl
Oblivious Immutable Memory.
IACR Cryptol. ePrint Arch.
Ananya Appan, David Heath
2025 J jnl
Randomized Agreement, Verifiable Secret Sharing and Multi-Party Computation in Granular Synchrony.
IACR Cryptol. ePrint Arch.
Ananya Appan, David Heath, Ling Ren
2025 — conf
Randomized Agreement, Verifiable Secret Sharing and Multi-party Computation in Granular Synchrony.
ASIACRYPT (5)
Ananya Appan, David Heath, Ling Ren
2025 B conf
Social position as a constraint on linguistic alignment.
CogSci
David Heath, Stephanie Huette
2024 — conf
Efficient Arithmetic in Garbled Circuits.
EUROCRYPT (5)
David Heath
2024 J jnl
Efficient Arithmetic in Garbled Circuits.
IACR Cryptol. ePrint Arch.
David Heath
2024 — conf
Garbled Circuit Lookup Tables with Logarithmic Number of Ciphertexts.
EUROCRYPT (5)
David Heath, Vladimir Kolesnikov, Lucien K. L. Ng
2024 J jnl
Garbled Circuit Lookup Tables with Logarithmic Number of Ciphertexts.
IACR Cryptol. ePrint Arch.
David Heath, Vladimir Kolesnikov, Lucien K. L. Ng
2024 J jnl
LogRobin++: Optimizing Proofs of Disjunctive Statements in VOLE-Based ZK.
IACR Cryptol. ePrint Arch.
Carmit Hazay, David Heath, Vladimir Kolesnikov, Muthuramakrishnan Venkitasubramaniam, Yibin Yang
2024 A* conf
Oblivious Single Access Machines - A New Model for Oblivious Computation.
CCS
Ananya Appan, David Heath, Ling Ren
2024 J jnl
Oblivious Single Access Machines: A New Model for Oblivious Computation.
IACR Cryptol. ePrint Arch.
Ananya Appan, David Heath, Ling Ren
2024 J jnl
Scalable Metadata-Hiding for Privacy-Preserving IoT Systems.
Proc. Priv. Enhancing Technol.
Yunang Chen, David Heath, Rahul Chatterjee, Earlence Fernandes
2024 B conf
Spatial category learning: the influence of noise and familiarity on individuals.
CogSci
David Heath, Stephanie Huette
2024 A* conf
Tight ZK CPU: Batched ZK Branching with Cost Proportional to Evaluated Instruction.
CCS
Yibin Yang, David Heath, Carmit Hazay, Vladimir Kolesnikov, Muthuramakrishnan Venkitasubramaniam
2024 J jnl
Tight ZK CPU: Batched ZK Branching with Cost Proportional to Evaluated Instruction.
IACR Cryptol. ePrint Arch.
Yibin Yang, David Heath, Carmit Hazay, Vladimir Kolesnikov, Muthuramakrishnan Venkitasubramaniam
2024 A* conf
Two Shuffles Make a RAM: Improved Constant Overhead Zero Knowledge RAM.
USENIX Security Symposium
Yibin Yang, David Heath
2024 — conf
sfLogRobin++: Optimizing Proofs of Disjunctive Statements in VOLE-Based ZK.
ASIACRYPT (5)
Carmit Hazay, David Heath, Vladimir Kolesnikov, Muthuramakrishnan Venkitasubramaniam, Yibin Yang
2023 J jnl
Adaptive Garbled Circuits and Garbled RAM from Non-Programmable Random Oracles.
IACR Cryptol. ePrint Arch.
Cruz Barnum, David Heath, Vladimir Kolesnikov, Rafail Ostrovsky
2023 A* conf
Batchman and Robin: Batched and Non-batched Branching for Interactive ZK.
CCS
Yibin Yang, David Heath, Carmit Hazay, Vladimir Kolesnikov, Muthuramakrishnan Venkitasubramaniam
2023 J jnl
Batchman and Robin: Batched and Non-batched Branching for Interactive ZK.
IACR Cryptol. ePrint Arch.
Yibin Yang, David Heath, Carmit Hazay, Vladimir Kolesnikov, Muthuramakrishnan Venkitasubramaniam
2023 J jnl
Parallel RAM from Cyclic Circuits.
CoRR
David Heath
2023 J jnl
Symphony: Expressive Secure Multiparty Computation with Coordination.
CoRR
Ian Sweet, David Darais, David Heath, William Harris, Ryan Estes, Michael Hicks
2023 J jnl
Symphony: Expressive Secure Multiparty Computation with Coordination.
Art Sci. Eng. Program.
Ian Sweet, David Darais, David Heath, William Harris, Ryan Estes, Michael Hicks
2023 A* conf
Towards Generic MPC Compilers via Variable Instruction Set Architectures (VISAs).
CCS
Yibin Yang, Stanislav Peceny, David Heath, Vladimir Kolesnikov
2023 J jnl
Towards Generic MPC Compilers via Variable Instruction Set Architectures (VISAs).
IACR Cryptol. ePrint Arch.
Yibin Yang, Stanislav Peceny, David Heath, Vladimir Kolesnikov
2023 — conf
Tri-State Circuits - A Circuit Model that Captures RAM.
CRYPTO (4)
David Heath, Vladimir Kolesnikov, Rafail Ostrovsky
2023 J jnl
Tri-State Circuits: A Better Model of Computation for Garbling.
IACR Cryptol. ePrint Arch.
David Heath, Vladimir Kolesnikov, Rafail Ostrovsky
2023 J jnl
Tri-State Circuits: A Circuit Model that Captures RAM.
Electron. Colloquium Comput. Complex.
David Heath, Vladimir Kolesnikov, Rafail Ostrovsky
2023 J jnl
Two Shuffles Make a RAM: Improved Constant Overhead Zero Knowledge RAM.
IACR Cryptol. ePrint Arch.
Yibin Yang, David Heath
2022 J jnl
A 2.1 KHz Zero-Knowledge Processor with BubbleRAM.
IACR Cryptol. ePrint Arch.
David Heath, Vladimir Kolesnikov
2022 A conf
EZEE: Epoch Parallel Zero Knowledge for ANSI C.
EuroS&P
Yibin Yang, David Heath, Vladimir Kolesnikov, David Devecsery
2022 J jnl
EZEE: Epoch Parallel Zero Knowledge for ANSI C.
IACR Cryptol. ePrint Arch.
Yibin Yang, David Heath, Vladimir Kolesnikov, David Devecsery
2022 J jnl
Efficient Generic Arithmetic for KKW Practical Linear: MPC-in-the-Head NIZK on Commodity Hardware without Trusted Setup.
IACR Cryptol. ePrint Arch.
David Heath, Vladimir Kolesnikov, Jiahui Lu
2022 — conf
EpiGRAM: Practical Garbled RAM.
EUROCRYPT (1)
David Heath, Vladimir Kolesnikov, Rafail Ostrovsky
2022 J jnl
Garbled Circuits With Sublinear Evaluator.
IACR Cryptol. ePrint Arch.
Abida Haque, David Heath, Vladimir Kolesnikov, Steve Lu, Rafail Ostrovsky, Akash Shah
2022 — conf
Garbled Circuits with Sublinear Evaluator.
EUROCRYPT (1)
Abida Haque, David Heath, Vladimir Kolesnikov, Steve Lu, Rafail Ostrovsky, Akash Shah
2022 — —
New Directions in Garbled Circuits.
David Heath
2022 J jnl
One Hot Garbling.
IACR Cryptol. ePrint Arch.
David Heath, Vladimir Kolesnikov
2022 J jnl
Zero Knowledge for Everything and Everyone: Fast ZK Processor with Cached RAM for ANSI C Programs.
IACR Cryptol. ePrint Arch.
David Heath, Yibin Yang, David Devecsery, Vladimir Kolesnikov
2021 — conf
Efficient Generic Arithmetic for KKW - Practical Linear MPC-in-the-Head NIZK on Commodity Hardware Without Trusted Setup.
CSCML
David Heath, Vladimir Kolesnikov, Jiahui Lu
2021 — conf
Garbling, Stacked and Staggered - Faster k-out-of-n Garbled Function Evaluation.
ASIACRYPT (2)
David Heath, Vladimir Kolesnikov, Stanislav Peceny
2021 J jnl
Garbling, Stacked and Staggered: Faster k-out-of-n Garbled Function Evaluation.
IACR Cryptol. ePrint Arch.
David Heath, Vladimir Kolesnikov, Stanislav Peceny
2021 J jnl
LogStack: Stacked Garbling with O(b log b) Computation.
IACR Cryptol. ePrint Arch.
David Heath, Vladimir Kolesnikov
2021 — conf
Masked Triples - Amortizing Multiplication Triples Across Conditionals.
Public Key Cryptography (2)
David Heath, Vladimir Kolesnikov, Stanislav Peceny
2021 J jnl
Masked Triples: Amortizing Multiplication Triples across Conditionals.
IACR Cryptol. ePrint Arch.
David Heath, Vladimir Kolesnikov, Stanislav Peceny
2021 A* conf
One Hot Garbling.
CCS
David Heath, Vladimir Kolesnikov
2021 — conf
PrORAM - Fast P(log
ASIACRYPT (4)
David Heath, Vladimir Kolesnikov
2021 J jnl
PrORAM: Fast O(log n) Private Coin ZK ORAM.
IACR Cryptol. ePrint Arch.
David Heath, Vladimir Kolesnikov
2021 J jnl
Practical Garbled RAM: GRAM with O(log
IACR Cryptol. ePrint Arch.
David Heath, Vladimir Kolesnikov, Rafail Ostrovsky
2021 A* conf
Zero Knowledge for Everything and Everyone: Fast ZK Processor with Cached ORAM for ANSI C Programs.
SP
David Heath, Yibin Yang, David Devecsery, Vladimir Kolesnikov
2021 — conf
sf LogStack: Stacked Garbling with O(b log b) Computation.
EUROCRYPT (3)
David Heath, Vladimir Kolesnikov
2020 A* conf
A 2.1 KHz Zero-Knowledge Processor with BubbleRAM.
CCS
David Heath, Vladimir Kolesnikov
2020 — conf
MOTIF: (Almost) Free Branching in GMW - Via Vector-Scalar Multiplication.
ASIACRYPT (3)
David Heath, Vladimir Kolesnikov, Stanislav Peceny
2020 J jnl
MOTIF: (Almost) Free Branching in GMW via Vector-Scalar Multiplication.
IACR Cryptol. ePrint Arch.
David Heath, Vladimir Kolesnikov, Stanislav Peceny
2020 — conf
Stacked Garbling - Garbled Circuit Proportional to Longest Execution Path.
CRYPTO (2)
David Heath, Vladimir Kolesnikov
2020 — conf
Stacked Garbling for Disjunctive Zero-Knowledge Proofs.
EUROCRYPT (3)
David Heath, Vladimir Kolesnikov
2020 J jnl
Stacked Garbling for Disjunctive Zero-Knowledge Proofs.
IACR Cryptol. ePrint Arch.
David Heath, Vladimir Kolesnikov
2020 J jnl
Stacked Garbling: Garbled Circuit Proportional to Longest Execution Path.
IACR Cryptol. ePrint Arch.
David Heath, Vladimir Kolesnikov
2019 — conf
Relational Verification via Invariant-Guided Synchronization.
HCVS/PERR@ETAPS
Qi Zhou, David Heath, William Harris
2017 J jnl
Completely Automated Equivalence Proofs.
CoRR
Qi Zhou, David Heath, William Harris
2017 J jnl
Proofs as Relational Invariants of Synthesized Execution Grammars.
CoRR
Caleb Voss, David Heath, William Harris
2007 J jnl
Coherent multiperiod risk adjusted values and Bellman's principle.
Ann. Oper. Res.
Philippe Artzner, Freddy Delbaen, Jean-Marc Eber, David Heath, Hyejin Ku
2006 J jnl
Consistency among trading desks.
Finance Stochastics
David Heath, Hyejin Ku
1998 J jnl
Heavy Tails and Long Range Dependence in On/Off Processes and Associated Fluid Models.
Math. Oper. Res.
David Heath, Sidney Resnick, Gennady Samorodnitsky
1997 — conf
The Historical Development of Computer Chess and its Impact on Artificial Intelligence.
Deep Blue Versus Kasparov: The Significance for Artificial Intelligence
David Heath, Derek Allum
1988 J jnl
On learning through competition.
Neural Networks
David Heath, Carl Diegert