David Heath

According to our database, David Heath authored at least 38 papers between 1988 and 2024.

Collaborative distances:

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

2024

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

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

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

Efficient Arithmetic in Garbled Circuits.

David Heath

IACR Cryptol. ePrint Arch., 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

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

Yibin Yang, Stanislav Peceny, David Heath, Vladimir Kolesnikov

IACR Cryptol. ePrint Arch., 2023

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

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

IACR Cryptol. ePrint Arch., 2023

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

Yibin Yang, David Heath

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

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 Circuit Model that Captures RAM.

David Heath, Vladimir Kolesnikov, Rafail Ostrovsky

Electron. Colloquium Comput. Complex., 2023

Parallel RAM from Cyclic Circuits.

David Heath

CoRR, 2023

2022

New Directions in Garbled Circuits.

David Heath

PhD thesis, 2022

EZEE: Epoch Parallel Zero Knowledge for ANSI C.

Yibin Yang, David Heath, Vladimir Kolesnikov, David Devecsery

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, David Devecsery, 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

A 2.1 KHz Zero-Knowledge Processor with BubbleRAM.

David Heath, Vladimir Kolesnikov

IACR Cryptol. ePrint Arch., 2022

One Hot Garbling.

David Heath, Vladimir Kolesnikov

IACR Cryptol. ePrint Arch., 2022

Garbled Circuits With Sublinear Evaluator.

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

IACR Cryptol. ePrint Arch., 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

2021

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

David Heath, Vladimir Kolesnikov, Stanislav Peceny

IACR Cryptol. ePrint Arch., 2021

Masked Triples: Amortizing Multiplication Triples across Conditionals.

David Heath, Vladimir Kolesnikov, Stanislav Peceny

IACR Cryptol. ePrint Arch., 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

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

David Heath, Vladimir Kolesnikov

Proceedings of the Advances in Cryptology - EUROCRYPT 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

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

David Heath, Vladimir Kolesnikov, Stanislav Peceny

IACR Cryptol. ePrint Arch., 2020

Stacked Garbling: Garbled Circuit Proportional to Longest Execution Path.

David Heath, Vladimir Kolesnikov

IACR Cryptol. ePrint Arch., 2020

Stacked Garbling for Disjunctive Zero-Knowledge Proofs.

David Heath, Vladimir Kolesnikov

IACR Cryptol. ePrint Arch., 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