Tighten rust's belt: shrinking embedded Rust binaries. - Hudson Ayers; Evan Laufer; Paul Mure; Jaehyeon Park; Eduardo Rodelo; Thea Rossman; Andrey Pronin; Philip Alexander Levis; Johnathan Van Why (LCTES, 2022)

WaVe: a verifiably secure WebAssembly sandboxing runtime. - Evan Johnson 001; Evan Laufer; Zijie Zhao; Dan Gohman; Shravan Narayan; Stefan Savage; Deian Stefan; Fraser Brown (SP, 2023)

Privacy-Preserving Control of Partitioned Energy Resources. - Evan Laufer; Philip Alexander Levis; Ram Rajagopal (e-Energy, 2024)

zkPi: Proving Lean Theorems in Zero-Knowledge. - Evan Laufer; Alex Ozdemir; Dan Boneh (IACR Cryptol. ePrint Arch., 2024)

Volatile and Persistent Memory for zkSNARKs via Algebraic Interactive Proofs. - Alex Ozdemir; Evan Laufer; Dan Boneh (IACR Cryptol. ePrint Arch., 2024)

Batch Decryption without Epochs and its Application to Encrypted Mempools. - Dan Boneh; Evan Laufer; Ertem Nusret Tas (IACR Cryptol. ePrint Arch., 2025)

ExpProof : Operationalizing Explanations for Confidential Models with ZKPs. - Chhavi Yadav; Evan Laufer; Dan Boneh; Kamalika Chaudhuri (CoRR, 2025)