Joshua B. Leners

Artificial Intelligence · 2017

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

Subfields

• Artificial Intelligence — 21 citations into it
• Information Systems — 10 citations into it
• Signal Processing — 7 citations into it

Whom Joshua B. Leners trusts overall

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

1. Jonathan M. McCune
2. Bryan Parno

Papers from Joshua B. Leners's perspective

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

1. Shielding Applications from an Untrusted Cloud with Haven
2. Verifying computations with state
3. Flicker: an execution infrastructure for tcb minimization (European Conference on Computer Systems)
4. Non-interactive Verifiable Computing: Outsourcing Computation to Untrusted Workers
5. Pinocchio: Nearly Practical Verifiable Computation
6. Checking computations in polylogarithmic time
7. Overshadow: a virtualization-based approach to retrofitting protection in commodity operating systems (International Conference on Architectural Support for Programming Languages and Operating Systems)
8. Succinct Non-Interactive Zero Knowledge for a von Neumann Architecture
9. TrustVisor: Efficient TCB Reduction and Attestation
10. Making argument systems for outsourced computation practical (sometimes)

Their papers

• The Efficient Server Audit Problem, Deduplicated Re-execution, and the Web (2017) — 25 citations