( en | de | ru )

 

Disambiguation of "Heath, David"

Author of the publication

copydeleteadd this publication to your clipboard
A 2.1 KHz Zero-Knowledge Processor with BubbleRAM.

, and . ACM Conference on Computer and Communications Security, page 2055-2074. ACM, (2020)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Ian Heath

Robert Heath

Heath King

Alexandra Heath-Freudenthal

Jonathan Heathcote

 

Other publications of authors with the same name

A 2.1 KHz Zero-Knowledge Processor with BubbleRAM., and . ACM Conference on Computer and Communications Security, page 2055-2074. ACM, (2020)Bond Pricing and the Term Structure of Interest Rates: A New Methodology for Contingent Claims Valuation, , and . Econometrica, 60 (1): 77--105 (1992)Garbling, Stacked and Staggered - Faster k-out-of-n Garbled Function Evaluation., , and . ASIACRYPT (2), volume 13091 of Lecture Notes in Computer Science, page 245-274. Springer, (2021)New Directions in Garbled Circuits.. Georgia Institute of Technology, Atlanta, GA, USA, (2022)base-search.net (ftgeorgiatech:oai:smartech.gatech.edu:1853/66604).Tri-State Circuits: A Better Model of Computation for Garbling., , and . IACR Cryptol. ePrint Arch., (2023)PrORAM: Fast O(log n) Private Coin ZK ORAM., and . IACR Cryptol. ePrint Arch., (2021)Efficient Generic Arithmetic for KKW - Practical Linear MPC-in-the-Head NIZK on Commodity Hardware Without Trusted Setup., , and . CSCML, volume 12716 of Lecture Notes in Computer Science, page 414-431. Springer, (2021)Towards Generic MPC Compilers via Variable Instruction Set Architectures (VISAs)., , , and . CCS, page 2516-2530. ACM, (2023)The Historical Development of Computer Chess and its Impact on Artificial Intelligence., and . Deep Blue Versus Kasparov: The Significance for Artificial Intelligence, page 63-. AAAI Press, (1997)Proofs as Relational Invariants of Synthesized Execution Grammars., , and . CoRR, (2017)