David Heath - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 46 from 46

2024

Tight ZK CPU: Batched ZK Branching with Cost Proportional to Evaluated InstructionYibin Yang 0001, David Heath, Carmit Hazay, Vladimir Kolesnikov, Muthuramakrishnan Venkitasubramaniam. iacr, 2024:456, 2024. [doi]

Garbled Circuit Lookup Tables with Logarithmic Number of CiphertextsDavid Heath, Vladimir Kolesnikov, Lucien K. L. Ng. iacr, 2024:369, 2024. [doi]

Efficient Arithmetic in Garbled CircuitsDavid Heath. iacr, 2024:139, 2024. [doi]

2023

Towards Generic MPC Compilers via Variable Instruction Set Architectures (VISAs)Yibin Yang 0001, Stanislav Peceny, David Heath, Vladimir Kolesnikov. iacr, 2023:953, 2023. [doi]

Adaptive Garbled Circuits and Garbled RAM from Non-Programmable Random OraclesCruz Barnum, David Heath, Vladimir Kolesnikov, Rafail Ostrovsky. iacr, 2023:1527, 2023. [doi]

Tri-State Circuits: A Circuit Model that Captures RAMDavid Heath, Vladimir Kolesnikov, Rafail Ostrovsky. eccc, TR23, 2023. [doi]

Tri-State Circuits - A Circuit Model that Captures RAMDavid Heath, Vladimir Kolesnikov, Rafail Ostrovsky. crypto 2023: 128-160 [doi]

Symphony: Expressive Secure Multiparty Computation with CoordinationIan Sweet, David Darais, David Heath, William Harris, Ryan Estes, Michael Hicks 0001. Programming, 7(3), February 2023. [doi]

Batchman and Robin: Batched and Non-batched Branching for Interactive ZKYibin Yang, David Heath, Carmit Hazay, Vladimir Kolesnikov, Muthuramakrishnan Venkitasubramaniam. ccs 2023: 1452-1466 [doi]

Towards Generic MPC Compilers via Variable Instruction Set Architectures (VISAs)Yibin Yang, Stanislav Peceny, David Heath, Vladimir Kolesnikov. ccs 2023: 2516-2530 [doi]

Batchman and Robin: Batched and Non-batched Branching for Interactive ZKYibin Yang, David Heath, Carmit Hazay, Vladimir Kolesnikov, Muthuramakrishnan Venkitasubramaniam. iacr, 2023:1257, 2023. [doi]

Two Shuffles Make a RAM: Improved Constant Overhead Zero Knowledge RAMYibin Yang, David Heath. iacr, 2023:1115, 2023. [doi]

2022

Garbled Circuits With Sublinear EvaluatorAbida Haque, David Heath, Vladimir Kolesnikov, Steve Lu, Rafail Ostrovsky, Akash Shah. iacr, 2022:797, 2022. [doi]

Garbled Circuits with Sublinear EvaluatorAbida Haque, David Heath, Vladimir Kolesnikov, Steve Lu, Rafail Ostrovsky, Akash Shah. eurocrypt 2022: 37-64 [doi]

New Directions in Garbled CircuitsDavid Heath. PhD thesis, Georgia Institute of Technology, Atlanta, GA, USA, 2022. [doi]

One Hot GarblingDavid Heath, Vladimir Kolesnikov. iacr, 2022:798, 2022. [doi]

A 2.1 KHz Zero-Knowledge Processor with BubbleRAMDavid Heath, Vladimir Kolesnikov. iacr, 2022:809, 2022. [doi]

Efficient Generic Arithmetic for KKW Practical Linear: MPC-in-the-Head NIZK on Commodity Hardware without Trusted SetupDavid Heath, Vladimir Kolesnikov, Jiahui Lu. iacr, 2022:795, 2022. [doi]

EpiGRAM: Practical Garbled RAMDavid Heath, Vladimir Kolesnikov, Rafail Ostrovsky. eurocrypt 2022: 3-33 [doi]

Zero Knowledge for Everything and Everyone: Fast ZK Processor with Cached RAM for ANSI C ProgramsDavid Heath, Yibin Yang, David Devecsery, Vladimir Kolesnikov. iacr, 2022:810, 2022. [doi]

EZEE: Epoch Parallel Zero Knowledge for ANSI CYibin Yang, David Heath, Vladimir Kolesnikov, David Devecsery. eurosp 2022: 109-123 [doi]

EZEE: Epoch Parallel Zero Knowledge for ANSI CYibin Yang, David Heath, Vladimir Kolesnikov, David Devecsery. iacr, 2022:811, 2022. [doi]

2021

LogStack: Stacked Garbling with O(b log b) ComputationDavid Heath, Vladimir Kolesnikov. iacr, 2021:531, 2021. [doi]

PrORAM: Fast O(log n) Private Coin ZK ORAMDavid Heath, Vladimir Kolesnikov. iacr, 2021:587, 2021. [doi]

2 n) OverheadDavid Heath, Vladimir Kolesnikov, Rafail Ostrovsky. iacr, 2021:1519, 2021. [doi]

Efficient Generic Arithmetic for KKW - Practical Linear MPC-in-the-Head NIZK on Commodity Hardware Without Trusted SetupDavid Heath, Vladimir Kolesnikov, Jiahui Lu. cscml 2021: 414-431 [doi]

n) Authenticated Shares ZK ORAMDavid Heath, Vladimir Kolesnikov. asiacrypt 2021: 495-525 [doi]

One Hot GarblingDavid Heath, Vladimir Kolesnikov. ccs 2021: 574-593 [doi]

sf LogStack: Stacked Garbling with O(b log b) ComputationDavid Heath, Vladimir Kolesnikov. eurocrypt 2021: 3-32 [doi]

Masked Triples: Amortizing Multiplication Triples across ConditionalsDavid Heath, Vladimir Kolesnikov, Stanislav Peceny. iacr, 2021:604, 2021. [doi]

Garbling, Stacked and Staggered: Faster k-out-of-n Garbled Function EvaluationDavid Heath, Vladimir Kolesnikov, Stanislav Peceny. iacr, 2021:1590, 2021. [doi]

Garbling, Stacked and Staggered - Faster k-out-of-n Garbled Function EvaluationDavid Heath, Vladimir Kolesnikov, Stanislav Peceny. asiacrypt 2021: 245-274 [doi]

Masked Triples - Amortizing Multiplication Triples Across ConditionalsDavid Heath, Vladimir Kolesnikov, Stanislav Peceny. pkc 2021: 319-348 [doi]

Zero Knowledge for Everything and Everyone: Fast ZK Processor with Cached ORAM for ANSI C ProgramsDavid Heath, Yibin Yang, David Devecsery, Vladimir Kolesnikov. sp 2021: 1538-1556 [doi]

2020

Stacked Garbling: Garbled Circuit Proportional to Longest Execution PathDavid Heath, Vladimir Kolesnikov. iacr, 2020:973, 2020. [doi]

Stacked Garbling for Disjunctive Zero-Knowledge ProofsDavid Heath, Vladimir Kolesnikov. iacr, 2020:136, 2020. [doi]

Stacked Garbling for Disjunctive Zero-Knowledge ProofsDavid Heath, Vladimir Kolesnikov. eurocrypt 2020: 569-598 [doi]

A 2.1 KHz Zero-Knowledge Processor with BubbleRAMDavid Heath, Vladimir Kolesnikov. ccs 2020: 2055-2074 [doi]

Stacked Garbling - Garbled Circuit Proportional to Longest Execution PathDavid Heath, Vladimir Kolesnikov. crypto 2020: 763-792 [doi]

MOTIF: (Almost) Free Branching in GMW via Vector-Scalar MultiplicationDavid Heath, Vladimir Kolesnikov, Stanislav Peceny. iacr, 2020:1175, 2020. [doi]

MOTIF: (Almost) Free Branching in GMW - Via Vector-Scalar MultiplicationDavid Heath, Vladimir Kolesnikov, Stanislav Peceny. asiacrypt 2020: 3-30 [doi]

2007

Coherent multiperiod risk adjusted values and Bellman s principlePhilippe Artzner, Freddy Delbaen, Jean-Marc Eber, David Heath, Hyejin Ku. anor, 152(1):5-22, 2007. [doi]

2006

Consistency among trading desksDavid Heath, Hyejin Ku. fs, 10(3):331-340, 2006. [doi]

1998

Heavy Tails and Long Range Dependence in On/Off Processes and Associated Fluid ModelsDavid Heath, Sidney Resnick, Gennady Samorodnitsky. mor, 23(1):145-165, 1998. [doi]

1997

The Historical Development of Computer Chess and its Impact on Artificial IntelligenceDavid Heath, Derek Allum. AAAI 1997: 63

1988

On learning through competitionDavid Heath, Carl Diegert. NN, 1(Supplement-1):100, 1988. [doi]

All Publications

Filter by Year
OR AND NOT 1

Filter by Type
OR AND NOT 1

Filter by Tag
OR AND NOT 1

Filter by Venue
OR AND NOT 1

Filter by Author

[+]
OR AND NOT 1

Filter by Top Terms

[+]
OR AND NOT 1

Researchr

Publications by 'David Heath'

Viewing Publication 1 - 46 from 46

2024

2023

2022

2021

2020

2007

2006

1998

1997

1988

All Publications

Filter by YearOR AND NOT 1

Filter by TypeOR AND NOT 1

Filter by TagOR AND NOT 1

Filter by VenueOR AND NOT 1

Filter by Author [+]OR AND NOT 1

Filter by Top Terms [+]OR AND NOT 1

Researchr

Publications by 'David Heath'

Viewing Publication 1 - 46 from 46

2024

2023

2022

2021

2020

2007

2006

1998

1997

1988

Filter by Year
OR AND NOT 1

Filter by Type
OR AND NOT 1

Filter by Tag
OR AND NOT 1

Filter by Venue
OR AND NOT 1

Filter by Author

[+]
OR AND NOT 1

Filter by Top Terms

[+]
OR AND NOT 1