Evan Laufer

According to our database, Evan Laufer authored at least 7 papers between 2022 and 2025.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2025

ExpProof : Operationalizing Explanations for Confidential Models with ZKPs.

Chhavi Yadav, Evan Laufer, Dan Boneh, Kamalika Chaudhuri

CoRR, February, 2025

Batch Decryption without Epochs and its Application to Encrypted Mempools.

Dan Boneh, Evan Laufer, Ertem Nusret Tas

IACR Cryptol. ePrint Arch., 2025

2024

Volatile and Persistent Memory for zkSNARKs via Algebraic Interactive Proofs.

Alex Ozdemir, Evan Laufer, Dan Boneh

IACR Cryptol. ePrint Arch., 2024

zkPi: Proving Lean Theorems in Zero-Knowledge.

Evan Laufer, Alex Ozdemir, Dan Boneh

IACR Cryptol. ePrint Arch., 2024

Privacy-Preserving Control of Partitioned Energy Resources.

Evan Laufer, Philip Alexander Levis, Ram Rajagopal

Proceedings of the 15th ACM International Conference on Future and Sustainable Energy Systems, 2024

2023

WaVe: a verifiably secure WebAssembly sandboxing runtime.

Evan Johnson, Evan Laufer, Zijie Zhao, Dan Gohman, Shravan Narayan, Stefan Savage, Deian Stefan, Fraser Brown

Proceedings of the 44th IEEE Symposium on Security and Privacy, 2023

2022

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

Proceedings of the LCTES '22: 23rd ACM SIGPLAN/SIGBED International Conference on Languages, 2022