John C. Mitchell

发表

Bogdan Warinschi, Anupam Datta, Ante Derek, 2006 .
Masami Hagiya, John C. Mitchell, M. Hagiya, 1994, Lecture Notes in Computer Science.
John C. Mitchell, Amit Patel, Amit Patel, 2001 .
John C. Mitchell, Yiyun Liang, John C. Mitchell, 2020, 2020 IEEE International Conference on Blockchain (Blockchain).
Nancy A. Lynch, Emilio Frazzoli, Geir E. Dullerud, 2007 .
John C. Mitchell, John C. Mitchell, 1991, Artificial and Mathematical Theory of Computation.
Vitaly Shmatikov, John C. Mitchell, Bogdan Warinschi, 2006 .
Dusko Pavlovic, Anupam Datta, Ante Derek, 2003, MFPS.
Vitaly Shmatikov, Ralf Küsters, John C. Mitchell, 2004 .
John C. Mitchell, Kathleen Fisher, Kathleen Fisher, 1996 .
John C. Mitchell, Anupam Datta, Arnab Roy, 2011, Formal Models and Techniques for Analyzing Security Protocols.
John C. Mitchell, John C. Mitchell, 2002 .
John C. Mitchell, Syed S. H. Rizvi, 2016, CloudCom 2016.
Andre Scedrov, John C. Mitchell, Paulo Mateus, 2001 .
Dusko Pavlovic, Anupam Datta, John C. Mitchell, 2001 .
John C. Mitchell, Michael J. O'Donnell, John C. Mitchell, 1986, TARK.
Stephen N. Freund, John C. Mitchell, 2000 .
Ralf Küsters, John C. Mitchell, Ajith Ramanathan, 2005, TCC.
Dan Boneh, David Lie, John C. Mitchell, 2000 .
Collin Jackson, John C. Mitchell, 2009 .
Deian Stefan, John C. Mitchell, 2011 .
John C. Mitchell, David N. Horn, Dale L. Skran, 1993, AT&T Technical Journal.
John C. Mitchell, Kathleen Fisher, 1996 .
John C. Mitchell, William R. Cook, Walter G. Olthoff, 1989 .
Deian Stefan, Alejandro Russo, David Mazières, 2012 .
Deian Stefan, Alejandro Russo, John C. Mitchell, 2011 .
John C. Mitchell, John C. Mitchell, Changhua He, 2005 .
John C. Mitchell, Charles C. Hayden, Jishnu Mukerji, 1990, AT&T Technical Journal.
Anupam Datta, John C. Mitchell, 2005 .
John C. Mitchell, John C. Mitchell, 2002 .
Ante Derek, John C. Mitchell, Ante Derek, 2006 .
David C. Luckham, John C. Mitchell, Dinesh Katiyar, 1994, Workshop on Interface Definition Languages.
Deian Stefan, Alejandro Russo, John C. Mitchell, 2014, POST 2014.