Mark Silberstein

Artificial Intelligence · 2003–2018

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

Subfields

• Artificial Intelligence — 54 citations into it
• Computational Theory and Mathematics — 19 citations into it
• Signal Processing — 14 citations into it

Whom Mark Silberstein trusts overall

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

1. Eli Ben-Sasson

Papers from Mark Silberstein's perspective

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

1. Shielding Applications from an Untrusted Cloud with Haven
2. Using innovative instructions to create trustworthy software solutions
3. Pinocchio: Nearly Practical Verifiable Computation
4. Checking computations in polylogarithmic time
5. Innovative Technology for CPU Based Attestation and Sealing
6. The Knowledge Complexity of Interactive Proof Systems
7. Non-interactive Verifiable Computing: Outsourcing Computation to Untrusted Workers
8. Quadratic Span Programs and Succinct NIZKs without PCPs
9. Making argument systems for outsourced computation practical (sometimes)
10. Succinct Non-Interactive Zero Knowledge for a von Neumann Architecture

Their papers

• Computational Integrity with a Public Random String from Quasi-Linear PCPs (2017) — 74 citations
• A 90nm high volume manufacturing logic technology featuring novel 45nm gate length strained silicon CMOS transistors (2003) — 590 citations
• Foreshadow: Extracting the Keys to the Intel SGX Kingdom with Transient Out-of-Order Execution (2018) — 1,209 citations
• Foreshadow-NG: Breaking the virtual memory abstraction with transient out-of-order execution (2018) — 196 citations
• Eleos: ExitLess OS Services for SGX Enclaves (2017) — 230 citations