Yinon Horesh
Artificial Intelligence · 2017–2019
A researcher in the Science corpus: 3 papers; trusts 32 researchers and is trusted by 6 researchers here, as inferred from the citation graph.
Subfields
- Artificial Intelligence — 74 citations into it; #20,262 of 35,345 by trust here, #25,040 by citations
- Computational Theory and Mathematics — 54 citations into it; #6,729 of 12,182 by trust here, #6,798 by citations
- Privacy & Security — 19 citations into it
- Information Systems — 14 citations into it; #5,827 of 8,771 by trust here, #7,386 by citations
- Computer Networks and Communications — 12 citations into it
- Program Analysis & Verification — 9 citations into it
- Automated Theorem Proving & Formal Methods — 6 citations into it
Whom Yinon Horesh trusts overall
Their strongest outbound trust, strongest first, inferred from their citations.
- Eli Ben-Sasson
- Alessandro Chiesa
- Srinath T. V. Setty
- Silvio Micali
- Jens Groth
- Joe Kilian
- Bryan Parno
- Eran Tromer
- Yuval Ishai
- Craig Gentry
Who trusts Yinon Horesh overall
Papers from Yinon Horesh's perspective
Ordered by how strongly the researchers Yinon Horesh trusts endorse each paper. Same corpus, a different order for every researcher.
- The Knowledge Complexity of Interactive Proof Systems
- Checking computations in polylogarithmic time
- A note on efficient zero-knowledge proofs and arguments (extended abstract)
- Making argument systems for outsourced computation practical (sometimes)
- Resolving the conflict between generality and plausibility in verified computation
- Pinocchio: Nearly Practical Verifiable Computation
- Succinct Non-Interactive Zero Knowledge for a von Neumann Architecture
- Proof verification and hardness of approximation problems
- Recursive composition and bootstrapping for SNARKS and proof-carrying data
- How to Prove Yourself: Practical Solutions to Identification and Signature Problems
Their papers
- Scalable Zero Knowledge with No Trusted Setup (2019) — 252 citations
- Fast Reed-Solomon Interactive Oracle Proofs of Proximity (2017) — 303 citations
- Scalable, transparent, and post-quantum secure computational integrity (2018) — 708 citations