Max Howald

Artificial Intelligence · 2016

A researcher in the Science corpus: 1 paper; trusts 3 researchers and is trusted by 1 researcher here, as inferred from the citation graph.

Subfields

• Artificial Intelligence — 26 citations into it; #32,525 of 35,345 by trust here, #28,481 by citations
• Hardware and Architecture — 16 citations into it; #1,361 of 1,551 by trust here, #1,220 by citations
• Computational Theory and Mathematics — 14 citations into it
• Information Systems — 6 citations into it

Whom Max Howald trusts overall

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

1. Justin Thaler
2. Adi Shamir
3. Daniel J. Bernstein
4. Rosario Gennaro
5. Srinath T. V. Setty
6. Craig Gentry

Who trusts Max Howald overall

1. Srinath T. V. Setty

Papers from Max Howald's perspective

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

1. The Knowledge Complexity of Interactive Proof Systems
2. Pinocchio: Nearly Practical Verifiable Computation
3. Making argument systems for outsourced computation practical (sometimes)
4. Recursive composition and bootstrapping for SNARKS and proof-carrying data
5. Delegating computation: interactive proofs for muggles
6. Resolving the conflict between generality and plausibility in verified computation
7. Quadratic Span Programs and Succinct NIZKs without PCPs
8. IP = PSPACE
9. Taking Proof-Based Verified Computation a Few Steps Closer to Practicality
10. A Hybrid Architecture for Interactive Verifiable Computation

Their papers

• Verifiable ASICs (2016) — 78 citations