Concepedia

Michael Walfish

MW

39

Publications

3.2K

Citations

29

H-Index

2004

Active since

Affiliations

The University of Texas at Austin(Current)

University of California, Berkeley

International Computer Science Institute

New York University

Stanford University

Michael Walfish is an author at The University of Texas at Austin specializing in engineering, computer science, and data security.

Top concepts

EngineeringComputer ScienceData SecurityCloud ComputingVerificationHardware SecurityFormal VerificationCryptographyFormal MethodsComputer Engineering

Publications per year

2004–2020

39

Publications

39

A layered naming architecture for the internet

Hari Balakrishnan, Karthik Lakshminarayanan, Sylvia Ratnasamy et al. · 2004 · 258 citations · Full text

Layered Naming Architecture, Engineering, Semantic Web +18

Doubly-Efficient zkSNARKs Without Trusted Setup

Riad S. Wahby, Ioanna Tzialla, Abhi Shelat et al. · 2018 · 235 citations

Cryptographic Primitive, Trusted Setup, Engineering +21

Depot

Prince Mahajan, Srinath Setty, Sangmin Lee et al. · ACM Transactions on Computer Systems · 2011 · 196 citations

Hardware Security, Software Maintenance, Data Consistency +14

Middleboxes no longer considered harmful

Michael Walfish, Jeremy Stribling, Maxwell Krohn et al. · 2004 · 164 citations · Full text

Verifying computations with state

Benjamin Braun, Ariel J. Feldman, Zuocheng Ren et al. · 2013 · 164 citations · Full text

Engineering, Verification, Computer-aided Verification +18

Rows per page

1–5 of 39