Evan Laufer

According to our database, Evan Laufer authored at least 3 papers between 2022 and 2024.

Collaborative distances:

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

2024

zkPi: Proving Lean Theorems in Zero-Knowledge.

Evan Laufer, Alex Ozdemir, Dan Boneh

IACR Cryptol. ePrint Arch., 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