John C. Mitchell

发表

Deian Stefan, Alejandro Russo, Pablo Buiras, 2012, ICFP '12.
Collin Jackson, John C. Mitchell, Adam Barth, 2008, CCS.
Ramesh Viswanathan, John C. Mitchell, R. Viswanathan, 1996, ICALP.
John C. Mitchell, Vanessa Teague, Andre Scedrov, 2004, FoSSaCS.
Joan Feigenbaum, John C. Mitchell, Haim Gaifman, 2001 .
Ankur Taly, John C. Mitchell, Sergio Maffeis, 2008, APLAS.
Gilles Barthe, John C. Mitchell, Andre Scedrov, 2018, Journal of Cryptology.
John C. Mitchell, Neil Chou, Robert Ledesma, 2004, NDSS.
John C. Mitchell, Elie Bursztein, Jason Bau, 2010, 2010 IEEE Symposium on Security and Privacy.
John C. Mitchell, 2001, POPL '01.
Ramesh Viswanathan, John C. Mitchell, 1996, Inf. Comput..
John C. Mitchell, William R. Cook, Walter G. Olthoff, 1989, FPCA.
John C. Mitchell, Lalita Jategaonkar Jagadeesan, L. Jagadeesan, 1988, LISP and Functional Programming.
John C. Mitchell, Kim B. Bruce, Albert R. Meyer, 1990, Inf. Comput..
John C. Mitchell, John C. Mitchell, 1988, Inf. Comput..
Deian Stefan, Alejandro Russo, John C. Mitchell, 2011, NordSec.
John C. Mitchell, John C. Mitchell, 1984, POPL.
John C. Mitchell, Dusko Pavlovic, Anupam Datta, 2004, Proceedings. 17th IEEE Computer Security Foundations Workshop, 2004..
John C. Mitchell, John C. Mitchell, 2002 .
Ninghui Li, John C. Mitchell, 2003, Proceedings DARPA Information Survivability Conference and Exposition.
Helen Nissenbaum, John C. Mitchell, Anupam Datta, 2010, HealthSec.
John C. Mitchell, Trevor J. Hastie, Hristo S. Paskov, 2015, UAI.
Dan Boneh, John C. Mitchell, Hristo Bojinov, 2010, CSET.
John C. Mitchell, Paris C. Kanellakis, 1989, POPL '89.
Dan Boneh, Collin Jackson, John C. Mitchell, 2005, USENIX Security Symposium.
John C. Mitchell, Robert Harper, 1996, CSUR.
Helen Nissenbaum, John C. Mitchell, Adam Barth, 2006, 2006 IEEE Symposium on Security and Privacy (S&P'06).
John C. Mitchell, John C. Mitchell, 1984, FOCS.
Ninghui Li, John C. Mitchell, William H. Winsborough, 2003, 2003 Symposium on Security and Privacy, 2003..
Ankur Taly, John C. Mitchell, Sergio Maffeis, 2009, ESORICS.
John C. Mitchell, Bojana Voncina, Martin J. Snowden, 2005 .
John C. Mitchell, Daniel Jurafsky, Steven Bethard, 2010, 2010 IEEE Symposium on Security and Privacy.
Deian Stefan, Alejandro Russo, John C. Mitchell, 2015, POST.
John C. Mitchell, 1991, Sci. Comput. Program..
Joseph Y. Halpern, John C. Mitchell, Anupam Datta, 2015, ArXiv.
John C. Mitchell, Patrick Lincoln, Andre Scedrov, 1996, Electron. Notes Theor. Comput. Sci..
John C. Mitchell, Patrick Lincoln, Andre Scedrov, 1999, Proceedings of the 12th IEEE Computer Security Foundations Workshop.
John C. Mitchell, Vanessa Teague, Andre Scedrov, 2001, Proceedings 16th Annual IEEE Symposium on Logic in Computer Science.
John C. Mitchell, Elie Bursztein, Jonathan Aigrain, 2014, WOOT.
John C. Mitchell, David C. Luckham, Dinesh Katiyar, 1994, Workshop on Interface Definition Languages.
John C. Mitchell, Joe Zimmerman, Joe Zimmerman, 2014, STACS.
John C. Mitchell, Michael Backes, Anupam Datta, 2005, 18th IEEE Computer Security Foundations Workshop (CSFW'05).
John C. Mitchell, Trevor J. Hastie, Hristo S. Paskov, 2015, ICLR.
John C. Mitchell, Elie Bursztein, Elie Bursztein, 2009, Inscrypt.
John C. Mitchell, Adam Barth, Anupam Datta, 2007, 20th IEEE Computer Security Foundations Symposium (CSF'07).
John C. Mitchell, Brian T. Howard, 1990, LISP and Functional Programming.
John C. Mitchell, John C. Mitchell, 1991, Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics.
Stephen N. Freund, John C. Mitchell, John C. Mitchell, 1998, OOPSLA '98.
Vitaly Shmatikov, John C. Mitchell, Anupam Datta, 2005, ICALP.
Luca Cardelli, John C. Mitchell, L. Cardelli, 1989, Mathematical Structures in Computer Science.
John C. Mitchell, Vanessa Teague, Andre Scedrov, 2005, Theor. Comput. Sci..
Ninghui Li, John C. Mitchell, Derrick Tong, 2004, 20th Annual Computer Security Applications Conference.
John C. Mitchell, 1993, Sci. Comput. Program..
John C. Mitchell, Vanessa Teague, Vanessa Teague, 2002, ISSS.
Ruth Breu, Alfred Winter, John C. Mitchell, 2009, Model-Based Design of Trustworthy Health Information Systems.
John C. Mitchell, Andre Scedrov, Mark Mitchell, 1998, Proceedings 39th Annual Symposium on Foundations of Computer Science (Cat. No.98CB36280).
Stephen N. Freund, John C. Mitchell, 1997, Electron. Notes Theor. Comput. Sci..
John C. Mitchell, Changhua He, Changhua He, 2005, NDSS.
Richard Statman, John C. Mitchell, Albert R. Meyer, 1987, POPL '87.
John C. Mitchell, 2011, SAS.
John C. Mitchell, Andre Scedrov, A. Scedrov, 1992, CSL.
John C. Mitchell, Ulrich Stern, Mark Mitchell, 1997, Proceedings. 1997 IEEE Symposium on Security and Privacy (Cat. No.97CB36097).
John C. Mitchell, David J. Wu, Joe Zimmerman, 2016, NDSS.
John C. Mitchell, Gordon D. Plotkin, G. Plotkin, 1985, POPL.
Somesh Jha, John C. Mitchell, Matt Fredrikson, 2008, RAID.
John C. Mitchell, Albert R. Meyer, A. Meyer, 1983, Inf. Control..
John C. Mitchell, Patrick Lincoln, Andre Scedrov, 1999, Theor. Comput. Sci..
Ninghui Li, John C. Mitchell, Ninghui Li, 2003, PADL.
John C. Mitchell, Elie Bursztein, Baptiste Gourdin, 2011, ESORICS.
John C. Mitchell, Kathleen Fisher, Kathleen Fisher, 1994, TACS.
Deian Stefan, Alejandro Russo, Amit A. Levy, 2012, OSDI.
Dan Boneh, Collin Jackson, John C. Mitchell, 2006, WWW '06.
Vitaly Shmatikov, John C. Mitchell, 2000, NDSS.
John C. Mitchell, Kathleen Fisher, Kathleen Fisher, 1998, Theory Pract. Object Syst..
John C. Mitchell, Patrick Lincoln, Andre Scedrov, 1998, CCS '98.
Vitaly Shmatikov, Rohit Chadha, John C. Mitchell, 2003, CONCUR.
John C. Mitchell, Elizabeth Stinson, Elizabeth Stinson, 2007, DIMVA.
John C. Mitchell, Gordon D. Plotkin, G. Plotkin, 1988, TOPL.
John C. Mitchell, Lalita Jategaonkar Jagadeesan, L. Jagadeesan, 1993, Fundamenta Informaticae.
John C. Mitchell, Dusko Pavlovic, Nancy A. Durgin, 2001, Proceedings. 14th IEEE Computer Security Foundations Workshop, 2001..
Ajay Chander, John C. Mitchell, Drew Dean, 2004, ISC.
Ninghui Li, John C. Mitchell, William H. Winsborough, 2001, CCS '01.
John C. Mitchell, Martin J. Snowden, Victoria J. Cornelius, 2006, SPIE Micro + Nano Materials, Devices, and Applications.
Mark Horowitz, John C. Mitchell, David Lie, 2003, 2003 Symposium on Security and Privacy, 2003..
Martín Casado, Scott Shenker, John C. Mitchell, 2009, WREN '09.
John C. Mitchell, Eftychios Theodorakis, Eftychios Theodorakis, 2018, IACR Cryptol. ePrint Arch..
Deian Stefan, John C. Mitchell, Rahul Sharma, 2011, IACR Cryptol. ePrint Arch..
Harry G. Mairson, John C. Mitchell, Paris C. Kanellakis, 1991, Computational Logic - Essays in Honor of Alan Robinson.
Natarajan Shankar, John C. Mitchell, Patrick Lincoln, 1990, Proceedings [1990] 31st Annual Symposium on Foundations of Computer Science.
John C. Mitchell, Dusko Pavlovic, Anupam Datta, 2003, 16th IEEE Computer Security Foundations Workshop, 2003. Proceedings..
John C. Mitchell, Elie Bursztein, Peifung E. Lam, 2009, CCSW '09.
John C. Mitchell, Dusko Pavlovic, Anupam Datta, 2005, J. Comput. Secur..
Deian Stefan, Alejandro Russo, John C. Mitchell, 2012, Haskell '11.
John C. Mitchell, Elizabeth Stinson, Elizabeth Stinson, 2007, DIMVA.
John C. Mitchell, Changhua He, Changhua He, 2004, WiSe '04.
John C. Mitchell, John C. Mitchell, 1996, Foundation of computing series.
John C. Mitchell, Robert Harper, Eugenio Moggi, 1989, POPL '90.
Ajay Chander, John C. Mitchell, Drew Dean, 2004, J. Comput. Secur..
John C. Mitchell, Dusko Pavlovic, Anupam Datta, 2003, FMSE '03.
Deian Stefan, John C. Mitchell, Rahul Sharma, 2012, 2012 IEEE 25th Computer Security Foundations Symposium.
John C. Mitchell, Anupam Datta, Arnab Roy, 2007, TGC.
John C. Mitchell, Albert R. Meyer, A. Meyer, 1985, Logic of Programs.
Stephen N. Freund, John C. Mitchell, John C. Mitchell, 2003, Journal of Automated Reasoning.
John C. Mitchell, Kathleen Fisher, Kathleen Fisher, 1995, Theory Pract. Object Syst..
John C. Mitchell, Trevor J. Hastie, Hristo S. Paskov, 2014, AISTATS.
John C. Mitchell, Adam Barth, A. Barth, 2005, WITS '05.
John C. Mitchell, Arnab Roy, Mukund Sundararajan, 2009, SecReT@LICS/CSF.
John C. Mitchell, Anupam Datta, Arnab Roy, 2007, ESORICS.
John C. Mitchell, Robert Harper, R. Harper, 1999, Inf. Process. Lett..
David Notkin, John C. Mitchell, Carl A. Gunter, 1996, CSUR.
Deian Stefan, John C. Mitchell, David Mazières, 2013, HotOS.
Ajay Chander, John C. Mitchell, Drew Dean, 2001, Proceedings. 14th IEEE Computer Security Foundations Workshop, 2001..
John C. Mitchell, Anupam Datta, Arnab Roy, 2007, Computation, Meaning, and Logic.
John C. Mitchell, Michael Backes, Anupam Datta, 2006, Theor. Comput. Sci..
John C. Mitchell, John C. Mitchell, 1991, Journal of Functional Programming.
John C. Mitchell, Catherine A. Meadows, Michael Backes, 2003, FMSE '03.
Dawn Xiaodong Song, John C. Mitchell, Adam Barth, 2010, 2010 23rd IEEE Computer Security Foundations Symposium.
John C. Mitchell, Patrick Lincoln, Andre Scedrov, 1996, Bull. Symb. Log..
Ninghui Li, John C. Mitchell, William H. Winsborough, 2002, Proceedings 2002 IEEE Symposium on Security and Privacy.
Dan Boneh, Mark Horowitz, John C. Mitchell, 2003 .
John C. Mitchell, Cynthia Dwork, Paris C. Kanellakis, 1984, J. Log. Program..
Ajay Chander, John C. Mitchell, Drew Dean, 2004 .
John C. Mitchell, Jason Bau, Jason Bau, 2011, IEEE Security & Privacy.
Dawn Xiaodong Song, John C. Mitchell, Peter L. Bartlett, 2009, IEEE Transactions on Dependable and Secure Computing.
Luca Cardelli, John C. Mitchell, L. Cardelli, 1989 .
John C. Mitchell, Kathleen Fisher, 1995, FCT.
John C. Mitchell, Furio Honsell, Kathleen Fisher, 1993, [1993] Proceedings Eighth Annual IEEE Symposium on Logic in Computer Science.
John C. Mitchell, Carl A. Gunter, John C. Mitchell, 1994, Choice Reviews Online.
Gilles Barthe, John C. Mitchell, Andre Scedrov, 2014, IACR Cryptol. ePrint Arch..
John C. Mitchell, Daniel Jurafsky, Steven Bethard, 2014, CHI.
Deian Stefan, John C. Mitchell, Rahul Sharma, 2011, FSTTCS.
John C. Mitchell, Robert Harper, 1997, SIGP.
John C. Mitchell, Bogdan Warinschi, Anupam Datta, 2006, 19th IEEE Computer Security Foundations Workshop (CSFW'06).
John C. Mitchell, Romain Beauxis, Elie Bursztein, 2011, 2011 IEEE Symposium on Security and Privacy.
Luca Cardelli, John C. Mitchell, Andre Scedrov, 1994, Inf. Comput..
John C. Mitchell, Sigurd Meldal, Neel Madhav, 1991, POPL '91.
John C. Mitchell, Patrick Lincoln, Nancy A. Durgin, 2004, J. Comput. Secur..
Dan Boneh, Collin Jackson, John C. Mitchell, 2007, HotSec.
John C. Mitchell, Patrick Lincoln, P. Lincoln, 1992, POPL '92.
Frank Wang, John C. Mitchell, Andre Scedrov, 2012, IHI '12.
John C. Mitchell, Adam Barth, A. Barth, 2006, 21st Annual IEEE Symposium on Logic in Computer Science (LICS'06).
John C. Mitchell, Mourad Debbabi, Mohamed Mejri, 2002, International Journal on Software Tools for Technology Transfer.
Collin Jackson, John C. Mitchell, Adam Barth, 2008, CACM.
John C. Mitchell, David C. Luckham, Dinesh Katiyar, 1994, POPL '94.
Dan Boneh, Collin Jackson, John C. Mitchell, 2006 .
Insik Shin, Ajay Chander, John C. Mitchell, 2001, Proceedings DARPA Information Survivability Conference and Exposition II. DISCEX'01.
Ralf Küsters, John C. Mitchell, Ajith Ramanathan, 2005, Journal of Cryptology.
Ninghui Li, John C. Mitchell, William H. Winsborough, 2005, JACM.
John C. Mitchell, My Hoang, 1995, POPL '95.
Ankur Taly, John C. Mitchell, Sergio Maffeis, 2010, 2010 IEEE Symposium on Security and Privacy.
John C. Mitchell, Dusko Pavlovic, Nancy A. Durgin, 2003, J. Comput. Secur..
John C. Mitchell, Ellick Chan, Peifung E. Lam, 2013, HealthTech.
Stephen N. Freund, John C. Mitchell, Ole Agesen, 1997, OOPSLA '97.
Michael E. Lesk, Dan Boneh, John C. Mitchell, 2012, Proceedings of the IEEE.
Vitaly Shmatikov, John C. Mitchell, Ulrich Stern, 1998, USENIX Security Symposium.
Stuart A. Kurtz, John C. Mitchell, Michael J. O'Donnell, 1992, Constructivity in Computer Science.
Ninghui Li, John C. Mitchell, William H. Winsborough, 2003, J. Comput. Secur..
John C. Mitchell, John C. Mitchell, 1986, POPL '86.
John C. Mitchell, Andre Scedrov, Arnab Roy, 2008, ACNS.
Ramesh Viswanathan, John C. Mitchell, My Hoang, 1993, [1993] Proceedings Eighth Annual IEEE Symposium on Logic in Computer Science.
Stephen N. Freund, John C. Mitchell, John C. Mitchell, 1999, OOPSLA '99.
Vitaly Shmatikov, John C. Mitchell, Vitaly Shmatikov, 2002, Theor. Comput. Sci..
Adam Doupé, John C. Mitchell, Patrick Mutchler, 2016, 2016 IEEE Security and Privacy Workshops (SPW).
Ninghui Li, John C. Mitchell, Ninghui Li, 2003, 16th IEEE Computer Security Foundations Workshop, 2003. Proceedings..
John C. Mitchell, Patrick Lincoln, Andre Scedrov, 1999 .
John C. Mitchell, Robert Harper, R. Harper, 1988, POPL '88.
John C. Mitchell, Arnab Roy, Hart William Montgomery, 2017, 2017 IEEE Conference on Communications and Network Security (CNS).
John C. Mitchell, Elizabeth Stinson, Elizabeth Stinson, 2008, WOOT.
John C. Mitchell, Jérémy Planul, Jérémy Planul, 2013, 2013 IEEE 26th Computer Security Foundations Symposium.
Claude Kirchner, Pierre Dillenbourg, Armando Fox, 2014, Dagstuhl Manifestos.
John C. Mitchell, Trevor J. Hastie, Robert West, 2013, NIPS.
John C. Mitchell, Jonathan R. Mayer, Jonathan R. Mayer, 2012, 2012 IEEE Symposium on Security and Privacy.
John C. Mitchell, Patrick Lincoln, Glenn Durfee, 2010, CollSec.
John C. Mitchell, Elie Bursztein, Matthieu Martin, 2011, CCS '11.
Úlfar Erlingsson, Ankur Taly, John C. Mitchell, 2011, 2011 IEEE Symposium on Security and Privacy.
Jean-Pierre Seifert, John C. Mitchell, Anupam Datta, 2006, ASIAN.
Dan Boneh, Collin Jackson, John C. Mitchell, 2005 .
John C. Mitchell, Robert Harper, R. Harper, 1993, TOPL.
John C. Mitchell, Adam J. Lee, Timothy L. Hinrichs, 2011, Formal Aspects in Security and Trust.
John C. Mitchell, Bogdan Warinschi, Anupam Datta, 2006, IACR Cryptol. ePrint Arch..
Vitaly Shmatikov, John C. Mitchell, Viviana Bono, 1999, MFPS.
John C. Mitchell, Anupam Datta, Arnab Roy, 2010, J. Comput. Secur..
John C. Mitchell, Jason Bau, Jason Bau, 2010, NDSS.
Vitaly Shmatikov, John C. Mitchell, 2000, Financial Cryptography.
Vitaly Shmatikov, Rohit Chadha, John C. Mitchell, 2005, J. Log. Algebraic Methods Program..
John C. Mitchell, Sharada Sundaram, Peifung E. Lam, 2009, TrustBus.
John C. Mitchell, Anupam Datta, Ante Derek, 2005, CCS '05.
John C. Mitchell, John C. Mitchell, 2002 .
John C. Mitchell, Albert R. Meyer, A. Meyer, 1982, POPL '82.
John C. Mitchell, Patrick Lincoln, Andre Scedrov, 1999, World Congress on Formal Methods.
John C. Mitchell, Jon G. Riecke, 1997, SIGA.
John C. Mitchell, Adam Barth, Justin Rosenstein, 2004, WPES '04.
Luca Cardelli, John C. Mitchell, Andre Scedrov, 1991, TACS.
John C. Mitchell, Andre Scedrov, Ajith Ramanathan, 2006, TCC.
C. Pandu Rangan, Alfred Kobsa, Gerhard Weikum, 2013 .
John C. Mitchell, Kim B. Bruce, John C. Mitchell, 1992, POPL '92.
Ninghui Li, John C. Mitchell, 2005, International Journal of Information Security.
Deian Stefan, John C. Mitchell, David Mazières, 2012, Journal of Functional Programming.
John C. Mitchell, Patrick Lincoln, Andre Scedrov, 2000, Proceedings 13th IEEE Computer Security Foundations Workshop. CSFW-13.
John C. Mitchell, Anupam Datta, Arnab Roy, 2007, IACR Cryptol. ePrint Arch..
John C. Mitchell, Arnab Roy, Hart Montgomery, 2018, DPM/CBT@ESORICS.
John C. Mitchell, Eugenio Moggi, E. Moggi, 1991, Ann. Pure Appl. Log..
Claude Kirchner, Pierre Dillenbourg, John C. Mitchell, 2014, Dagstuhl Reports.
Luca Cardelli, John C. Mitchell, L. Cardelli, 1989, Mathematical Structures in Computer Science.
John C. Mitchell, R. Viswanathan, 1995 .
Moni Naor, Josef Kittler, John C. Mitchell, 2015, Lecture Notes in Computer Science.
Takeo Kanade, Moni Naor, Josef Kittler, 2017, Lecture Notes in Computer Science.
Takeo Kanade, Moni Naor, Josef Kittler, 2015, Lecture Notes in Computer Science.
Takeo Kanade, Moni Naor, Josef Kittler, 2016, Lecture Notes in Computer Science.
John C. Mitchell, Vanessa Teague, 2002, ISSS.
Ajay Chander, John C. Mitchell, Drew Dean, 2002 .
Ninghui Li, John C. Mitchell, Ninghui Li, 2002 .
John C. Mitchell, Elie Bursztein, Matthieu Martin, 2011 .
John C. Mitchell, Elizabeth Stinson, 2007 .
Takeo Kanade, Erich J. Neuhold, Moni Naor, 2018 .
Vitaly Shmatikov, Ralf Küsters, John C. Mitchell, 2004 .
John C. Mitchell, N. Durgin, Nancy A. DURGIN, 1999 .
John C. Mitchell, Brian T. Howard, M. Hoang, 1999 .
John C. Mitchell, Patrick Lincoln, Andre Scedrov, 1995 .
John C. Mitchell, John C. Mitchell, 1991, Artificial and Mathematical Theory of Computation.
Moni Naor, Josef Kittler, John C. Mitchell, 2017, Lecture Notes in Computer Science.
Josef Kittler, John C. Mitchell, John C. Mitchell, 2016, Lecture Notes in Computer Science.
John C. Mitchell, Israel Bernhard Steffen, C. P. Rangan, 2017, Lecture Notes in Computer Science.
John C. Mitchell, UniversityStanford, DepartmentStanford, 2009 .
John C. Mitchell, Anupam Datta, F. Muller, 2002 .
John C. Mitchell, 2003 .
Josef Kittler, John C. Mitchell, John C. Mitchell, 2016, Lecture Notes in Computer Science.
C. Pandu Rangan, Oscar Nierstrasz, Takeo Kanade, 2009, Lecture Notes in Computer Science.
Takeo Kanade, Alfred Kobsa, Moni Naor, 2014, Lecture Notes in Computer Science.
Moni Naor, Josef Kittler, John C. Mitchell, 2017, Lecture Notes in Computer Science.
Takeo Kanade, Alfred Kobsa, Moni Naor, 2014, Lecture Notes in Computer Science.
John C. Mitchell, Moshe Y. Vardi, M. Naor, 2004, Lecture Notes in Computer Science.
John C. Mitchell, Doug J. Tygar, T. Kanade, 2018 .
John C. Mitchell, N. Shankar, P. Lincoln, 1990, FOCS.
John C. Mitchell, M. Naor, Demetri Terzopoulos, 2017, Lecture Notes in Computer Science.
John C. Mitchell, Michael J. O'Donnell, John C. Mitchell, 1986 .
John C. Mitchell, Benjamin I. P. Rubinstein, P. Bartlett, 2009, IEEE Transactions on Dependable and Secure Computing.
John C. Mitchell, C. Kaneflakis, 2022 .
Deian Stefan, Alejandro Russo, John C. Mitchell, 2014, POST 2014.
Moni Naor, Josef Kittler, John C. Mitchell, 2017, Lecture Notes in Computer Science.
Moni Naor, Josef Kittler, John C. Mitchell, 2016, Lecture Notes in Computer Science.
John C. Mitchell, William R. Cook, Walter G. Olthoff, 1989 .
John C. Mitchell, Michael J. O'Donnell, John C. Mitchell, 1986, TARK.
John C. Mitchell, M. Naor, J. Kittler, 2017, Lecture Notes in Computer Science.
John C. Mitchell, G. Barthe, A. Scedrov, 2018, Journal of Cryptology.
Moni Naor, Josef Kittler, John C. Mitchell, 2015, Lecture Notes in Computer Science.
Stephen N. Freund, John C. Mitchell, John C. Mitchell, 1999, TOPL.
Moni Naor, Josef Kittler, John C. Mitchell, 2014, Lecture Notes in Computer Science.
Vitaly Shmatikov, John C. Mitchell, Bogdan Warinschi, 2006 .
Moni Naor, Josef Kittler, John C. Mitchell, 2015, Lecture Notes in Computer Science.
Moni Naor, Josef Kittler, John C. Mitchell, 2004, Lecture Notes in Computer Science.
Takeo Kanade, Moni Naor, Josef Kittler, 2016, Lecture Notes in Computer Science.
Moni Naor, Josef Kittler, John C. Mitchell, 2017, Lecture Notes in Computer Science.
Takeo Kanade, Alfred Kobsa, Moni Naor, 2014, Lecture Notes in Computer Science.
John C. Mitchell, C. P. Rangan, M. Naor, 2009 .
Josef Kittler, John C. Mitchell, John C. Mitchell, 2015, Lecture Notes in Computer Science.
Moni Naor, John C. Mitchell, John C. Mitchell, 2015, Lecture Notes in Computer Science.
Moni Naor, Josef Kittler, John C. Mitchell, 2016, Lecture Notes in Computer Science.
Moni Naor, Josef Kittler, John C. Mitchell, 2015, Lecture Notes in Computer Science.
Takeo Kanade, Alfred Kobsa, Moni Naor, 2011, Lecture Notes in Computer Science.
Dan Boneh, John C. Mitchell, David Lie, 2000, SIGP.
Moni Naor, John C. Mitchell, John C. Mitchell, 2013, Lecture Notes in Computer Science.
Moni Naor, Josef Kittler, John C. Mitchell, 2017, Lecture Notes in Computer Science.
Moni Naor, Jon M. Kleinberg, John C. Mitchell, 2016, Lecture Notes in Computer Science.
Moni Naor, Josef Kittler, John C. Mitchell, 2004, Lecture Notes in Computer Science.
Moni Naor, Josef Kittler, John C. Mitchell, 2004, Lecture Notes in Computer Science.
Moni Naor, Josef Kittler, John C. Mitchell, 2014, Lecture Notes in Computer Science.
Moni Naor, Josef Kittler, John C. Mitchell, 2017, Lecture Notes in Computer Science.
Moni Naor, Josef Kittler, John C. Mitchell, 2017, Lecture Notes in Computer Science.
Takeo Kanade, Moni Naor, Josef Kittler, 2016, Lecture Notes in Computer Science.
Moni Naor, John C. Mitchell, John C. Mitchell, 2014, Lecture Notes in Computer Science.
Moni Naor, John C. Mitchell, Josef Kittler, 2017, Lecture Notes in Computer Science.
Moni Naor, Josef Kittler, John C. Mitchell, 2015, Lecture Notes in Computer Science.
John C. Mitchell, Josef Kittler, John C. Mitchell, 2011, Lecture Notes in Computer Science.
Josef Kittler, John C. Mitchell, John C. Mitchell, 2015, Lecture Notes in Computer Science.
Moni Naor, Josef Kittler, John C. Mitchell, 2015, Lecture Notes in Computer Science.
Moni Naor, Josef Kittler, John C. Mitchell, 1989, Lecture Notes in Computer Science.
Moni Naor, John C. Mitchell, Josef Kittler, 2017, Lecture Notes in Computer Science.
Moni Naor, Josef Kittler, John C. Mitchell, 2017, Lecture Notes in Computer Science.
Josef Kittler, John C. Mitchell, John C. Mitchell, 2017, Lecture Notes in Computer Science.
Takeo Kanade, Alfred Kobsa, Moni Naor, 2013, Lecture Notes in Computer Science.
Moni Naor, Josef Kittler, John C. Mitchell, 2016, Lecture Notes in Computer Science.
Takeo Kanade, Moni Naor, Josef Kittler, 2015, Lecture Notes in Computer Science.
Moni Naor, Josef Kittler, John C. Mitchell, 2017, Lecture Notes in Computer Science.
Takeo Kanade, Moni Naor, Josef Kittler, 2016, Lecture Notes in Computer Science.
Moni Naor, John C. Mitchell, John C. Mitchell, 2016, Lecture Notes in Computer Science.
Takeo Kanade, Moni Naor, Josef Kittler, 2016, Lecture Notes in Computer Science.
Moni Naor, Josef Kittler, John C. Mitchell, 2016, Lecture Notes in Computer Science.
John C. Mitchell, John C. Mitchell, 2015, Lecture Notes in Computer Science.
John Mitchell, John C. Mitchell, 1984, Semantics of Data Types.
Alfred Kobsa, Moni Naor, Josef Kittler, 2012, Lecture Notes in Computer Science.
Moni Naor, John C. Mitchell, John C. Mitchell, 2016, Lecture Notes in Computer Science.
Moni Naor, Josef Kittler, John C. Mitchell, 2016, Lecture Notes in Computer Science.
Moni Naor, John C. Mitchell, John C. Mitchell, 2016, Lecture Notes in Computer Science.
Takeo Kanade, Moni Naor, Josef Kittler, 2017, Lecture Notes in Computer Science.
Takeo Kanade, Moni Naor, Josef Kittler, 2016, Lecture Notes in Computer Science.
Moni Naor, Josef Kittler, John C. Mitchell, 2016, Lecture Notes in Computer Science.
John C. Mitchell, Clark W. Barrett, S. Qadeer, 2020, ArXiv.
John C. Mitchell, Doug J. Tygar, T. Kanade, 2019 .
Moni Naor, Josef Kittler, John C. Mitchell, 2004, Lecture Notes in Computer Science.
Takeo Kanade, Jon M. Kleinberg, John C. Mitchell, 2015, Lecture Notes in Computer Science.
John C. Mitchell, Doug J. Tygar, T. Kanade, 2013 .
John C. Mitchell, Jonathan Mayer, Patrick Mutchler, 2016, Proceedings of the National Academy of Sciences.
Moni Naor, Josef Kittler, John C. Mitchell, 2016, Lecture Notes in Computer Science.
Moni Naor, Josef Kittler, John C. Mitchell, 2016, Lecture Notes in Computer Science.
Josef Kittler, John C. Mitchell, John C. Mitchell, 2016, Lecture Notes in Computer Science.
Takeo Kanade, Gerhard Weikum, Jon M. Kleinberg, 2013, Lecture Notes in Computer Science.
John C. Mitchell, John C. Mitchell, Changhua He, 2005 .
John C. Mitchell, T. Kanade, J. Kleinberg, 2008 .
John C. Mitchell, Anupam Datta, Arnab Roy, 2011, Formal Models and Techniques for Analyzing Security Protocols.
John C. Mitchell, M. Naor, J. Kittler, 2016, Lecture Notes in Computer Science.
Ralf Küsters, John C. Mitchell, Ajith Ramanathan, 2005, TCC.
John C. Mitchell, G. Michele Pinna, M. Naor, 2017, Int. Conf. on Membrane Computing.
Takeo Kanade, Moni Naor, Josef Kittler, 2014, Lecture Notes in Computer Science.
C. Pandu Rangan, Oscar Nierstrasz, Josef Kittler, 2003, Lecture Notes in Computer Science.
Moni Naor, John C. Mitchell, John C. Mitchell, 2016, Lecture Notes in Computer Science.
Deian Stefan, Alejandro Russo, John C. Mitchell, 2011 .
Moni Naor, John C. Mitchell, John C. Mitchell, 2014, Lecture Notes in Computer Science.
John C. Mitchell, Yiyun Liang, John C. Mitchell, 2020, 2020 IEEE International Conference on Blockchain (Blockchain).
Moni Naor, Josef Kittler, John C. Mitchell, 2017, Lecture Notes in Computer Science.
Moni Naor, Josef Kittler, John C. Mitchell, 2016, Lecture Notes in Computer Science.