Trevor Jim

Publication Activity (10 Years)

Years Active: 1989-2018
Publications (10 Years): 1

Top Venues

IOT

IACR Cryptol. ePrint Arch.

SCN

DSN

Massachusetts Institute of Technology, Cambridge, MA, USA (PHD)

Education History

Massachusetts Institute of Technology, Cambridge, MA, USA

PHD

Publications

Paul Giura, Trevor Jim
Sapphire: using network gateways for IoT security. IOT (2018)
Andrea G. Forte, Juan A. Garay, Trevor Jim, Yevgeniy Vahlis
EyeDecrypt - Private Interactions in Plain Sight. SCN (2014)
Chaitrali Amrutkar, Matti A. Hiltunen, Trevor Jim, Kaustubh R. Joshi, Oliver Spatscheck, Patrick Traynor, Shobha Venkataraman
Why is my smartphone slow? On the fly diagnosis of underperformance on the mobile Internet. DSN (2013)
Andrea G. Forte, Juan A. Garay, Trevor Jim, Yevgeniy Vahlis
EyeDecrypt - Private Interactions in Plain Sight. IACR Cryptol. ePrint Arch. 2013 (2013)
Trevor Jim, Yitzhak Mandelbaum
A New Method for Dependent Parsing. ESOP (2011)
Trevor Jim, Yitzhak Mandelbaum
Delayed semantic actions in Yakker. LDTA (2011)
Trevor Jim, Yitzhak Mandelbaum
Efficient Earley Parsing with Regular Right-hand Sides. Electron. Notes Theor. Comput. Sci. 253 (7) (2010)
Trevor Jim, Yitzhak Mandelbaum, David Walker
Semantics and algorithms for data-dependent grammars. POPL (2010)
Soner Sevinc, Larry L. Peterson, Trevor Jim, Mary F. Fernández
An Emulation of GENI Access Control. CSET (2009)
Arjun Guha, Shriram Krishnamurthi, Trevor Jim
Using static analysis for Ajax intrusion detection. WWW (2009)
Mary F. Fernández, Trevor Jim, Kristi Morton, Nicola Onose, Jérôme Siméon
DXQ: a distributed XQuery scripting language. XIME-P (2007)
Mary F. Fernández, Trevor Jim, Kristi Morton, Nicola Onose, Jérôme Siméon
Highly distributed XQuery with DXQ. SIGMOD Conference (2007)
Trevor Jim, Nikhil Swamy, Michael Hicks
Defeating script injection attacks with browser-enforced embedded policies. WWW (2007)
Nikhil Swamy, Michael W. Hicks, Greg Morrisett, Dan Grossman, Trevor Jim
Safe manual memory management in Cyclone. Sci. Comput. Program. 62 (2) (2006)
Mohan Rajagopalan, Matti A. Hiltunen, Trevor Jim, Richard D. Schlichting
System Call Monitoring Using Authenticated System Calls. IEEE Trans. Dependable Secur. Comput. 3 (3) (2006)
Mohan Rajagopalan, Matti A. Hiltunen, Trevor Jim, Richard D. Schlichting
Authenticated System Calls. DSN (2005)
Jens Palsberg, Tian Zhao, Trevor Jim
Automatic discovery of covariant read-only fields. ACM Trans. Program. Lang. Syst. 27 (1) (2005)
Christof Fetzer, Trevor Jim
Dependable Distributed Computing Using Free Databases. ISAS (2005)
Christof Fetzer, Gert Pfeifer, Trevor Jim
Enhancing DNS Security using the SSL Trust Infrastructure. WORDS (2005)
Serban Jora, Rittwik Jana, Yih-Farn Chen, Matti A. Hiltunen, Trevor Jim, Huale Huang, King Ow, Ashish K. Singh, Radhakrishnan Muthumanickam
An Alerting and Notification Service on the AT&T Enterprise Messaging Network. EuroIMSA (2005)
Michael W. Hicks, J. Gregory Morrisett, Dan Grossman, Trevor Jim
Experience with safe manual memory-management in cyclone. ISMM (2004)
Frederick Smith, Dan Grossman, J. Gregory Morrisett, Luke Hornof, Trevor Jim
Compiling for template-based run-time code generation. J. Funct. Program. 13 (3) (2003)
Yih-Farn Chen, Huale Huang, Rittwik Jana, Trevor Jim, Matti A. Hiltunen, Sam John, Serban Jora, Radhakrishnan Muthumanickam, Bin Wei
iMobile EE - An Enterprise Mobile Service Platform. Wirel. Networks 9 (4) (2003)
Dan Grossman, J. Gregory Morrisett, Trevor Jim, Michael W. Hicks, Yanling Wang, James Cheney
Region-Based Memory Management in Cyclone. PLDI (2002)
Trevor Jim, J. Gregory Morrisett, Dan Grossman, Michael W. Hicks, James Cheney, Yanling Wang
Cyclone: A Safe Dialect of C. USENIX Annual Technical Conference, General Track (2002)
Trevor Jim, Dan Suciu
Dynamically Distributed Query Evaluation. PODS (2001)
Trevor Jim
SD3: A Trust Management System with Certified Evaluation. IEEE Symposium on Security and Privacy (2001)
Carl A. Gunter, Trevor Jim
Policy-directed certificate retrieval. Softw. Pract. Exp. 30 (15) (2000)
Pankaj Kakkar, Michael McDougall, Carl A. Gunter, Trevor Jim
Certificate Distribution with Local Autonomy. IWAN (2000)
Carl A. Gunter, Trevor Jim
Generalized Certificate Revocation. POPL (2000)
Trevor Jim
A Polar Type System. ICALP Satellite Workshops (2000)
Luke Hornof, Trevor Jim
Certifying Compilation and Run-Time Code Generation. PEPM (1999)
Luke Hornof, Trevor Jim
Certifying Compilation and Run-Time Code Generation. High. Order Symb. Comput. 12 (4) (1999)
Andrew W. Appel, Trevor Jim
Shrinking lambda Expressions in Linear Time. J. Funct. Program. 7 (5) (1997)
Jens Palsberg, Trevor Jim
Type Inference with Simple Selftypes is NP-complete. Nord. J. Comput. 4 (2) (1997)
Trevor Jim, Albert R. Meyer
Full Abstraction and the Context Lemma. SIAM J. Comput. 25 (3) (1996)
Trevor Jim
What Are Principal Typings and What Are They Good For? POPL (1996)
Trevor Jim, Albert R. Meyer
Full Abstraction and the Context Lemma. TACS (1991)
Andrew W. Appel, Trevor Jim
Continuation-Passing, Closure-Passing Style. POPL (1989)

Trevor Jim.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Trevor Jim