Seguir
Jon Howell
Jon Howell
VMware Research Group
Dirección de correo verificada de jonh.net
Título
Citado por
Citado por
Año
Pinocchio: Nearly practical verifiable computation
B Parno, J Howell, C Gentry, M Raykova
Communications of the ACM 59 (2), 103-112, 2016
14842016
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
13832002
Asirra: a CAPTCHA that exploits interest-aligned manual image categorization.
J Elson, JR Douceur, J Howell, J Saul
CCS 7, 366-374, 2007
7142007
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
4662015
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
4482002
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
3312011
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
3182015
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 (OSDI …, 2014
2922014
Flat datacenter storage
EB Nightingale, J Elson, J Fan, O Hofmann, J Howell, Y Suzue
10th USENIX Symposium on Operating Systems Design and Implementation (OSDI …, 2012
2072012
Mugshot: Deterministic Capture and Replay for JavaScript Applications.
JW Mickens, J Elson, J Howell
NSDI 10, 159-174, 2010
2062010
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
1962007
{End-to-End} Authorization
J Howell, D Kotz
Fourth Symposium on Operating Systems Design and Implementation (OSDI 2000), 2000
149*2000
Radiatus: a shared-nothing server-side web architecture
R Cheng, W Scott, P Ellenbogen, J Howell, F Roesner, A Krishnamurthy, ...
Proceedings of the Seventh ACM Symposium on Cloud Computing, 237-250, 2016
1442016
Leveraging legacy code to deploy desktop applications on the web.
JR Douceur, J Elson, J Howell, JR Lorch
OSDI 8, 339-354, 2008
1422008
Acting in virtual reality
M Slater, J Howell, A Steed, DP Pertaub, M Garau
Proceedings of the third international conference on Collaborative virtual …, 2000
1412000
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
1252006
Slicer:{Auto-Sharding} for datacenter applications
A Adya, D Myers, J Howell, J Elson, C Meek, V Khemani, S Fulger, P Gu, ...
12th USENIX Symposium on Operating Systems Design and Implementation (OSDI …, 2016
1102016
A formal semantics for SPKI
J Howell, D Kotz
Computer Security-ESORICS 2000: 6th European Symposium on Research in …, 2000
1082000
Capturing web-based scenarios
J Mickens, J Howell, J Elson
US Patent 8,407,321, 2013
1072013
MashupOS: Operating System Abstractions for Client Mashups.
J Howell, C Jackson, HJ Wang, X Fan
HotOS 7, 1-7, 2007
932007
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20