N Li, JC Mitchell, WH Winsborough

Proceedings 2002 IEEE Symposium on Security and Privacy, 114-130, 2002

D Lie, C Thekkath, M Mitchell, P Lincoln, D Boneh, J Mitchell, M Horowitz

Acm Sigplan Notices 35 (11), 168-177, 2000

JC Mitchell

MIT press, 1996

JC Mitchell, M Mitchell, U Stern

Proceedings. 1997 IEEE Symposium on Security and Privacy (Cat. No. 97CB36097 …, 1997

JC Mitchell, GD Plotkin

ACM Transactions on Programming Languages and Systems (TOPLAS) 10 (3), 470-502, 1988

JR Mayer, JC Mitchell

IEEE Symp Security and Privacy, 413-427, 2012

N Chou, L Robert, Y Teraguchi, JC Mitchell

Network and Distributed Systems Security (NDSS), 2004

A Barth, C Jackson, JC Mitchell

Proc ACM Conf on Computer and Communications Security, 75-88, 2008

N Li, WH Winsborough, JC Mitchell

Proceedings of the 8th ACM Conference on Computer and Communications …, 2001

B Ross, C Jackson, N Miyake, D Boneh, JC Mitchell

USENIX Security Symposium 17, 32, 2005

A Barth, A Datta, JC Mitchell, H Nissenbaum

2006 IEEE symposium on security and privacy (S&P'06), 15 pp.-198, 2006

J Bau, E Bursztein, D Gupta, JC Mitchell

IEEE Symposium on Security and Privacy, 332-345, 2010

E Bursztein, M Martin, J Mitchell

Proceedings of the 18th ACM conference on Computer and communications …, 2011

P Canning, W Cook, W Hill, W Olthoff, JC Mitchell

Proceedings of the fourth international conference on functional programming …, 1989

JC Mitchell

Formal Models and Semantics, 365-458, 1990

P Lincoln, J Mitchell, A Scedrov, N Shankar

Annals of pure and applied logic 56 (1-3), 239-311, 1992

TL Hinrichs, NS Gude, M Casado, JC Mitchell, S Shenker

Proceedings of the 1st ACM workshop on Research on enterprise networking, 1-10, 2009

J Mitchell, A Scedrov, N Durgin, P Lincoln

Workshop on formal methods and security protocols, 1999

C Mitchell, C He

The 12th Annual Network and Distributed System Security Symposium (NDSS'05 …, 2005

I Cervesato, NA Durgin, PD Lincoln, JC Mitchell, A Scedrov

Proceedings of the 12th IEEE Computer Security Foundations Workshop, 55-69, 1999