John C. Mitchell

According to our database, John C. Mitchell authored at least 224 papers between 1982 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2024

Remote Learning and Work.

René F. Kizilcec, John C. Mitchell

IEEE Internet Comput., 2024

De-amplifying Bias from Differential Privacy in Language Model Fine-tuning.

Sanjari Srivastava, Piotr Mardziel, Zhikhun Zhang, Archana Ahlawat, Anupam Datta, John C. Mitchell

CoRR, 2024

A Large Scale RCT on Effective Error Messages in CS1.

Sierra Wang, John C. Mitchell, Chris Piech

Proceedings of the 55th ACM Technical Symposium on Computer Science Education, 2024

Math IDE: A Platform for Creating with Math.

Sierra Wang, John C. Mitchell, Nick Haber, Chris Piech

Proceedings of the 55th ACM Technical Symposium on Computer Science Education, 2024

2023

Identifying and Mitigating the Security Risks of Generative AI.

Clark W. Barrett, Brad Boyd, Elie Bursztein, Nicholas Carlini, Brad Chen, Jihye Choi, Amrita Roy Chowdhury, Mihai Christodorescu, Anupam Datta, Soheil Feizi, Kathleen Fisher, Tatsunori Hashimoto, Dan Hendrycks, Somesh Jha, Daniel Kang, Florian Kerschbaum, Eric Mitchell, John C. Mitchell, Zulfikar Ramzan, Khawaja Shams, Dawn Song, Ankur Taly, Diyi Yang

Found. Trends Priv. Secur., 2023

Serberus: Protecting Cryptographic Code from Spectres at Compile-Time.

Nicholas Mosier, Hamed Nemati, John C. Mitchell, Caroline Trippel

CoRR, 2023

Identifying and Mitigating the Security Risks of Generative AI.

Clark W. Barrett, Brad Boyd, Ellie Burzstein, Nicholas Carlini, Brad Chen, Jihye Choi, Amrita Roy Chowdhury, Mihai Christodorescu, Anupam Datta, Soheil Feizi, Kathleen Fisher, Tatsunori Hashimoto, Dan Hendrycks, Somesh Jha, Daniel Kang, Florian Kerschbaum, Eric Mitchell, John C. Mitchell, Zulfikar Ramzan, Khawaja Shams, Dawn Song, Ankur Taly, Diyi Yang

CoRR, 2023

Detecting the Reasons for Program Decomposition in CS1 and Evaluating Their Impact.

Charis Charitsis, Chris Piech, John C. Mitchell

Proceedings of the 54th ACM Technical Symposium on Computer Science Education, Volume 1, 2023

2022

The Move Borrow Checker.

Sam Blackshear, John C. Mitchell, Todd Nowacki, Shaz Qadeer

CoRR, 2022

Insights for post-pandemic pedagogy across one CS department.

Maxwell Bigman, Yosefa Gilon, Jenny Han, John C. Mitchell

CoRR, 2022

Feedback on Program Development Process for CS1 Students.

Charis Charitsis, Chris Piech, John C. Mitchell

Proceedings of the SIGCSE 2022: The 53rd ACM Technical Symposium on Computer Science Education, 2022

Using NLP to Quantify Program Decomposition in CS1.

Charis Charitsis, Chris Piech, John C. Mitchell

Proceedings of the L@S'22: Ninth ACM Conference on Learning @ Scale, New York City, NY, USA, June 1, 2022

Function Names: Quantifying the Relationship Between Identifiers and Their Functionality to Improve Them.

Charis Charitsis, Chris Piech, John C. Mitchell

Proceedings of the L@S'22: Ninth ACM Conference on Learning @ Scale, New York City, NY, USA, June 1, 2022

2021

Assessing Function Names and Quantifying the Relationship Between Identifiers and Their Functionality to Improve Them.

Charis Charitsis, Chris Piech, John C. Mitchell

Proceedings of the L@S'21: Eighth ACM Conference on Learning @ Scale, 2021

Simplifying Automated Assessment in CS1.

Charis Charitsis, Chris Piech, John C. Mitchell

Proceedings of the ICETM 2021: 4th International Conference on Education Technology Management, Tokyo, Japan, December 17, 2021

2020

Resources: A Safe Language Abstraction for Money.

Sam Blackshear, David L. Dill, Shaz Qadeer, Clark W. Barrett, John C. Mitchell, Oded Padon, Yoni Zohar

CoRR, 2020

Teaching Online in 2020: Experiments, Empathy, Discovery.

Maxwell Bigman, John C. Mitchell

Proceedings of the IEEE Learning With MOOCS, 2020

Reinforcement Learning for the Adaptive Scheduling of Educational Activities.

Jonathan Bassen, Bharathan Balaji, Michael Schaarschmidt, Candace Thille, Jay Painter, Dawn Zimmaro, Alex Games, Ethan Fast, John C. Mitchell

Proceedings of the CHI '20: CHI Conference on Human Factors in Computing Systems, 2020

Model Checking Bitcoin and other Proof-of-Work Consensus Protocols.

Max DiGiacomo-Castillo, Yiyun Liang, Advay Pal, John C. Mitchell

Proceedings of the IEEE International Conference on Blockchain, 2020

2019

Automated Analysis of Cryptographic Assumptions in Generic Group Models.

Gilles Barthe, Edvard Fagerholm, Dario Fiore, John C. Mitchell, Andre Scedrov, Benedikt Schmidt

J. Cryptol., 2019

2018

Semantic Security Invariance under Variant Computational Assumptions.

Eftychios Theodorakis, John C. Mitchell

IACR Cryptol. ePrint Arch., 2018

Data Oblivious Genome Variants Search on Intel SGX.

Avradip Mandal, John C. Mitchell, Hart Montgomery, Arnab Roy

IACR Cryptol. ePrint Arch., 2018

OARS: exploring instructor analytics for online learning.

Jonathan Bassen, Iris Howley, Ethan Fast, John C. Mitchell, Candace Thille

Proceedings of the Fifth Annual ACM Conference on Learning at Scale, 2018

2017

Flexible dynamic information flow control in the presence of exceptions.

Deian Stefan, David Mazières, John C. Mitchell, Alejandro Russo

J. Funct. Program., 2017

Hails: Protecting data privacy in untrusted web applications.

Daniel B. Giffin, Amit Levy, Deian Stefan, David Terei, David Mazières, John C. Mitchell, Alejandro Russo

J. Comput. Secur., 2017

Privacy for Targeted Advertising.

Avradip Mandal, John C. Mitchell, Hart William Montgomery, Arnab Roy

IACR Cryptol. ePrint Arch., 2017

2016

Evaluating the privacy properties of telephone metadata.

Jonathan R. Mayer, Patrick Mutchler, John C. Mitchell

Proc. Natl. Acad. Sci. USA, 2016

Data Representation and Compression Using Linear-Programming Approximations.

Hristo S. Paskov, John C. Mitchell, Trevor J. Hastie

Proceedings of the 4th International Conference on Learning Representations, 2016

Target Fragmentation in Android Apps.

Patrick Mutchler, Yeganeh Safaei, Adam Doupé, John C. Mitchell

Proceedings of the 2016 IEEE Security and Privacy Workshops, 2016

Privacy-Preserving Shortest Path Computation.

David J. Wu, Joe Zimmerman, Jérémy Planul, John C. Mitchell

Proceedings of the 23rd Annual Network and Distributed System Security Symposium, 2016

2015

IFC Inside: Retrofitting Languages with Dynamic Information Flow Control (Extended Version).

Stefan Heule, Deian Stefan, Edward Z. Yang, John C. Mitchell, Alejandro Russo

CoRR, 2015

A Symbolic Logic with Concrete Bounds for Cryptographic Protocols.

Anupam Datta, Joseph Y. Halpern, John C. Mitchell, Arnab Roy, Shayak Sen

CoRR, 2015

Fast Algorithms for Learning with Long N-grams via Suffix Tree Based Matrix Multiplication.

Hristo S. Paskov, John C. Mitchell, Trevor J. Hastie

Proceedings of the Thirty-First Conference on Uncertainty in Artificial Intelligence, 2015

IFC Inside: Retrofitting Languages with Dynamic Information Flow Control.

Stefan Heule, Deian Stefan, Edward Z. Yang, John C. Mitchell, Alejandro Russo

Proceedings of the Principles of Security and Trust - 4th International Conference, 2015

2014

MOOCs on and off the Farm: MOOCs and technology to advance learning and learning research (Ubiquity symposium).

John C. Mitchell

Ubiquity, 2014

Massively Open Online Courses, Current State and Perspectives (Dagstuhl Perspectives Workshop 14112).

Pierre Dillenbourg, Claude Kirchner, John C. Mitchell, Martin Wirsing

Dagstuhl Reports, 2014

Massive Open Online Courses: Current State and Perspectives (Dagstuhl Perspectives Workshop 14112).

Pierre Dillenbourg, Armando Fox, Claude Kirchner, John C. Mitchell, Martin Wirsing

Dagstuhl Manifestos, 2014

The End is Nigh: Generic Solving of Text-based CAPTCHAs.

Elie Bursztein, Jonathan Aigrain, Angelika Moscicki, John C. Mitchell

Proceedings of the 8th USENIX Workshop on Offensive Technologies, 2014

Data-Oblivious Data Structures.

John C. Mitchell, Joe Zimmerman

Proceedings of the 31st International Symposium on Theoretical Aspects of Computer Science (STACS 2014), 2014

Easy does it: more usable CAPTCHAs.

Elie Bursztein, Angelique Moscicki, Celine Fabry, Steven Bethard, John C. Mitchell, Dan Jurafsky

Proceedings of the CHI Conference on Human Factors in Computing Systems, 2014

An Efficient Algorithm for Large Scale Compressive Feature Learning.

Hristo S. Paskov, John C. Mitchell, Trevor J. Hastie

Proceedings of the Seventeenth International Conference on Artificial Intelligence and Statistics, 2014

2013

Understanding the Challenges with Medical Data Segmentation for Privacy.

Ellick Chan, Peifung E. Lam, John C. Mitchell

Proceedings of the 2013 USENIX Workshop on Health Information Technologies, 2013

Compressive Feature Learning.

Hristo S. Paskov, Robert West, John C. Mitchell, Trevor J. Hastie

Proceedings of the Advances in Neural Information Processing Systems 26: 27th Annual Conference on Neural Information Processing Systems 2013. Proceedings of a meeting held December 5-8, 2013

Toward Principled Browser Security.

Edward Z. Yang, Deian Stefan, John C. Mitchell, David Mazières, Petr Marchenko, Brad Karp

Proceedings of the 14th Workshop on Hot Topics in Operating Systems, 2013

Oblivious Program Execution and Path-Sensitive Non-interference.

Jérémy Planul, John C. Mitchell

Proceedings of the 2013 IEEE 26th Computer Security Foundations Symposium, 2013

2012

A Learning-Based Approach to Reactive Security.

Adam Barth, Benjamin I. P. Rubinstein, Mukund Sundararajan, John C. Mitchell, Dawn Song, Peter L. Bartlett

IEEE Trans. Dependable Secur. Comput., 2012

Privacy and Cybersecurity: The Next 100 Years.

Carl E. Landwehr, Dan Boneh, John C. Mitchell, Steven M. Bellovin, Susan Landau, Michael E. Lesk

Proc. IEEE, 2012

Information-flow control for programming on encrypted data.

John C. Mitchell, Rahul Sharma, Deian Stefan, Joe Zimmerman

IACR Cryptol. ePrint Arch., 2012

SessionJuggler: secure web login from an untrusted terminal using session hijacking.

Elie Bursztein, Chinmay Soman, Dan Boneh, John C. Mitchell

Proceedings of the 21st World Wide Web Conference 2012, 2012

Third-Party Web Tracking: Policy and Technology.

Jonathan R. Mayer, John C. Mitchell

Proceedings of the IEEE Symposium on Security and Privacy, 2012

Declarative privacy policy: finite models and attribute-based encryption.

Peifung E. Lam, John C. Mitchell, Andre Scedrov, Sharada Sundaram, Frank Wang

Proceedings of the ACM International Health Informatics Symposium, 2012

Addressing covert termination and timing channels in concurrent information flow systems.

Deian Stefan, Alejandro Russo, Pablo Buiras, Amit Levy, John C. Mitchell, David Mazières

Proceedings of the ACM SIGPLAN International Conference on Functional Programming, 2012

2011

Security Modeling and Analysis.

Jason Bau, John C. Mitchell

IEEE Secur. Priv., 2011

A Domain-Specific Language for Computing on Encrypted Data.

Alex Bain, John C. Mitchell, Rahul Sharma, Deian Stefan, Joe Zimmerman

IACR Cryptol. ePrint Arch., 2011

A Symbolic Logic with Exact Bounds for Cryptographic Protocols.

John C. Mitchell

Proceedings of the Logic, Language, Information and Computation, 2011

Automated Analysis of Security-Critical JavaScript APIs.

Ankur Taly, Úlfar Erlingsson, John C. Mitchell, Mark S. Miller, Jasvir Nagra

Proceedings of the 32nd IEEE Symposium on Security and Privacy, 2011

The Failure of Noise-Based Non-continuous Audio Captchas.

Elie Bursztein, Romain Beauxis, Hristo S. Paskov, Daniele Perito, Celine Fabry, John C. Mitchell

Proceedings of the 32nd IEEE Symposium on Security and Privacy, 2011

Program Analysis for Web Security.

John C. Mitchell

Proceedings of the Static Analysis - 18th International Symposium, 2011

Disjunction Category Labels.

Deian Stefan, Alejandro Russo, David Mazières, John C. Mitchell

Proceedings of the Information Security Technology for Applications, 2011

TBA : A Hybrid of Logic and Extensional Access Control Systems.

Timothy L. Hinrichs, William C. Garrison III, Adam J. Lee, Skip Saunders, John C. Mitchell

Proceedings of the Formal Aspects of Security and Trust - 8th International Workshop, 2011

Flexible dynamic information flow control in Haskell.

Deian Stefan, Alejandro Russo, John C. Mitchell, David Mazières

Proceedings of the 4th ACM SIGPLAN Symposium on Haskell, 2011

A Domain-Specific Language for Computing on Encrypted Data (Invited Talk).

Alex Bain, John C. Mitchell, Rahul Sharma, Deian Stefan, Joe Zimmerman

Proceedings of the IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2011

Reclaiming the Blogosphere, TalkBack: A Secure LinkBack Protocol for Weblogs.

Elie Bursztein, Baptiste Gourdin, John C. Mitchell

Proceedings of the Computer Security - ESORICS 2011, 2011

Text-based CAPTCHA strengths and weaknesses.

Elie Bursztein, Matthieu Martin, John C. Mitchell

Proceedings of the 18th ACM Conference on Computer and Communications Security, 2011

Protocol Composition Logic.

Anupam Datta, John C. Mitchell, Arnab Roy, Stephan Hyeonjun Stiller

Proceedings of the Formal Models and Techniques for Analyzing Security Protocols, 2011

2010

A Security Evaluation of DNSSEC with NSEC3.

Jason Bau, John C. Mitchell

IACR Cryptol. ePrint Arch., 2010

Privacy Challenges in Patient-centric Health Information Systems.

Anupam Datta, Nipun Dave, John C. Mitchell, Helen Nissenbaum, Divya Sharma

Proceedings of the 1st USENIX Workshop on Health Security and Privacy, 2010

Webseclab Security Education Workbench.

Elie Bursztein, Baptiste Gourdin, Celine Fabry, Jason Bau, Gustav Rydstedt, Hristo Bojinov, Dan Boneh, John C. Mitchell

Proceedings of the 3rd Workshop on Cyber Security Experimentation and Test, 2010

Homogeneity as an Advantage: It Takes a Community to Protect an Application.

Linda Briesemeister, Steven Dawson, Patrick Lincoln, Hassen Saïdi, Jim Thornton, Glenn Durfee, Peter C. S. Kwan, Elizabeth Stinson, Adam J. Oliner, John C. Mitchell

Proceedings of the 2010 Workshop on Collaborative Methods for Security and Privacy, 2010

Object Capabilities and Isolation of Untrusted Web Applications.

Sergio Maffeis, John C. Mitchell, Ankur Taly

Proceedings of the 31st IEEE Symposium on Security and Privacy, 2010

How Good Are Humans at Solving CAPTCHAs? A Large Scale Evaluation.

Elie Bursztein, Steven Bethard, Celine Fabry, John C. Mitchell, Daniel Jurafsky

Proceedings of the 31st IEEE Symposium on Security and Privacy, 2010

State of the Art: Automated Black-Box Web Application Vulnerability Testing.

Jason Bau, Elie Bursztein, Divij Gupta, John C. Mitchell

Proceedings of the 31st IEEE Symposium on Security and Privacy, 2010

Towards a Formal Foundation of Web Security.

Devdatta Akhawe, Adam Barth, Peifung E. Lam, John C. Mitchell, Dawn Song

Proceedings of the 23rd IEEE Computer Security Foundations Symposium, 2010

2009

Securing frame communication in browsers.

Adam Barth, Collin Jackson, John C. Mitchell

Commun. ACM, 2009

A Formalization of HIPAA for a Medical Messaging System.

Peifung E. Lam, John C. Mitchell, Sharada Sundaram

Proceedings of the Trust, 2009

Practical declarative network management.

Timothy L. Hinrichs, Natasha Gude, Martín Casado, John C. Mitchell, Scott Shenker

Proceedings of the 1st ACM SIGCOMM 2009 Workshop on Research on Enterprise Networking, 2009

Isolating JavaScript with Filters, Rewriting, and Wrappers.

Sergio Maffeis, John C. Mitchell, Ankur Taly

Proceedings of the Computer Security, 2009

09073 Abstracts Collection - Model-Based Design of Trustworthy Health Information Systems.

Ruth Breu, John C. Mitchell, Janos Sztipanovits, Alfred Winter

Proceedings of the Model-Based Design of Trustworthy Health Information Systems, 11.02., 2009

Using Strategy Objectives for Network Security Analysis.

Elie Bursztein, John C. Mitchell

Proceedings of the Information Security and Cryptology - 5th International Conference, 2009

TrackBack spam: abuse and prevention.

Elie Bursztein, Peifung E. Lam, John C. Mitchell

Proceedings of the first ACM Cloud Computing Security Workshop, 2009

2008

Characterizing Bots' Remote Control Behavior.

Elizabeth Stinson, John C. Mitchell

Proceedings of the Botnet Detection: Countering the Largest Security Threat, 2008

On the Relationships between Notions of Simulation-Based Security.

Ralf Küsters, Anupam Datta, John C. Mitchell, Ajith Ramanathan

J. Cryptol., 2008

An Automated Approach for Proving PCL Invariants.

John C. Mitchell, Arnab Roy, Mukund Sundararajan

Proceedings of the Third International Workshop on Security and Rewriting Techniques, 2008

Towards Systematic Evaluation of the Evadability of Bot/Botnet Detection Methods.

Elizabeth Stinson, John C. Mitchell

Proceedings of the 2nd USENIX Workshop on Offensive Technologies, 2008

A Layered Architecture for Detecting Malicious Behaviors.

Lorenzo Martignoni, Elizabeth Stinson, Matt Fredrikson, Somesh Jha, John C. Mitchell

Proceedings of the Recent Advances in Intrusion Detection, 11th International Symposium, 2008

Robust defenses for cross-site request forgery.

Adam Barth, Collin Jackson, John C. Mitchell

Proceedings of the 2008 ACM Conference on Computer and Communications Security, 2008

An Operational Semantics for JavaScript.

Sergio Maffeis, John C. Mitchell, Ankur Taly

Proceedings of the Programming Languages and Systems, 6th Asian Symposium, 2008

Analysis of EAP-GPSK Authentication Protocol.

John C. Mitchell, Arnab Roy, Paul D. Rowe, Andre Scedrov

Proceedings of the Applied Cryptography and Network Security, 6th International Conference, 2008

2007

Inductive Proof Method for Computational Secrecy.

Arnab Roy, Anupam Datta, Ante Derek, John C. Mitchell

IACR Cryptol. ePrint Arch., 2007

Protocol Composition Logic (PCL).

Anupam Datta, Ante Derek, John C. Mitchell, Arnab Roy

Proceedings of the Computation, Meaning, and Logic: Articles dedicated to Gordon Plotkin, 2007

Transaction Generators: Root Kits for Web.

Collin Jackson, Dan Boneh, John C. Mitchell

Proceedings of the 2nd USENIX Workshop on Hot Topics in Security, 2007

Formal Proofs of Cryptographic Security of Diffie-Hellman-Based Protocols.

Arnab Roy, Anupam Datta, John C. Mitchell

Proceedings of the Trustworthy Global Computing, Third Symposium, 2007

Inductive Proofs of Computational Secrecy.

Arnab Roy, Anupam Datta, Ante Derek, John C. Mitchell

Proceedings of the Computer Security, 2007

Characterizing Bots' Remote Control Behavior.

Elizabeth Stinson, John C. Mitchell

Proceedings of the Detection of Intrusions and Malware, 2007

Privacy and Utility in Business Processes.

Adam Barth, John C. Mitchell, Anupam Datta, Sharada Sundaram

Proceedings of the 20th IEEE Computer Security Foundations Symposium, 2007

2006

A probabilistic polynomial-time process calculus for the analysis of cryptographic protocols.

John C. Mitchell, Ajith Ramanathan, Andre Scedrov, Vanessa Teague

Theor. Comput. Sci., 2006

Compositional analysis of contract-signing protocols.

Michael Backes, Anupam Datta, Ante Derek, John C. Mitchell, Mathieu Turuani

Theor. Comput. Sci., 2006

Understanding SPKI/SDSI using first-order logic.

Ninghui Li, John C. Mitchell

Int. J. Inf. Sec., 2006

Inductive Trace Properties for Computational Security.

Arnab Roy, Anupam Datta, Ante Derek, John C. Mitchell

IACR Cryptol. ePrint Arch., 2006

Key Exchange Protocols: Security Definition, Proof Method and Applications.

Anupam Datta, Ante Derek, John C. Mitchell, Bogdan Warinschi

IACR Cryptol. ePrint Arch., 2006

Protecting browser state from web privacy attacks.

Collin Jackson, Andrew Bortz, Dan Boneh, John C. Mitchell

Proceedings of the 15th international conference on World Wide Web, 2006

Privacy and Contextual Integrity: Framework and Applications.

Adam Barth, Anupam Datta, John C. Mitchell, Helen Nissenbaum

Proceedings of the 2006 IEEE Symposium on Security and Privacy (S&P 2006), 2006

Managing Digital Rights using Linear Logic.

Adam Barth, John C. Mitchell

Proceedings of the 21th IEEE Symposium on Logic in Computer Science (LICS 2006), 2006

Computationally Sound Compositional Logic for Key Exchange Protocols.

Anupam Datta, Ante Derek, John C. Mitchell, Bogdan Warinschi

Proceedings of the 19th IEEE Computer Security Foundations Workshop, 2006

Secrecy Analysis in Protocol Composition Logic.

Arnab Roy, Anupam Datta, Ante Derek, John C. Mitchell, Jean-Pierre Seifert

Proceedings of the Advances in Computer Science, 2006

2005

Contract signing, optimism, and advantage.

Rohit Chadha, John C. Mitchell, Andre Scedrov, Vitaly Shmatikov

J. Log. Algebraic Methods Program., 2005

A derivation system and compositional logic for security protocols.

Anupam Datta, Ante Derek, John C. Mitchell, Dusko Pavlovic

J. Comput. Secur., 2005

Beyond proof-of-compliance: security analysis in trust management.

Ninghui Li, John C. Mitchell, William H. Winsborough

J. ACM, 2005

Games and the Impossibility of Realizable Ideal Functionality.

Anupam Datta, Ante Derek, John C. Mitchell, Ajith Ramanathan, Andre Scedrov

IACR Cryptol. ePrint Arch., 2005

Stronger Password Authentication Using Browser Extensions.

Blake Ross, Collin Jackson, Nick Miyake, Dan Boneh, John C. Mitchell

Proceedings of the 14th USENIX Security Symposium, Baltimore, MD, USA, July 31, 2005

Security analysis of network protocols: logical and computational methods.

John C. Mitchell

Proceedings of the 7th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2005

Enterprise privacy promises and enforcement.

Adam Barth, John C. Mitchell

Proceedings of the POPL 2005 Workshop on Issues in the Theory of Security, 2005

Security Analysis and Improvements for IEEE 802.11i.

Changhua He, John C. Mitchell

Proceedings of the Network and Distributed System Security Symposium, 2005

Probabilistic Polynomial-Time Semantics for a Protocol Security Logic.

Anupam Datta, Ante Derek, John C. Mitchell, Vitaly Shmatikov, Mathieu Turuani

Proceedings of the Automata, Languages and Programming, 32nd International Colloquium, 2005

A modular correctness proof of IEEE 802.11i and TLS.

Changhua He, Mukund Sundararajan, Anupam Datta, Ante Derek, John C. Mitchell

Proceedings of the 12th ACM Conference on Computer and Communications Security, 2005

2004

Multiset rewriting and the complexity of bounded security protocols.

Nancy A. Durgin, Patrick Lincoln, John C. Mitchell

J. Comput. Secur., 2004

Reconstructing Trust Management.

Ajay Chander, Drew Dean, John C. Mitchell

J. Comput. Secur., 2004

Analysis of the 802.11i 4-way handshake.

Changhua He, John C. Mitchell

Proceedings of the 2004 ACM Workshop on Wireless Security, 2004

Conflict and combination in privacy policy languages.

Adam Barth, John C. Mitchell, Justin Rosenstein

Proceedings of the 2004 ACM Workshop on Privacy in the Electronic Society, 2004

Client-Side Defense Against Web-Based Identity Theft.

Neil Chou, Robert Ledesma, Yuka Teraguchi, John C. Mitchell

Proceedings of the Network and Distributed System Security Symposium, 2004

A Distributed High Assurance Reference Monitor.

Ajay Chander, Drew Dean, John C. Mitchell

Proceedings of the Information Security, 7th International Conference, 2004

Probabilistic Bisimulation and Equivalence for Security Analysis of Network Protocols.

Ajith Ramanathan, John C. Mitchell, Andre Scedrov, Vanessa Teague

Proceedings of the Foundations of Software Science and Computation Structures, 2004

Abstraction and Refinement in Protocol Derivation.

Anupam Datta, Ante Derek, John C. Mitchell, Dusko Pavlovic

Proceedings of the 17th IEEE Computer Security Foundations Workshop, 2004

Securing Java RMI-Based Distributed Applications.

Ninghui Li, John C. Mitchell, Derrick Tong

Proceedings of the 20th Annual Computer Security Applications Conference (ACSAC 2004), 2004

2003

Security by typing.

Mourad Debbabi, Nancy A. Durgin, Mohamed Mejri, John C. Mitchell

Int. J. Softw. Tools Technol. Transf., 2003

Distributed Credential Chain Discovery in Trust Management.

Ninghui Li, William H. Winsborough, John C. Mitchell

J. Comput. Secur., 2003

A Compositional Logic for Proving Security Properties of Protocols.

Nancy A. Durgin, John C. Mitchell, Dusko Pavlovic

J. Comput. Secur., 2003

A Type System for the Java Bytecode Language and Verifier.

Stephen N. Freund, John C. Mitchell

J. Autom. Reason., 2003

Specifying and Verifying Hardware for Tamper-Resistant Software.

David Lie, John C. Mitchell, Chandramohan A. Thekkath, Mark Horowitz

Proceedings of the 2003 IEEE Symposium on Security and Privacy (S&P 2003), 2003

Beyond Proof-of-Compliance: Safety and Availability Analysis in Trust Management.

Ninghui Li, William H. Winsborough, John C. Mitchell

Proceedings of the 2003 IEEE Symposium on Security and Privacy (S&P 2003), 2003

DATALOG with Constraints: A Foundation for Trust Management Languages.

Ninghui Li, John C. Mitchell

Proceedings of the Practical Aspects of Declarative Languages, 5th International Symposium, 2003

A Role-based Trust-management Framework.

Ninghui Li, John C. Mitchell

Proceedings of the 3rd DARPA Information Survivability Conference and Exposition (DISCEX-III 2003), 2003

A Derivation System for Security Protocols and its Logical Formalization.

Anupam Datta, Ante Derek, John C. Mitchell, Dusko Pavlovic

Proceedings of the 16th IEEE Computer Security Foundations Workshop (CSFW-16 2003), 30 June, 2003

Composition of Cryptographic Protocols in a Probabilistic Polynomial-Time Process Calculus.

Paulo Mateus, John C. Mitchell, Andre Scedrov

Proceedings of the CONCUR 2003, 2003

Secure protocol composition.

Anupam Datta, Ante Derek, John C. Mitchell, Dusko Pavlovic

Proceedings of the 2003 ACM workshop on Formal methods in security engineering, 2003

Relating cryptography and formal methods: a panel.

Michael Backes, Catherine Meadows, John C. Mitchell

Proceedings of the 2003 ACM workshop on Formal methods in security engineering, 2003

Concepts in programming languages.

John C. Mitchell

Cambridge University Press, ISBN: 978-0-521-78098-8, 2003

2002

Finite-state analysis of two contract signing protocols.

Vitaly Shmatikov, John C. Mitchell

Theor. Comput. Sci., 2002

Design of a Role-Based Trust-Management Framework.

Ninghui Li, John C. Mitchell, William H. Winsborough

Proceedings of the 2002 IEEE Symposium on Security and Privacy, 2002

Multiset Rewriting and Security Protocol Analysis.

John C. Mitchell

Proceedings of the Rewriting Techniques and Applications, 13th International Conference, 2002

Autonomous Nodes and Distributed Mechanisms.

John C. Mitchell, Vanessa Teague

Proceedings of the Software Security -- Theories and Systems, 2002

A Comparison between Strand Spaces and Multiset Rewriting for Security Protocol Analysis.

Iliano Cervesato, Nancy A. Durgin, Patrick Lincoln, John C. Mitchell, Andre Scedrov

Proceedings of the Software Security -- Theories and Systems, 2002

2001

A Probabilistic Polynomial-time Calculus For Analysis of Cryptographic Protocols (Preliminary Report).

John C. Mitchell, Ajith Ramanathan, Andre Scedrov, Vanessa Teague

Proceedings of the Seventeenth Conference on the Mathematical Foundations of Programming Semantics, 2001

Programming language methods in computer security.

John C. Mitchell

Proceedings of the Conference Record of POPL 2001: The 28th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2001

Probabilistic Polynominal-Time Process Calculus and Security Protocol Analysis.

John C. Mitchell, Ajith Ramanathan, Andre Scedrov, Vanessa Teague

Proceedings of the 16th Annual IEEE Symposium on Logic in Computer Science, 2001

Probabilistic Polynomial-Time Process Calculus and Security Protocol Analysis.

John C. Mitchell

Proceedings of the Programming Languages and Systems, 2001

A Compositional Logic for Protocol Correctness.

Nancy A. Durgin, John C. Mitchell, Dusko Pavlovic

Proceedings of the 14th IEEE Computer Security Foundations Workshop (CSFW-14 2001), 2001

A State-Transition Model of Trust Management and Access Control.

Ajay Chander, John C. Mitchell, Drew Dean

Proceedings of the 14th IEEE Computer Security Foundations Workshop (CSFW-14 2001), 2001

Distributed credential chain discovery in trust management: extended abstract.

Ninghui Li, William H. Winsborough, John C. Mitchell

Proceedings of the CCS 2001, 2001

2000

Analysis of a Fair Exchange Protocol.

Vitaly Shmatikov, John C. Mitchell

Proceedings of the Network and Distributed System Security Symposium, 2000

Analysis of Abuse-Free Contract Signing.

Vitaly Shmatikov, John C. Mitchell

Proceedings of the Financial Cryptography, 2000

Relating Strands and Multiset Rewriting for Security Protocol Analysis.

Iliano Cervesato, Nancy A. Durgin, John C. Mitchell, Patrick Lincoln, Andre Scedrov

Proceedings of the 13th IEEE Computer Security Foundations Workshop, 2000

Architectural Support for Copy and Tamper Resistant Software.

David Lie, Chandramohan A. Thekkath, Mark Mitchell, Patrick Lincoln, Dan Boneh, John C. Mitchell, Mark Horowitz

Proceedings of the ASPLOS-IX Proceedings of the 9th International Conference on Architectural Support for Programming Languages and Operating Systems, 2000

1999

The type system for object initializatiion in the Jave bytecode language.

Stephen N. Freund, John C. Mitchell

ACM Trans. Program. Lang. Syst., 1999

Optimization Complexity of Linear Logic Proof Games.

Patrick Lincoln, John C. Mitchell, Andre Scedrov

Theor. Comput. Sci., 1999

Parametricity and Variants of Girard's <i>J</i> Operator.

Robert Harper, John C. Mitchell

Inf. Process. Lett., 1999

A Core Calculus of Classes and Objects.

Viviana Bono, John C. Mitchell, Amit Patel, Vitaly Shmatikov

Proceedings of the Fifteenth Conference on Mathematical Foundations of Progamming Semantics, 1999

A Formal Framework for the Java Bytecode Language and Verifier.

Stephen N. Freund, John C. Mitchell

Proceedings of the 1999 ACM SIGPLAN Conference on Object-Oriented Programming Systems, 1999

Probabilistic Polynomial-Time Equivalence and Security Analysis.

Patrick Lincoln, John C. Mitchell, Mark Mitchell, Andre Scedrov

Proceedings of the FM'99 - Formal Methods, 1999

A Meta-Notation for Protocol Analysis.

Iliano Cervesato, Nancy A. Durgin, Patrick Lincoln, John C. Mitchell, Andre Scedrov

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

1998

On the Relationship Between Classes, Objects, and Data Abstraction.

Kathleen Fisher, John C. Mitchell

Theory Pract. Object Syst., 1998

Finite-State Analysis of SSL 3.0.

John C. Mitchell, Vitaly Shmatikov, Ulrich Stern

Proceedings of the 7th USENIX Security Symposium, 1998

A Linguistic Characterization of Bounded Oracle Computation and Probabilistic Polynomial Time.

John C. Mitchell, Mark Mitchell, Andre Scedrov

Proceedings of the 39th Annual Symposium on Foundations of Computer Science, 1998

A Probabilistic Poly-Time Framework for Protocol Analysis.

Patrick Lincoln, John C. Mitchell, Mark Mitchell, Andre Scedrov

Proceedings of the CCS '98, 1998

Finite-State Analysis of Security Protocols.

John C. Mitchell

Proceedings of the Computer Aided Verification, 10th International Conference, 1998

1997

ML and Beyond.

Robert Harper, John C. Mitchell

ACM SIGPLAN Notices, 1997

The analysis of programming structure.

John C. Mitchell, Jon G. Riecke

SIGACT News, 1997

A Type System For Object Initialization In the Java Bytecode Language.

Stephen N. Freund, John C. Mitchell

Proceedings of the Second Workshop on Higher-Order Operational Techniques in Semantics, 1997

Automated analysis of cryptographic protocols using Mur-phi.

John C. Mitchell, Mark Mitchell, Ulrich Stern

Proceedings of the 1997 IEEE Symposium on Security and Privacy, 1997

Adding Type Parameterization to the Java Language.

Ole Agesen, Stephen N. Freund, John C. Mitchell

Proceedings of the 1997 ACM SIGPLAN Conference on Object-Oriented Programming Systems, 1997

1996

Standard ML-NJ Weak Polymorphism and Imperative Constructs.

John C. Mitchell, Ramesh Viswanathan

Inf. Comput., 1996

The Complexity of Local Proof Search in Linear Logic.

Patrick Lincoln, John C. Mitchell, Andre Scedrov

Proceedings of the Linear Logic Tokyo Meeting 1996, Keio University, Mita Campus, Tokyo, Japan, March 29, 1996

Strategic Directions in Software Engineering and Programming Languages.

Carl A. Gunter, John C. Mitchell, David Notkin

ACM Comput. Surv., 1996

Linear logic proof games and optimization.

Patrick Lincoln, John C. Mitchell, Andre Scedrov

Bull. Symb. Log., 1996

Effective Models of Polymorphism, Subtyping and Recursion (Extended Abstract).

John C. Mitchell, Ramesh Viswanathan

Proceedings of the Automata, Languages and Programming, 23rd International Colloquium, 1996

Foundations for programming languages.

John C. Mitchell

Foundation of computing series, MIT Press, ISBN: 978-0-262-13321-0, 1996

1995

The Development of Type Systems for Object-Oriented Languages.

Kathleen Fisher, John C. Mitchell

Theory Pract. Object Syst., 1995

Lower Bounds on Type Inference with Subtypes.

My Hoang, John C. Mitchell

Proceedings of the Conference Record of POPL'95: 22nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 1995

A Delegation-based Object Calculus with Subtying.

Kathleen Fisher, John C. Mitchell

Proceedings of the Fundamentals of Computation Theory, 10th International Symposium, 1995

1994

A lambda Calculus of Objects and Method Specialization.

Kathleen Fisher, Furio Honsell, John C. Mitchell

Nord. J. Comput., 1994

An Extension of System F with Subtyping

Luca Cardelli, Simone Martini, John C. Mitchell, Andre Scedrov

Inf. Comput., 1994

Notes on Typed Object-Oriented Programming.

Kathleen Fisher, John C. Mitchell

Proceedings of the Theoretical Aspects of Computer Software, 1994

A Type System for Prototyping Languages.

Dinesh Katiyar, David C. Luckham, John C. Mitchell

Proceedings of the Conference Record of POPL'94: 21st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 1994

Polymorphism and Subtyping in Interfaces.

Dinesh Katiyar, David C. Luckham, John C. Mitchell

Proceedings of the Workshop on Interface Definition Languages, 1994

1993

On the Type Structure of Standard ML.

Robert Harper, John C. Mitchell

ACM Trans. Program. Lang. Syst., 1993

On Abstraction and the Expressive Power of Programming Languages.

John C. Mitchell

Sci. Comput. Program., 1993

Type Inference with Extended Pattern Matching and Subtypes.

Lalita Jategaonkar, John C. Mitchell

Fundam. Informaticae, 1993

Standard ML-NJ weak polymorphism and imperative constructs

My Hoang, John C. Mitchell, Ramesh Viswanathan

Proceedings of the Eighth Annual Symposium on Logic in Computer Science (LICS '93), 1993

1992

Decision Problems for Propositional Linear Logic.

Patrick Lincoln, John C. Mitchell, Andre Scedrov, Natarajan Shankar

Ann. Pure Appl. Log., 1992

Algorithmic Aspects of Type Inference with Subtypes.

Patrick Lincoln, John C. Mitchell

Proceedings of the Conference Record of the Nineteenth Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 1992

PER Models of Subtyping, Recursive Types and Higher-Order Polymorphism.

Kim B. Bruce, John C. Mitchell

Proceedings of the Conference Record of the Nineteenth Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 1992

Operational aspects of linear lambda calculus

Patrick Lincoln, John C. Mitchell

Proceedings of the Seventh Annual Symposium on Logic in Computer Science (LICS '92), 1992

Notes on Sconing and Relators.

John C. Mitchell, Andre Scedrov

Proceedings of the Computer Science Logic, 6th Workshop, 1992

1991

Operations on Records.

Luca Cardelli, John C. Mitchell

Math. Struct. Comput. Sci., 1991

Type Inference With Simple Subtypes.

John C. Mitchell

J. Funct. Program., 1991

Kripke-Style Models for Typed lambda Calculus.

John C. Mitchell, Eugenio Moggi

Ann. Pure Appl. Log., 1991

An Extension of Standard ML Modules with Subtyping and Inheritance.

John C. Mitchell, Sigurd Meldal, Neel Madhav

Proceedings of the Conference Record of the Eighteenth Annual ACM Symposium on Principles of Programming Languages, 1991

Connecting Formal Semantics to Constructive Intuitions.

Stuart A. Kurtz, John C. Mitchell, Michael J. O'Donnell

Proceedings of the Constructivity in Computer Science, 1991

On the Equivalence of Data Representations.

John C. Mitchell

Proceedings of the Artificial and Mathematical Theory of Computation, 1991

Unification and ML-Type Reconstruction.

Paris C. Kanellakis, Harry G. Mairson, John C. Mitchell

Proceedings of the Computational Logic - Essays in Honor of Alan Robinson, 1991

1990

The Semantics of Second-Order Lambda Calculus

Kim B. Bruce, Albert R. Meyer, John C. Mitchell

Inf. Comput., March, 1990

Toward a Typed Foundation for Method Specialization and Inheritance.

John C. Mitchell

Proceedings of the Conference Record of the Seventeenth Annual ACM Symposium on Principles of Programming Languages, 1990

Higher-Order Modules and the Phase Distinction.

Robert Harper, John C. Mitchell, Eugenio Moggi

Proceedings of the Conference Record of the Seventeenth Annual ACM Symposium on Principles of Programming Languages, 1990

Operational and Axiomatic Semantics of PCF.

Brian T. Howard, John C. Mitchell

Proceedings of the 1990 ACM Conference on LISP and Functional Programming, 1990

Type Systems for Programming Languages.

John C. Mitchell

Proceedings of the Handbook of Theoretical Computer Science, 1990

1989

Polymorphic Unification and ML Typing.

Paris C. Kanellakis, John C. Mitchell

Proceedings of the Conference Record of the Sixteenth Annual ACM Symposium on Principles of Programming Languages, 1989

F-Bounded Polymorphism for Object-Oriented Programming.

Peter S. Canning, William R. Cook, Walter L. Hill, Walter G. Olthoff, John C. Mitchell

Proceedings of the fourth international conference on Functional programming languages and computer architecture, 1989

1988

Abstract Types Have Existential Type.

John C. Mitchell, Gordon D. Plotkin

ACM Trans. Program. Lang. Syst., 1988

Polymorphic Type Inference and Containment

John C. Mitchell

Inf. Comput., 1988

The Essence of ML.

John C. Mitchell, Robert Harper

Proceedings of the Conference Record of the Fifteenth Annual ACM Symposium on Principles of Programming Languages, 1988

ML with Extended Pattern Matching and Subtypes.

Lalita Jategaonkar, John C. Mitchell

Proceedings of the 1988 ACM Conference on LISP and Functional Programming, 1988

1987

Empty Types in Polymorphic Lambda Calculus.

Albert R. Meyer, John C. Mitchell, Eugenio Moggi, Richard Statman

Proceedings of the Conference Record of the Fourteenth Annual ACM Symposium on Principles of Programming Languages, 1987

1986

Realisability Semantics for Error-Tolerant Logics.

John C. Mitchell, Michael J. O'Donnell

Proceedings of the 1st Conference on Theoretical Aspects of Reasoning about Knowledge, 1986

Representation Independence and Data Abstraction.

John C. Mitchell

Proceedings of the Conference Record of the Thirteenth Annual ACM Symposium on Principles of Programming Languages, 1986

A Type-Inference Approach to Reduction Properties and Semantics of Polymorphic Expressions (Summary).

John C. Mitchell

Proceedings of the 1986 ACM Conference on LISP and Functional Programming, 1986

1985

Second-Order Logical Relations (Extended Abstract).

John C. Mitchell, Albert R. Meyer

Proceedings of the Logics of Programs, 1985

1984

Lambda calculus models of typed programming languages.

John C. Mitchell

PhD thesis, 1984

On the Sequential Nature of Unification.

Cynthia Dwork, Paris C. Kanellakis, John C. Mitchell

J. Log. Program., 1984

Coercion and Type Inference.

John C. Mitchell

Proceedings of the Conference Record of the Eleventh Annual ACM Symposium on Principles of Programming Languages, 1984

Semantic Models for Second-Order Lambda Calculus

John C. Mitchell

Proceedings of the 25th Annual Symposium on Foundations of Computer Science, 1984

1983

The Implication Problem for Functional and Inclusion Dependencies

John C. Mitchell

Inf. Control., March, 1983

Termination Assertions for Recursive Programs: Completeness and Axiomatic Definability

Albert R. Meyer, John C. Mitchell

Inf. Control., 1983

Inference Rules for Functional and Inclusion Dependencies.

John C. Mitchell

Proceedings of the Second ACM SIGACT-SIGMOD Symposium on Principles of Database Systems, 1983

1982

Axiomatic Definability and Completeness for Recursive Programs.

Albert R. Meyer, John C. Mitchell

Proceedings of the Conference Record of the Ninth Annual ACM Symposium on Principles of Programming Languages, 1982