Evan Laufer
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
3
Active years
2023–2025
Best venue rank
A*
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | ICML | ExpProof : Operationalizing Explanations for Confidential Models with ZKPs. | Chhavi Yadav, Evan Laufer, Dan Boneh, Kamalika Chaudhuri |
| 2025 | SP | Volatile and Persistent Memory for zkSNARKs via Algebraic Interactive Proofs. | Alex Ozdemir, Evan Laufer, Dan Boneh |
| 2024 | CCS | zkPi: Proving Lean Theorems in Zero-Knowledge. | Evan Laufer, Alex Ozdemir, Dan Boneh |
| 2023 | SP | WaVe: a verifiably secure WebAssembly sandboxing runtime. | Evan Johnson, Evan Laufer, Zijie Zhao, Dan Gohman, Shravan Narayan, Stefan Savage, Deian Stefan, Fraser Brown |