John C. Mitchell
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
109
Venues
47
Active years
1982–2026
Best venue rank
A*
Where they publish
- A*POPL16 papers
- A*SP13 papers
- A*CCS8 papers
- A*LICS6 papers
- ASIGCSE5 papers
- A*NDSS5 papers
- AESORICS4 papers
- A*CHI3 papers
- AOOPSLA3 papers
- A*FOCS3 papers
- A*WWW2 papers
- AFC2 papers
- BTCC2 papers
- A*ICALP2 papers
- BCONCUR2 papers
- BMFPS2 papers
- A*HPCA1 paper
- AAIED1 paper
- A*ICML1 paper
- AUAI1 paper
- AAISTATS1 paper
- A*CRYPTO1 paper
- ASTACS1 paper
- AHotOS1 paper
- AICFP1 paper
- A*OSDI1 paper
- CHASKELL1 paper
- BSAS1 paper
- CWoLLIC1 paper
- A*SIGCOMM1 paper
- BTrustBus1 paper
- BACNS1 paper
- BAPLAS1 paper
- ARAID1 paper
- BDIMVA1 paper
- CPPDP1 paper
- AACSAC1 paper
- BFOSSACS1 paper
- CPADL1 paper
- AESOP1 paper
- A*ASPLOS1 paper
- BFM1 paper
- A*CAV1 paper
- BFCT1 paper
- BCSL1 paper
- BTARK1 paper
- A*PODS1 paper
Papers
109 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | CHI | ReVisor: A Reflective Design Tool for Instructional Designers to Improve Teacher Training Materials via AI Discussions. | Jeongyeon Kim, Miroslav Suzara, John C. Mitchell |
| 2026 | HPCA | Protean: A Programmable Spectre Defense. | Nicholas Mosier, Hamed Nemati, John C. Mitchell, Caroline Trippel |
| 2025 | AIED | AI Web Agents Can Effectively Guide Lesson Design and Predict Student Outcomes. | Sierra Wang, John C. Mitchell, Chris Piech |
| 2025 | SIGCSE | Coding Pathfinder: A Platform for Creative, Self-Guided Mastery in Programming. | Ishita Gupta, Maya Bridgman, Sierra Wang, John C. Mitchell |
| 2024 | ICML | Position: TrustLLM: Trustworthiness in Large Language Models. | Yue Huang, Lichao Sun, Haoran Wang, Siyuan Wu, Qihui Zhang, Yuan Li, Chujie Gao, Yixin Huang, Wenhan Lyu, Yixuan Zhang, Xiner Li, Hanchi Sun, Zhengliang Liu, Yixin Liu, Yijue Wang, Zhikun Zhang, Bertie Vidgen, Bhavya Kailkhura, Caiming Xiong, Chaowei Xiao, Chunyuan Li, Eric P. Xing, Furong Huang, Hao Liu, Heng Ji, Hongyi Wang, Huan Zhang, Huaxiu Yao, Manolis Kellis, Marinka Zitnik, Meng Jiang, Mohit Bansal, James Zou, Jian Pei, Jian Liu, Jianfeng Gao, Jiawei Han, Jieyu Zhao, Jiliang Tang, Jindong Wang, Joaquin Vanschoren, John C. Mitchell, Kai Shu, Kaidi Xu, Kai-Wei Chang, Lifang He, Lifu Huang, Michael Backes, Neil Zhenqiang Gong, Philip S. Yu, Pin-Yu Chen, Quanquan Gu, Ran Xu, Rex Ying, Shuiwang Ji, Suman Jana, Tianlong Chen, Tianming Liu, Tianyi Zhou, William Wang, Xiang Li, Xiangliang Zhang, Xiao Wang, Xing Xie, Xun Chen, Xuyu Wang, Yan Liu, Yanfang Ye, Yinzhi Cao, Yong Chen, Yue Zhao |
| 2024 | SIGCSE | Math IDE: A Platform for Creating with Math. | Sierra Wang, John C. Mitchell, Nick Haber, Chris Piech |
| 2024 | SIGCSE | A Large Scale RCT on Effective Error Messages in CS1. | Sierra Wang, John C. Mitchell, Chris Piech |
| 2024 | SP | Serberus: Protecting Cryptographic Code from Spectres at Compile-Time. | Nicholas Mosier, Hamed Nemati, John C. Mitchell, Caroline Trippel |
| 2023 | SIGCSE | Detecting the Reasons for Program Decomposition in CS1 and Evaluating Their Impact. | Charis Charitsis, Chris Piech, John C. Mitchell |
| 2022 | SIGCSE | Feedback on Program Development Process for CS1 Students. | Charis Charitsis, Chris Piech, John C. Mitchell |
| 2020 | CHI | 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 |
| 2018 | ESORICS | Data Oblivious Genome Variants Search on Intel SGX. | Avradip Mandal, John C. Mitchell, Hart Montgomery, Arnab Roy |
| 2016 | NDSS | Privacy-Preserving Shortest Path Computation. | David J. Wu, Joe Zimmerman, Jrmy Planul, John C. Mitchell |
| 2016 | SP | Target Fragmentation in Android Apps. | Patrick Mutchler, Yeganeh Safaei, Adam Doup, John C. Mitchell |
| 2015 | UAI | Fast Algorithms for Learning with Long N-grams via Suffix Tree Based Matrix Multiplication. | Hristo S. Paskov, John C. Mitchell, Trevor J. Hastie |
| 2014 | AISTATS | An Efficient Algorithm for Large Scale Compressive Feature Learning. | Hristo S. Paskov, John C. Mitchell, Trevor J. Hastie |
| 2014 | CHI | Easy does it: more usable CAPTCHAs. | Elie Bursztein, Angelique Moscicki, Celine Fabry, Steven Bethard, John C. Mitchell, Dan Jurafsky |
| 2014 | CRYPTO | Automated Analysis of Cryptographic Assumptions in Generic Group Models. | Gilles Barthe, Edvard Fagerholm, Dario Fiore, John C. Mitchell, Andre Scedrov, Benedikt Schmidt |
| 2014 | STACS | Data-Oblivious Data Structures. | John C. Mitchell, Joe Zimmerman |
| 2013 | HotOS | Toward Principled Browser Security. | Edward Z. Yang, Deian Stefan, John C. Mitchell, David Mazires, Petr Marchenko, Brad Karp |
| 2012 | ICFP | Addressing covert termination and timing channels in concurrent information flow systems. | Deian Stefan, Alejandro Russo, Pablo Buiras, Amit Levy, John C. Mitchell, David Mazires |
| 2012 | OSDI | Hails: Protecting Data Privacy in Untrusted Web Applications. | Daniel B. Giffin, Amit Levy, Deian Stefan, David Terei, David Mazires, John C. Mitchell, Alejandro Russo |
| 2012 | WWW | SessionJuggler: secure web login from an untrusted terminal using session hijacking. | Elie Bursztein, Chinmay Soman, Dan Boneh, John C. Mitchell |
| 2012 | SP | Third-Party Web Tracking: Policy and Technology. | Jonathan R. Mayer, John C. Mitchell |
| 2011 | CCS | Text-based CAPTCHA strengths and weaknesses. | Elie Bursztein, Matthieu Martin, John C. Mitchell |
| 2011 | ESORICS | Reclaiming the Blogosphere, TalkBack: A Secure LinkBack Protocol for Weblogs. | Elie Bursztein, Baptiste Gourdin, John C. Mitchell |
| 2011 | HASKELL | Flexible dynamic information flow control in Haskell. | Deian Stefan, Alejandro Russo, John C. Mitchell, David Mazires |
| 2011 | SP | The Failure of Noise-Based Non-continuous Audio Captchas. | Elie Bursztein, Romain Beauxis, Hristo S. Paskov, Daniele Perito, Celine Fabry, John C. Mitchell |
| 2011 | SP | Automated Analysis of Security-Critical JavaScript APIs. | Ankur Taly, lfar Erlingsson, John C. Mitchell, Mark S. Miller, Jasvir Nagra |
| 2011 | SAS | Program Analysis for Web Security. | John C. Mitchell |
| 2011 | WoLLIC | A Symbolic Logic with Exact Bounds for Cryptographic Protocols. | John C. Mitchell |
| 2010 | FC | A Learning-Based Approach to Reactive Security. | Adam Barth, Benjamin I. P. Rubinstein, Mukund Sundararajan, John C. Mitchell, Dawn Song, Peter L. Bartlett |
| 2010 | NDSS | A Security Evaluation of DNSSEC with NSEC3. | Jason Bau, John C. Mitchell |
| 2010 | SP | State of the Art: Automated Black-Box Web Application Vulnerability Testing. | Jason Bau, Elie Bursztein, Divij Gupta, John C. Mitchell |
| 2010 | SP | How Good Are Humans at Solving CAPTCHAs? A Large Scale Evaluation. | Elie Bursztein, Steven Bethard, Celine Fabry, John C. Mitchell, Daniel Jurafsky |
| 2010 | SP | Object Capabilities and Isolation of Untrusted Web Applications. | Sergio Maffeis, John C. Mitchell, Ankur Taly |
| 2009 | CCS | TrackBack spam: abuse and prevention. | Elie Bursztein, Peifung E. Lam, John C. Mitchell |
| 2009 | ESORICS | Isolating JavaScript with Filters, Rewriting, and Wrappers. | Sergio Maffeis, John C. Mitchell, Ankur Taly |
| 2009 | SIGCOMM | Practical declarative network management. | Timothy L. Hinrichs, Natasha Gude, Martn Casado, John C. Mitchell, Scott Shenker |
| 2009 | TrustBus | A Formalization of HIPAA for a Medical Messaging System. | Peifung E. Lam, John C. Mitchell, Sharada Sundaram |
| 2008 | ACNS | Analysis of EAP-GPSK Authentication Protocol. | John C. Mitchell, Arnab Roy, Paul D. Rowe, Andre Scedrov |
| 2008 | APLAS | An Operational Semantics for JavaScript. | Sergio Maffeis, John C. Mitchell, Ankur Taly |
| 2008 | CCS | Robust defenses for cross-site request forgery. | Adam Barth, Collin Jackson, John C. Mitchell |
| 2008 | RAID | A Layered Architecture for Detecting Malicious Behaviors. | Lorenzo Martignoni, Elizabeth Stinson, Matt Fredrikson, Somesh Jha, John C. Mitchell |
| 2007 | DIMVA | Characterizing Bots' Remote Control Behavior. | Elizabeth Stinson, John C. Mitchell |
| 2007 | ESORICS | Inductive Proofs of Computational Secrecy. | Arnab Roy, Anupam Datta, Ante Derek, John C. Mitchell |
| 2006 | LICS | Managing Digital Rights using Linear Logic. | Adam Barth, John C. Mitchell |
| 2006 | WWW | Protecting browser state from web privacy attacks. | Collin Jackson, Andrew Bortz, Dan Boneh, John C. Mitchell |
| 2006 | SP | Privacy and Contextual Integrity: Framework and Applications. | Adam Barth, Anupam Datta, John C. Mitchell, Helen Nissenbaum |
| 2006 | TCC | Games and the Impossibility of Realizable Ideal Functionality. | Anupam Datta, Ante Derek, John C. Mitchell, Ajith Ramanathan, Andre Scedrov |
| 2005 | CCS | A modular correctness proof of IEEE 802.11i and TLS. | Changhua He, Mukund Sundararajan, Anupam Datta, Ante Derek, John C. Mitchell |
| 2005 | ICALP | Probabilistic Polynomial-Time Semantics for a Protocol Security Logic. | Anupam Datta, Ante Derek, John C. Mitchell, Vitaly Shmatikov, Mathieu Turuani |
| 2005 | NDSS | Security Analysis and Improvements for IEEE 802.11i. | Changhua He, John C. Mitchell |
| 2005 | POPL | Enterprise privacy promises and enforcement. | Adam Barth, John C. Mitchell |
| 2005 | PPDP | Security analysis of network protocols: logical and computational methods. | John C. Mitchell |
| 2005 | TCC | On the Relationships Between Notions of Simulation-Based Security. | Anupam Datta, Ralf Ksters, John C. Mitchell, Ajith Ramanathan |
| 2004 | ACSAC | Securing Java RMI-Based Distributed Applications. | Ninghui Li, John C. Mitchell, Derrick Tong |
| 2004 | FOSSACS | Probabilistic Bisimulation and Equivalence for Security Analysis of Network Protocols. | Ajith Ramanathan, John C. Mitchell, Andre Scedrov, Vanessa Teague |
| 2004 | NDSS | Client-Side Defense Against Web-Based Identity Theft. | Neil Chou, Robert Ledesma, Yuka Teraguchi, John C. Mitchell |
| 2003 | CCS | Relating cryptography and formal methods: a panel. | Michael Backes, Catherine Meadows, John C. Mitchell |
| 2003 | CCS | Secure protocol composition. | Anupam Datta, Ante Derek, John C. Mitchell, Dusko Pavlovic |
| 2003 | CONCUR | Contract Signing, Optimism, and Advantage. | Rohit Chadha, John C. Mitchell, Andre Scedrov, Vitaly Shmatikov |
| 2003 | CONCUR | Composition of Cryptographic Protocols in a Probabilistic Polynomial-Time Process Calculus. | Paulo Mateus, John C. Mitchell, Andre Scedrov |
| 2003 | MFPS | Secure Protocol Composition. | Anupam Datta, Ante Derek, John C. Mitchell, Dusko Pavlovic |
| 2003 | PADL | DATALOG with Constraints: A Foundation for Trust Management Languages. | Ninghui Li, John C. Mitchell |
| 2003 | SP | Specifying and Verifying Hardware for Tamper-Resistant Software. | David Lie, John C. Mitchell, Chandramohan A. Thekkath, Mark Horowitz |
| 2003 | SP | Beyond Proof-of-Compliance: Safety and Availability Analysis in Trust Management. | Ninghui Li, William H. Winsborough, John C. Mitchell |
| 2002 | SP | Design of a Role-Based Trust-Management Framework. | Ninghui Li, John C. Mitchell, William H. Winsborough |
| 2001 | CCS | Distributed credential chain discovery in trust management: extended abstract. | Ninghui Li, William H. Winsborough, John C. Mitchell |
| 2001 | ESOP | Probabilistic Polynomial-Time Process Calculus and Security Protocol Analysis. | John C. Mitchell |
| 2001 | LICS | Probabilistic Polynominal-Time Process Calculus and Security Protocol Analysis. | John C. Mitchell, Ajith Ramanathan, Andre Scedrov, Vanessa Teague |
| 2001 | POPL | Programming language methods in computer security. | John C. Mitchell |
| 2000 | ASPLOS | Architectural Support for Copy and Tamper Resistant Software. | David Lie, Chandramohan A. Thekkath, Mark Mitchell, Patrick Lincoln, Dan Boneh, John C. Mitchell, Mark Horowitz |
| 2000 | FC | Analysis of Abuse-Free Contract Signing. | Vitaly Shmatikov, John C. Mitchell |
| 2000 | NDSS | Analysis of a Fair Exchange Protocol. | Vitaly Shmatikov, John C. Mitchell |
| 1999 | FM | Probabilistic Polynomial-Time Equivalence and Security Analysis. | Patrick Lincoln, John C. Mitchell, Mark Mitchell, Andre Scedrov |
| 1999 | OOPSLA | A Formal Framework for the Java Bytecode Language and Verifier. | Stephen N. Freund, John C. Mitchell |
| 1998 | CAV | Finite-State Analysis of Security Protocols. | John C. Mitchell |
| 1998 | CCS | A Probabilistic Poly-Time Framework for Protocol Analysis. | Patrick Lincoln, John C. Mitchell, Mark Mitchell, Andre Scedrov |
| 1998 | FOCS | A Linguistic Characterization of Bounded Oracle Computation and Probabilistic Polynomial Time. | John C. Mitchell, Mark Mitchell, Andre Scedrov |
| 1998 | OOPSLA | A Type System for Object Initialization in the Java Bytecode Language. | Stephen N. Freund, John C. Mitchell |
| 1997 | OOPSLA | Adding Type Parameterization to the Java Language. | Ole Agesen, Stephen N. Freund, John C. Mitchell |
| 1997 | SP | Automated analysis of cryptographic protocols using Mur-phi. | John C. Mitchell, Mark Mitchell, Ulrich Stern |
| 1996 | ICALP | Effective Models of Polymorphism, Subtyping and Recursion (Extended Abstract). | John C. Mitchell, Ramesh Viswanathan |
| 1995 | FCT | A Delegation-based Object Calculus with Subtying. | Kathleen Fisher, John C. Mitchell |
| 1995 | POPL | Lower Bounds on Type Inference with Subtypes. | My Hoang, John C. Mitchell |
| 1994 | POPL | A Type System for Prototyping Languages. | Dinesh Katiyar, David C. Luckham, John C. Mitchell |
| 1993 | LICS | Standard ML-NJ weak polymorphism and imperative constructs | My Hoang, John C. Mitchell, Ramesh Viswanathan |
| 1993 | LICS | A lambda calculus of objects and method specialization | John C. Mitchell, Furio Honsell, Kathleen Fisher |
| 1992 | CSL | Notes on Sconing and Relators. | John C. Mitchell, Andre Scedrov |
| 1992 | LICS | Operational aspects of linear lambda calculus | Patrick Lincoln, John C. Mitchell |
| 1992 | POPL | PER Models of Subtyping, Recursive Types and Higher-Order Polymorphism. | Kim B. Bruce, John C. Mitchell |
| 1992 | POPL | Algorithmic Aspects of Type Inference with Subtypes. | Patrick Lincoln, John C. Mitchell |
| 1991 | POPL | An Extension of Standard ML Modules with Subtyping and Inheritance. | John C. Mitchell, Sigurd Meldal, Neel Madhav |
| 1990 | FOCS | Decision Problems for Propositional Linear Logic | Patrick Lincoln, John C. Mitchell, Andre Scedrov, Natarajan Shankar |
| 1990 | POPL | Higher-Order Modules and the Phase Distinction. | Robert Harper, John C. Mitchell, Eugenio Moggi |
| 1990 | POPL | Toward a Typed Foundation for Method Specialization and Inheritance. | John C. Mitchell |
| 1989 | MFPS | Operations on Records. | Luca Cardelli, John C. Mitchell |
| 1989 | POPL | Polymorphic Unification and ML Typing. | Paris C. Kanellakis, John C. Mitchell |
| 1988 | POPL | The Essence of ML. | John C. Mitchell, Robert Harper |
| 1987 | LICS | Kripke-Style models for typed lambda calculus | John C. Mitchell, Eugenio Moggi |
| 1987 | POPL | Empty Types in Polymorphic Lambda Calculus. | Albert R. Meyer, John C. Mitchell, Eugenio Moggi, Richard Statman |
| 1986 | POPL | Representation Independence and Data Abstraction. | John C. Mitchell |
| 1986 | TARK | Realisability Semantics for Error-Tolerant Logics. | John C. Mitchell, Michael J. O'Donnell |
| 1985 | POPL | Abstract Types Have Existential Type. | John C. Mitchell, Gordon D. Plotkin |
| 1984 | FOCS | Semantic Models for Second-Order Lambda Calculus | John C. Mitchell |
| 1984 | POPL | Coercion and Type Inference. | John C. Mitchell |
| 1983 | PODS | Inference Rules for Functional and Inclusion Dependencies. | John C. Mitchell |
| 1982 | POPL | Axiomatic Definability and Completeness for Recursive Programs. | Albert R. Meyer, John C. Mitchell |