Benjamin Braun
Artificial Intelligence · with Blumberg · 2012–2013
A researcher in the Science corpus: 3 papers; trusts 25 researchers and is trusted by 14 researchers here, as inferred from the citation graph.
Subfields
- Artificial Intelligence — 67 citations into it; #9,642 of 35,345 by trust here, #11,490 by citations
- Computational Theory and Mathematics — 38 citations into it; #5,604 of 12,182 by trust here, #3,562 by citations
- Computer Networks and Communications — 20 citations into it; #6,668 of 9,886 by trust here, #3,993 by citations
- Privacy & Security — 18 citations into it
- Information Systems — 13 citations into it
- Algorithms & Complexity — 10 citations into it
- Program Analysis & Verification — 8 citations into it; #167 of 301 by trust here, #102 by citations
- Hardware and Architecture — 6 citations into it
Whom Benjamin Braun trusts overall
Their strongest outbound trust, strongest first, inferred from their citations.
- Craig Gentry
- Srinath T. V. Setty
- Bryan Parno
- Shafi Goldwasser
- Sanjeev Arora
- Joe Kilian
- Oded Regev
- Torben P. Pedersen
- Silvio Micali
- Rosario Gennaro
Who trusts Benjamin Braun overall
- Srinath T. V. Setty
- Eli Ben-Sasson
- Riad S. Wahby
- Arjun Narayan
- Justin Thaler
- Michael Walfish
- Bryan Parno
- Alessandro Chiesa
- Andrew Justin Blumberg
- Yupeng Zhang
Papers from Benjamin Braun's perspective
Ordered by how strongly the researchers Benjamin Braun trusts endorse each paper. Same corpus, a different order for every researcher.
- Non-interactive Verifiable Computing: Outsourcing Computation to Untrusted Workers
- The Knowledge Complexity of Interactive Proof Systems
- Checking computations in polylogarithmic time
- A note on efficient zero-knowledge proofs and arguments (extended abstract)
- Improved Delegation of Computation using Fully Homomorphic Encryption
- Fairplay - Secure Two-Party Computation System
- Public-Key Cryptosystems Based on Composite Degree Residuosity Classes
- Probabilistic checking of proofs: a new characterization of NP
- From extractable collision resistance to succinct non-interactive arguments of knowledge, and back again
- Computationally Sound Proofs
Their papers
- Resolving the conflict between generality and plausibility in verified computation (2013) — 157 citations
- Verifying computations with state (2013) — 209 citations
- Taking Proof-Based Verified Computation a Few Steps Closer to Practicality (2012) — 195 citations