Evan Laufer

Publication Activity (10 Years)

Years Active: 2022-2024
Publications (10 Years): 4

Top Topics

Natural Deduction

Method Invocation

Top Venues

IACR Cryptol. ePrint Arch.

Publications

Alex Ozdemir, Evan Laufer, Dan Boneh
Volatile and Persistent Memory for zkSNARKs via Algebraic Interactive Proofs. IACR Cryptol. ePrint Arch. 2024 (2024)
Evan Laufer, Alex Ozdemir, Dan Boneh
zkPi: Proving Lean Theorems in Zero-Knowledge. IACR Cryptol. ePrint Arch. 2024 (2024)
Evan Johnson, Evan Laufer, Zijie Zhao, Dan Gohman, Shravan Narayan, Stefan Savage, Deian Stefan, Fraser Brown
WaVe: a verifiably secure WebAssembly sandboxing runtime. SP (2023)
Hudson Ayers, Evan Laufer, Paul Mure, Jaehyeon Park, Eduardo Rodelo, Thea Rossman, Andrey Pronin, Philip Alexander Levis, Johnathan Van Why
Tighten rust's belt: shrinking embedded Rust binaries. LCTES (2022)