David Heath

Publication Activity (10 Years)

Years Active: 1988-2024
Publications (10 Years): 51

Top Topics

Scalar Multiplication

Instruction Set Architecture

Commodity Hardware

Knowledge Acquisition

Top Venues

IACR Cryptol. ePrint Arch.

Publications

David Heath
Efficient Arithmetic in Garbled Circuits. IACR Cryptol. ePrint Arch. 2024 (2024)
David Heath, Vladimir Kolesnikov, Lucien K. L. Ng
Garbled Circuit Lookup Tables with Logarithmic Number of Ciphertexts. EUROCRYPT (5) (2024)
Ananya Appan, David Heath, Ling Ren
Oblivious Single Access Machines: A New Model for Oblivious Computation. IACR Cryptol. ePrint Arch. 2024 (2024)
Yibin Yang, David Heath
Two Shuffles Make a RAM: Improved Constant Overhead Zero Knowledge RAM. USENIX Security Symposium (2024)
David Heath
Efficient Arithmetic in Garbled Circuits. EUROCRYPT (5) (2024)
David Heath, Vladimir Kolesnikov, Lucien K. L. Ng
Garbled Circuit Lookup Tables with Logarithmic Number of Ciphertexts. IACR Cryptol. ePrint Arch. 2024 (2024)
Yibin Yang, David Heath, Carmit Hazay, Vladimir Kolesnikov, Muthuramakrishnan Venkitasubramaniam
Tight ZK CPU: Batched ZK Branching with Cost Proportional to Evaluated Instruction. IACR Cryptol. ePrint Arch. 2024 (2024)
Yunang Chen, David Heath, Rahul Chatterjee, Earlence Fernandes
Scalable Metadata-Hiding for Privacy-Preserving IoT Systems. Proc. Priv. Enhancing Technol. 2024 (4) (2024)
David Heath, Vladimir Kolesnikov, Rafail Ostrovsky
Tri-State Circuits: A Better Model of Computation for Garbling. IACR Cryptol. ePrint Arch. 2023 (2023)
Yibin Yang, Stanislav Peceny, David Heath, Vladimir Kolesnikov
Towards Generic MPC Compilers via Variable Instruction Set Architectures (VISAs). CCS (2023)
David Heath
Parallel RAM from Cyclic Circuits. CoRR (2023)
Cruz Barnum, David Heath, Vladimir Kolesnikov, Rafail Ostrovsky
Adaptive Garbled Circuits and Garbled RAM from Non-Programmable Random Oracles. IACR Cryptol. ePrint Arch. 2023 (2023)
Ian Sweet, David Darais, David Heath, William Harris, Ryan Estes, Michael Hicks
Symphony: Expressive Secure Multiparty Computation with Coordination. CoRR (2023)
Yibin Yang, David Heath
Two Shuffles Make a RAM: Improved Constant Overhead Zero Knowledge RAM. IACR Cryptol. ePrint Arch. 2023 (2023)
Yibin Yang, Stanislav Peceny, David Heath, Vladimir Kolesnikov
Towards Generic MPC Compilers via Variable Instruction Set Architectures (VISAs). IACR Cryptol. ePrint Arch. 2023 (2023)
Ian Sweet, David Darais, David Heath, William Harris, Ryan Estes, Michael Hicks
Symphony: Expressive Secure Multiparty Computation with Coordination. Art Sci. Eng. Program. 7 (3) (2023)
Yibin Yang, David Heath, Carmit Hazay, Vladimir Kolesnikov, Muthuramakrishnan Venkitasubramaniam
Batchman and Robin: Batched and Non-batched Branching for Interactive ZK. CCS (2023)
Yibin Yang, David Heath, Carmit Hazay, Vladimir Kolesnikov, Muthuramakrishnan Venkitasubramaniam
Batchman and Robin: Batched and Non-batched Branching for Interactive ZK. IACR Cryptol. ePrint Arch. 2023 (2023)
David Heath, Vladimir Kolesnikov, Rafail Ostrovsky
Tri-State Circuits: A Circuit Model that Captures RAM. Electron. Colloquium Comput. Complex. (2023)
David Heath, Vladimir Kolesnikov, Rafail Ostrovsky
Tri-State Circuits - A Circuit Model that Captures RAM. CRYPTO (4) (2023)
Abida Haque, David Heath, Vladimir Kolesnikov, Steve Lu, Rafail Ostrovsky, Akash Shah
Garbled Circuits With Sublinear Evaluator. IACR Cryptol. ePrint Arch. 2022 (2022)
David Heath, Vladimir Kolesnikov
A 2.1 KHz Zero-Knowledge Processor with BubbleRAM. IACR Cryptol. ePrint Arch. 2022 (2022)
David Heath, Vladimir Kolesnikov, Jiahui Lu
Efficient Generic Arithmetic for KKW Practical Linear: MPC-in-the-Head NIZK on Commodity Hardware without Trusted Setup. IACR Cryptol. ePrint Arch. 2022 (2022)
Abida Haque, David Heath, Vladimir Kolesnikov, Steve Lu, Rafail Ostrovsky, Akash Shah
Garbled Circuits with Sublinear Evaluator. EUROCRYPT (1) (2022)
David Heath, Yibin Yang, David Devecsery, Vladimir Kolesnikov
Zero Knowledge for Everything and Everyone: Fast ZK Processor with Cached RAM for ANSI C Programs. IACR Cryptol. ePrint Arch. 2022 (2022)
David Heath, Vladimir Kolesnikov, Rafail Ostrovsky
EpiGRAM: Practical Garbled RAM. EUROCRYPT (1) (2022)
Yibin Yang, David Heath, Vladimir Kolesnikov, David Devecsery
EZEE: Epoch Parallel Zero Knowledge for ANSI C. IACR Cryptol. ePrint Arch. 2022 (2022)
David Heath, Vladimir Kolesnikov
One Hot Garbling. IACR Cryptol. ePrint Arch. 2022 (2022)
Yibin Yang, David Heath, Vladimir Kolesnikov, David Devecsery
EZEE: Epoch Parallel Zero Knowledge for ANSI C. EuroS&P (2022)
David Heath, Vladimir Kolesnikov
sf LogStack: Stacked Garbling with O(b log b) Computation. EUROCRYPT (3) (2021)
David Heath, Vladimir Kolesnikov
LogStack: Stacked Garbling with O(b log b) Computation. IACR Cryptol. ePrint Arch. 2021 (2021)
David Heath, Vladimir Kolesnikov
PrORAM: Fast O(log n) Private Coin ZK ORAM. IACR Cryptol. ePrint Arch. 2021 (2021)
David Heath, Vladimir Kolesnikov
One Hot Garbling. CCS (2021)
David Heath, Vladimir Kolesnikov, Stanislav Peceny
Garbling, Stacked and Staggered - Faster k-out-of-n Garbled Function Evaluation. ASIACRYPT (2) (2021)
David Heath, Yibin Yang, David Devecsery, Vladimir Kolesnikov
Zero Knowledge for Everything and Everyone: Fast ZK Processor with Cached ORAM for ANSI C Programs. IEEE Symposium on Security and Privacy (2021)
David Heath, Vladimir Kolesnikov, Stanislav Peceny
Masked Triples: Amortizing Multiplication Triples across Conditionals. IACR Cryptol. ePrint Arch. 2021 (2021)
David Heath, Vladimir Kolesnikov, Stanislav Peceny
Masked Triples - Amortizing Multiplication Triples Across Conditionals. Public Key Cryptography (2) (2021)
David Heath, Vladimir Kolesnikov, Rafail Ostrovsky
n) Overhead. IACR Cryptol. ePrint Arch. 2021 (2021)
David Heath, Vladimir Kolesnikov
) Authenticated Shares ZK ORAM. ASIACRYPT (4) (2021)
David Heath, Vladimir Kolesnikov, Jiahui Lu
Efficient Generic Arithmetic for KKW - Practical Linear MPC-in-the-Head NIZK on Commodity Hardware Without Trusted Setup. CSCML (2021)
David Heath, Vladimir Kolesnikov, Stanislav Peceny
Garbling, Stacked and Staggered: Faster k-out-of-n Garbled Function Evaluation. IACR Cryptol. ePrint Arch. 2021 (2021)
David Heath, Vladimir Kolesnikov
Stacked Garbling for Disjunctive Zero-Knowledge Proofs. EUROCRYPT (3) (2020)
David Heath, Vladimir Kolesnikov, Stanislav Peceny
MOTIF: (Almost) Free Branching in GMW via Vector-Scalar Multiplication. IACR Cryptol. ePrint Arch. 2020 (2020)
David Heath, Vladimir Kolesnikov
A 2.1 KHz Zero-Knowledge Processor with BubbleRAM. CCS (2020)
David Heath, Vladimir Kolesnikov
Stacked Garbling: Garbled Circuit Proportional to Longest Execution Path. IACR Cryptol. ePrint Arch. 2020 (2020)
David Heath, Vladimir Kolesnikov, Stanislav Peceny
MOTIF: (Almost) Free Branching in GMW - Via Vector-Scalar Multiplication. ASIACRYPT (3) (2020)
David Heath, Vladimir Kolesnikov
Stacked Garbling for Disjunctive Zero-Knowledge Proofs. IACR Cryptol. ePrint Arch. 2020 (2020)
David Heath, Vladimir Kolesnikov
Stacked Garbling - Garbled Circuit Proportional to Longest Execution Path. CRYPTO (2) (2020)
Qi Zhou, David Heath, William Harris
Relational Verification via Invariant-Guided Synchronization. HCVS/PERR@ETAPS (2019)
Caleb Voss, David Heath, William Harris
Proofs as Relational Invariants of Synthesized Execution Grammars. CoRR (2017)
Qi Zhou, David Heath, William Harris
Completely Automated Equivalence Proofs. CoRR (2017)
Philippe Artzner, Freddy Delbaen, Jean-Marc Eber, David Heath, Hyejin Ku
Coherent multiperiod risk adjusted values and Bellman's principle. Ann. Oper. Res. 152 (1) (2007)
David Heath, Hyejin Ku
Consistency among trading desks. Finance Stochastics 10 (3) (2006)
David Heath, Sidney Resnick, Gennady Samorodnitsky
Heavy Tails and Long Range Dependence in On/Off Processes and Associated Fluid Models. Math. Oper. Res. 23 (1) (1998)
David Heath, Derek Allum
The Historical Development of Computer Chess and its Impact on Artificial Intelligence. Deep Blue Versus Kasparov: The Significance for Artificial Intelligence (1997)
David Heath, Carl Diegert
On learning through competition. Neural Networks 1 (Supplement-1) (1988)