FARSITE: Federated, available, and reliable storage for an incompletely trusted environment A Adya, WJ Bolosky, M Castro, G Cermak, R Chaiken, JR Douceur, ... ACM SIGOPS Operating Systems Review 36 (SI), 1-14, 2002 | 1287 | 2002 |
Pinocchio: Nearly practical verifiable computation B Parno, J Howell, C Gentry, M Raykova 2013 IEEE Symposium on Security and Privacy, 238-252, 2013 | 790 | 2013 |
Asirra: a CAPTCHA that exploits interest-aligned manual image categorization. J Elson, JR Douceur, J Howell, J Saul ACM Conference on Computer and Communications Security 7, 366-374, 2007 | 535 | 2007 |
Cooperative Task Management Without Manual Stack Management. A Adya, J Howell, M Theimer, WJ Bolosky, JR Douceur USENIX Annual Technical Conference, General Track, 289-302, 2002 | 414 | 2002 |
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 | 265 | 2015 |
Rethinking the library OS from the top down DE Porter, S Boyd-Wickizer, J Howell, R Olinsky, GC Hunt Proceedings of the sixteenth international conference on Architectural …, 2011 | 254 | 2011 |
Ironclad apps: End-to-end security via automated full-system verification C Hawblitzel, J Howell, JR Lorch, A Narayan, B Parno, D Zhang, B Zill 11th {USENIX} Symposium on Operating Systems Design and Implementation …, 2014 | 205 | 2014 |
Protection and communication abstractions for web browsers in MashupOS HJ Wang, X Fan, J Howell, C Jackson ACM SIGOPS Operating Systems Review 41 (6), 1-16, 2007 | 197 | 2007 |
Geppetto: Versatile verifiable computation C Costello, C Fournet, J Howell, M Kohlweiss, B Kreuter, M Naehrig, ... 2015 IEEE Symposium on Security and Privacy, 253-270, 2015 | 189 | 2015 |
Flat datacenter storage EB Nightingale, J Elson, J Fan, O Hofmann, J Howell, Y Suzue 10th {USENIX} Symposium on Operating Systems Design and Implementation …, 2012 | 188 | 2012 |
Mugshot: Deterministic Capture and Replay for JavaScript Applications. JW Mickens, J Elson, J Howell NSDI 10, 159-174, 2010 | 165 | 2010 |
Leveraging legacy code to deploy desktop applications on the web. JR Douceur, J Elson, J Howell, JR Lorch OSDI 8, 339-354, 2008 | 127 | 2008 |
A formal semantics for SPKI J Howell, D Kotz European Symposium on Research in Computer Security, 140-158, 2000 | 105 | 2000 |
The SMART way to migrate replicated stateful services JR Lorch, A Adya, WJ Bolosky, R Chaiken, JR Douceur, J Howell Proceedings of the 1st ACM SIGOPS/EuroSys European Conference on Computer …, 2006 | 104 | 2006 |
MashupOS: Operating System Abstractions for Client Mashups. J Howell, C Jackson, HJ Wang, X Fan HotOS 7, 1-7, 2007 | 93 | 2007 |
Handling Flash Crowds from Your Garage. J Elson, J Howell USENIX Annual Technical Conference, 171-184, 2008 | 84 | 2008 |
End-to-end authorization J Howell, D Kotz Proceedings of the 4th conference on Symposium on Operating System Design …, 2000 | 78 | 2000 |
Capturing web-based scenarios J Mickens, J Howell, J Elson US Patent 8,407,321, 2013 | 77 | 2013 |
Distributed directory service in the Farsite file system JJD Douceur, J Howell | 64 | 2006 |
The Farsite project: a retrospective WJ Bolosky, JR Douceur, J Howell ACM SIGOPS Operating Systems Review 41 (2), 17-26, 2007 | 63 | 2007 |