| Airavat: Security and privacy for MapReduce I Roy, STV Setty, A Kilzer, V Shmatikov, E Witchel Proceedings of the 7th USENIX conference on Networked systems design and …, 2010 | 719 | 2010 |
| IronFleet: proving practical distributed systems correct C Hawblitzel, J Howell, M Kapritsos, JR Lorch, B Parno, ML Roberts, ... Proceedings of the 25th Symposium on Operating Systems Principles, 1-17, 2015 | 476 | 2015 |
| Depot: Cloud storage with minimal trust P Mahajan, S Setty, S Lee, A Clement, L Alvisi, M Dahlin, M Walfish USENIX Symposium on Operating Systems Design and Implementation, OSDI 2010 …, 2011 | 454 | 2011 |
| Spartan: Efficient and general-purpose zkSNARKs without trusted setup S Setty Annual International Cryptology Conference, 2020, 2019 | 370 | 2019 |
| PIR with compressed queries and amortized query processing S Angel, H Chen, K Laine, S Setty IEEE Symposium on Security and Privacy, 2018 | 330 | 2018 |
| Verifying computations with state B Braun, AJ Feldman, Z Ren, S Setty, AJ Blumberg, M Walfish ACM Symposium on Operating Systems Principles, 2013 | 251 | 2013 |
| Efficient RAM and control flow in verifiable outsourced computation RS Wahby, S Setty, Z Ren, AJ Blumberg, M Walfish NDSS 2015, 2015 | 237 | 2015 |
| Taking proof-based verified computation a few steps closer to practicality S Setty, V Vu, N Panpalia, B Braun, AJ Blumberg, M Walfish USENIX Security Symposium 2012, 2012 | 230 | 2012 |
| Taking proof-based verified computation a few steps closer to practicality S Setty, V Vu, N Panpalia, B Braun, AJ Blumberg, M Walfish 21st {USENIX} Security Symposium ({USENIX} Security 12), 253-268, 2012 | 230 | 2012 |
| Making Argument Systems for Outsourced Computation Practical (Sometimes) S Setty, R McPherson, AJ Blumberg, M Walfish NDSS 2012, 2012 | 219 | 2012 |
| Unobservable communication over fully untrusted infrastructure S Angel, S Setty Proceedings of the 12th Symposium on Operating Systems Design and …, 2016 | 213 | 2016 |
| A hybrid architecture for interactive verifiable computation V Vu, S Setty, AJ Blumberg, M Walfish IEEE Symposium on Security and Privacy, 2013 | 201 | 2013 |
| Vale: Verifying high-performance cryptographic assembly code B Bond, C Hawblitzel, M Kapritsos, KRM Leino, JR Lorch, B Parno, ... 26th {USENIX} Security Symposium ({USENIX} Security 17), 917-934, 2017 | 193 | 2017 |
| Resolving the conflict between generality and plausibility in verified computation S Setty, B Braun, V Vu, AJ Blumberg, B Parno, M Walfish ACM European Conference on Computer Systems, EuroSys 2013, 2012 | 181 | 2012 |
| Nova: Recursive zero-knowledge arguments from folding schemes A Kothapalli, S Setty, I Tzialla Annual International Cryptology Conference, 359-388, 2022 | 177 | 2022 |
| Verifiable outsourced ledgers S Setty, R Venkatesan US Patent 10,587,628, 2020 | 161 | 2020 |
| Scalable and private media consumption with Popcorn T Gupta, N Crooks, W Mulhern, S Setty, L Alvisi, M Walfish Symposium on Networked Systems Design and Implementation (NSDI), 2016 | 133 | 2016 |
| Byzantine Ordered Consensus without Byzantine Oligarchy Y Zhang, S Setty, Q Chen, L Zhou, L Alvisi 14th {USENIX} Symposium on Operating Systems Design and Implementation …, 2020 | 124 | 2020 |
| Visor:{Privacy-Preserving} Video Analytics as a Cloud Service R Poddar, G Ananthanarayanan, S Setty, S Volos, RA Popa 29th USENIX Security Symposium (USENIX Security 20), 1039-1056, 2020 | 84 | 2020 |
| IronFleet: proving safety and liveness of practical distributed systems C Hawblitzel, J Howell, M Kapritsos, JR Lorch, B Parno, ML Roberts, ... Communications of the ACM 60 (7), 83-92, 2017 | 84 | 2017 |
Michael WalfishProfessor of Computer Science, NYUVerified email at cs.nyu.edu
