×
Edit Profile (opens in new tab)

Heath, David G.

Co-Author Distance
Author ID: heath.david-g Recent zbMATH articles by "Heath, David G."
Published as: Heath, David; Heath, David G.
Documents Indexed: 17 Publications since 1991
Co-Authors: 12 Co-Authors with 16 Joint Publications
369 Co-Co-Authors
all top 5

Co-Authors

0 single-authored
10 Kolesnikov, Vladimir
4 Kasif, Simon
3 Ostrovsky, Rafail
3 Peceny, Stanislav
3 Salzberg, Steven L.
2 Zhou, Qi
1 Chambers, Dwayne
1 Delcher, Arthur L.
1 Flapan, Erica
1 Haque, Abida
1 Kosaraju, Rao S.
1 Kosaraju, S. Rao
1 Lawrence, Emille Davie
1 Lu, Steve
1 Shah, Akash
1 Thatcher, Courtney M.
1 Vanderpool, Ruth

Serials

1 JETAI. Journal of Experimental & Theoretical Artificial Intelligence
1 Computational Geometry
1 Journal of Knot Theory and its Ramifications
all top 5

Fields

13 Computer science (68-XX)
10 Information and communication theory, circuits (94-XX)
1 Combinatorics (05-XX)
1 Manifolds and cell complexes (57-XX)
1 Game theory, economics, finance, and other social and behavioral sciences (91-XX)
1 Biology and other natural sciences (92-XX)

Publications by Year

all cited Publications top 5 cited Publications

Citations contained in zbMATH Open

13 Publications have been cited 65 times in 41 Documents Cited by ▼ Year ▼
Stacked garbling for disjunctive zero-knowledge proofs. Zbl 1531.94064
Heath, David; Kolesnikov, Vladimir
17
2020
Stacked garbling. Garbled circuit proportional to longest execution path. Zbl 07614587
Heath, David; Kolesnikov, Vladimir
13
2020
Learning with a helpful teacher. Zbl 0748.68065
Salzberg, Steven; Delcher, Arthur; Heath, David G.; Kasif, Simon
12
1991
LogStack: stacked garbling with \(O(b \log b)\) computation. Zbl 07440632
Heath, David; Kolesnikov, Vladimir
5
2021
MOTIF: (almost) free branching in GMW. Via vector-scalar multiplication. Zbl 07669165
Heath, David; Kolesnikov, Vladimir; Peceny, Stanislav
4
2020
Learning nested concept classes with limited storage. Zbl 0846.68088
Heath, David; Kasif, Simon; Kosaraju, Rao; Salzberg, Steven; Sullivan, Gregory
3
1996
The complexity of finding minimal Voronoi covers with applications to machine learning. Zbl 0801.68166
Heath, David G.; Kasif, Simon
2
1993
Masked triples. Amortizing multiplication triples across conditionals. Zbl 1479.94188
Heath, David; Kolesnikov, Vladimir; Peceny, Stanislav
2
2021
EpiGRAM: practical garbled RAM. Zbl 1497.68179
Heath, David; Kolesnikov, Vladimir; Ostrovsky, Rafail
2
2022
Garbling, stacked and staggered. Faster \(k\)-out-of-\(n\) garbled function evaluation. Zbl 1514.94098
Heath, David; Kolesnikov, Vladimir; Peceny, Stanislav
2
2021
Relational verification via invariant-guided synchronization. Zbl 1483.68216
Zhou, Qi; Heath, David; Harris, William
1
2019
PrORAM. Fast \(O(\log n)\) authenticated shares ZK ORAM. Zbl 1514.94097
Heath, David; Kolesnikov, Vladimir
1
2021
Garbled circuits with sublinear evaluator. Zbl 1496.94048
Haque, Abida; Heath, David; Kolesnikov, Vladimir; Lu, Steve; Ostrovsky, Rafail; Shah, Akash
1
2022
EpiGRAM: practical garbled RAM. Zbl 1497.68179
Heath, David; Kolesnikov, Vladimir; Ostrovsky, Rafail
2
2022
Garbled circuits with sublinear evaluator. Zbl 1496.94048
Haque, Abida; Heath, David; Kolesnikov, Vladimir; Lu, Steve; Ostrovsky, Rafail; Shah, Akash
1
2022
LogStack: stacked garbling with \(O(b \log b)\) computation. Zbl 07440632
Heath, David; Kolesnikov, Vladimir
5
2021
Masked triples. Amortizing multiplication triples across conditionals. Zbl 1479.94188
Heath, David; Kolesnikov, Vladimir; Peceny, Stanislav
2
2021
Garbling, stacked and staggered. Faster \(k\)-out-of-\(n\) garbled function evaluation. Zbl 1514.94098
Heath, David; Kolesnikov, Vladimir; Peceny, Stanislav
2
2021
PrORAM. Fast \(O(\log n)\) authenticated shares ZK ORAM. Zbl 1514.94097
Heath, David; Kolesnikov, Vladimir
1
2021
Stacked garbling for disjunctive zero-knowledge proofs. Zbl 1531.94064
Heath, David; Kolesnikov, Vladimir
17
2020
Stacked garbling. Garbled circuit proportional to longest execution path. Zbl 07614587
Heath, David; Kolesnikov, Vladimir
13
2020
MOTIF: (almost) free branching in GMW. Via vector-scalar multiplication. Zbl 07669165
Heath, David; Kolesnikov, Vladimir; Peceny, Stanislav
4
2020
Relational verification via invariant-guided synchronization. Zbl 1483.68216
Zhou, Qi; Heath, David; Harris, William
1
2019
Learning nested concept classes with limited storage. Zbl 0846.68088
Heath, David; Kasif, Simon; Kosaraju, Rao; Salzberg, Steven; Sullivan, Gregory
3
1996
The complexity of finding minimal Voronoi covers with applications to machine learning. Zbl 0801.68166
Heath, David G.; Kasif, Simon
2
1993
Learning with a helpful teacher. Zbl 0748.68065
Salzberg, Steven; Delcher, Arthur; Heath, David G.; Kasif, Simon
12
1991
all cited Publications top 5 cited Publications
all top 5

Cited by 91 Authors

10 Heath, David G.
8 Kolesnikov, Vladimir
3 Goel, Aarushi
3 Hall-Andersen, Mathias
3 Peceny, Stanislav
2 Baum, Carsten
2 Kaptchuk, Gabriel
2 Kasif, Simon
2 Ostrovsky, Rafail
2 Romanik, Kathleen
2 Salzberg, Steven L.
2 Scholl, Peter
1 Acharya, Anasuya
1 Anthony, Martin H. G.
1 Ashur, Tomer
1 Avitabile, Gennaro
1 Azrieli, Yaron
1 Barrett, Clark W.
1 Bootle, Jonathan
1 Botta, Vincenzo
1 Brightwell, Graham R.
1 Bshouty, Nader H.
1 Chiesa, Alessandro
1 Cohen, Efrat
1 Cui, Hongrui
1 De Angelis, Emanuele
1 De Saint Guilhem, Cyprien Delpech
1 Denis, François
1 Dittmer, Samuel J.
1 Ebrahimpour, Reza
1 Eiter, Thomas
1 Fioravanti, Fabio
1 Freivalds, Rūsiņš Mārtiņš
1 Friolo, Daniele
1 Gallagher, John P.
1 Garillot, François
1 Gilleron, Rémi
1 Gvili, Yaron
1 Ha, Julie
1 Hamidzadeh, Javad
1 Haque, Abida
1 Hazay, Carmit
1 Hegde, Aditya
1 Hermenegildo, Manuel V.
1 Ibaraki, Toshihide
1 Jain, Abhishek
1 Kabir, Ehsanollah
1 Kondi, Yashvanth
1 Kosaraju, Rao S.
1 Kremer, Gereon
1 Lehrer, Ehud
1 Lin, Wei-Kai
1 Liu, Siqi
1 Lu, Steve
1 Makino, Kazuhisa
1 Malozemoff, Alex J.
1 Mathias, H. David
1 Mohassel, Payman
1 Monsefi, Reza
1 Nikolaenko, Valeria
1 Ning, Jingyu
1 Okamoto, Seishi
1 Orsini, Emmanuela
1 Ozdemir, Alex
1 Park, Andrew William
1 Pettorossi, Alberto
1 Proietti, Maurizio
1 Rosen, Marc B.
1 Scheffler, Sarah
1 Servedio, Rocco A.
1 Shah, Akash
1 Shawe-Taylor, John
1 Shi, Elaine
1 Smith, Carl H.
1 Spooner, Nicholas
1 Tan, Zhenhua
1 Tanguy, Titouan
1 Tinelli, Cesare
1 Toussaint, Godfried Theodore
1 Varia, Mayank
1 Verbauwhede, Michiel
1 Visconti, Ivan
1 Wang, Xiao
1 Yanai, Avishay
1 Yang, Ziling
1 Yazdi, Hadi Sadoghi
1 Yousefi, Mohammad Reza
1 Yugami, Nobuhiro
1 Yukich, Joseph Elliott
1 Zhang, Kaiyi
1 Zhang, Xinyuan
all top 5

Cited in 14 Serials

4 Theoretical Computer Science
2 Computational Geometry
1 Discrete Applied Mathematics
1 Information Processing Letters
1 Journal of the Franklin Institute
1 Journal of Computer and System Sciences
1 Journal of Mathematical Psychology
1 JETAI. Journal of Experimental & Theoretical Artificial Intelligence
1 International Journal of Computational Geometry & Applications
1 The Annals of Applied Probability
1 Designs, Codes and Cryptography
1 Pattern Recognition
1 RAIRO. Theoretical Informatics and Applications
1 Theory and Practice of Logic Programming
all top 5

Cited in 9 Fields

30 Computer science (68-XX)
24 Information and communication theory, circuits (94-XX)
2 Mathematical logic and foundations (03-XX)
2 Quantum theory (81-XX)
1 Combinatorics (05-XX)
1 Order, lattices, ordered algebraic structures (06-XX)
1 Field theory and polynomials (12-XX)
1 Statistics (62-XX)
1 Game theory, economics, finance, and other social and behavioral sciences (91-XX)

Citations by Year