Daniel Genkin
Artificial Intelligence · 2013–2019
A researcher in the Science corpus: 14 papers; trusts 32 researchers and is trusted by 23 researchers here, as inferred from the citation graph.
Subfields
- Artificial Intelligence — 223 citations into it; #6,342 of 35,345 by trust here, #4,772 by citations
- Computational Theory and Mathematics — 79 citations into it; #1,555 of 12,182 by trust here, #836 by citations
- Signal Processing — 66 citations into it
- Information Systems — 48 citations into it
- Hardware and Architecture — 43 citations into it
- Privacy & Security — 39 citations into it
- Program Analysis & Verification — 12 citations into it
- Automated Theorem Proving & Formal Methods — 9 citations into it
Whom Daniel Genkin trusts overall
Their strongest outbound trust, strongest first, inferred from their citations.
- Yuval Yarom
- Daniel Gruss
- Eli Ben-Sasson
- Craig Gentry
- Eran Tromer
- Onur Aciiçmez
- Jens Groth
- Rooju Chokshi
- Nir Bitansky
- Sanjeev Arora
Who trusts Daniel Genkin overall
- Eli Ben-Sasson
- Mohammadkazem Taram
- Fatemehsadat Mireshghallah
- Alessandro Chiesa
- Iddo Bentov
- Masoud Rostami
- Srinath T. V. Setty
- Riad S. Wahby
- Dan Boneh
- Michael Walfish
Papers from Daniel Genkin's perspective
Ordered by how strongly the researchers Daniel Genkin trusts endorse each paper. Same corpus, a different order for every researcher.
- Cache Attacks and Countermeasures: The Case of AES (The Cryptographer's Track at RSA Conference)
- Cross-Tenant Side-Channel Attacks in PaaS Clouds (Conference on Computer and Communications Security)
- How to Prove Yourself: Practical Solutions to Identification and Signature Problems
- The Knowledge Complexity of Interactive Proof Systems
- Software Grand Exposure: SGX Cache Attacks Are Practical
- Efficient Cache Attacks on AES, and Countermeasures (Journal of Cryptology)
- Checking computations in polylogarithmic time
- This paper is included in the Proceedings of the 12th USENIX Symposium on Operating Systems Design and Implementation (OSDI ’16).
- Non-interactive Verifiable Computing: Outsourcing Computation to Untrusted Workers
- Cross-VM side channels and their use to extract private keys (Conference on Computer and Communications Security)
Their papers
- SNARKs for C: Verifying Program Executions Succinctly and in Zero Knowledge (2013) — 719 citations
- Fast reductions from RAMs to delegatable succinct constraint satisfaction problems: extended abstract (2013) — 106 citations
- On the concrete efficiency of probabilistically-checkable proofs (2013) — 80 citations
- Computational Integrity with a Public Random String from Quasi-Linear PCPs (2017) — 74 citations
- Spectre Attacks: Exploiting Speculative Execution (2018) — 2,501 citations
- Fallout: Leaking Data on Meltdown-resistant CPUs (2019) — 301 citations
- Foreshadow: Extracting the Keys to the Intel SGX Kingdom with Transient Out-of-Order Execution (2018) — 1,209 citations
- CacheQuote: Efficiently Recovering Long-term Secrets of SGX EPID via Cache Attacks (2018) — 93 citations
- Foreshadow-NG: Breaking the virtual memory abstraction with transient out-of-order execution (2018) — 196 citations
- Meltdown: Reading Kernel Memory from User Space (2018) — 1,499 citations
- Another Flip in the Wall of Rowhammer Defenses (2017) — 299 citations
- CacheBleed: a timing attack on OpenSSL constant-time RSA (2016) — 356 citations
- RSA Key Extraction via Low-Bandwidth Acoustic Cryptanalysis (2014) — 471 citations
- Fast Reductions from RAMs to Delegatable Succinct Constraint Satisfaction Problems (full version) (2013) — 3 citations