Jon Howell

Artificial Intelligence · 2002–2015

A researcher in the Science corpus: 5 papers; trusts 30 researchers and is trusted by 32 researchers here, as inferred from the citation graph.

Subfields

• Artificial Intelligence — 87 citations into it; #5,626 of 35,345 by trust here, #7,062 by citations
• Computational Theory and Mathematics — 42 citations into it
• Information Systems — 35 citations into it; #4,919 of 8,771 by trust here, #2,741 by citations
• Computer Networks and Communications — 33 citations into it
• Privacy & Security — 20 citations into it; #143 of 709 by trust here, #190 by citations
• Program Analysis & Verification — 9 citations into it; #27 of 301 by trust here, #16 by citations
• Automated Theorem Proving & Formal Methods — 8 citations into it
• Computer Vision and Pattern Recognition — 8 citations into it

Whom Jon Howell trusts overall

Their strongest outbound trust, strongest first, inferred from their citations.

1. Craig Gentry
2. Srinath T. V. Setty
3. Bryan Parno
4. Eli Ben-Sasson
5. Silvio Micali
6. Michael Backes
7. Sanjeev Arora
8. Rosario Gennaro
9. Dan Boneh
10. Michael Naehrig

Who trusts Jon Howell overall

1. Eli Ben-Sasson
2. Srinath T. V. Setty
3. Arjun Narayan
4. Justin Thaler
5. Michael Walfish
6. Dan Boneh
7. Alessandro Chiesa
8. Riad S. Wahby
9. Andrew Justin Blumberg
10. Henry Corrigan-Gibbs

Papers from Jon Howell's perspective

Ordered by how strongly the researchers Jon Howell trusts endorse each paper. Same corpus, a different order for every researcher.

1. The Knowledge Complexity of Interactive Proof Systems
2. Non-interactive Verifiable Computing: Outsourcing Computation to Untrusted Workers
3. Pinocchio: Nearly Practical Verifiable Computation
4. Fairplay - Secure Two-Party Computation System
5. Making argument systems for outsourced computation practical (sometimes)
6. Probabilistic checking of proofs: a new characterization of NP
7. Resolving the conflict between generality and plausibility in verified computation
8. Verifying computations with state
9. Recursive composition and bootstrapping for SNARKS and proof-carrying data
10. Computationally Sound Proofs

Their papers

• Asirra: a CAPTCHA that exploits interest-aligned manual image categorization (2007) — 605 citations
• Pinocchio: Nearly Practical Verifiable Computation (2013) — 1,238 citations
• Geppetto: Versatile Verifiable Computation (2015) — 241 citations
• IronFleet: proving practical distributed systems correct (2015) — 434 citations
• Farsite (2002) — 1,060 citations