John C. Mitchell

275 papers A* 59A 18B 21C 5Misc 1Journal 85Unranked 75

Year	Rank	Type	Title / Venue / Authors
2026	A*	`conf`	Protean: A Programmable Spectre Defense. HPCA Nicholas Mosier, Hamed Nemati, John C. Mitchell, Caroline Trippel
2026	A*	`conf`	ReVisor: A Reflective Design Tool for Instructional Designers to Improve Teacher Training Materials via AI Discussions. CHI Jeongyeon Kim, Miroslav Suzara, John C. Mitchell
2025	—	`conf`	AI Web Agents Can Effectively Guide Lesson Design and Predict Student Outcomes. AIED (2) Sierra Wang, John C. Mitchell, Chris Piech
2025	J	`jnl`	Analyzing and Exploiting Branch Mispredictions in Microcode. CoRR Nicholas Mosier, Hamed Nemati, John C. Mitchell, Caroline Trippel
2025	—	`conf`	Coding Pathfinder: A Platform for Creative, Self-Guided Mastery in Programming. SIGCSE (2) Ishita Gupta, Maya Bridgman, Sierra Wang, John C. Mitchell
2025	J	`jnl`	What Is Your Agent's GPA? A Framework for Evaluating Agent Goal-Plan-Action Alignment. CoRR Allison Sihan Jia, Daniel Huang, Nikhil Vytla, Nirvika Choudhury, Shayak Sen, John C. Mitchell, Anupam Datta
2024	—	`conf`	A Large Scale RCT on Effective Error Messages in CS1. SIGCSE (1) Sierra Wang, John C. Mitchell, Chris Piech
2024	J	`jnl`	ChatCollab: Exploring Collaboration Between Humans and AI Agents in Software Teams. CoRR Benjamin Klieger, Charis Charitsis, Miroslav Suzara, Sierra Wang, Nick Haber, John C. Mitchell
2024	J	`jnl`	De-amplifying Bias from Differential Privacy in Language Model Fine-tuning. CoRR Sanjari Srivastava, Piotr Mardziel, Zhikhun Zhang, Archana Ahlawat, Anupam Datta, John C. Mitchell
2024	—	`conf`	Machine Learning Techniques for Context-Aware Human Activity Recognition: A Feasibility Study. M2VIP John C. Mitchell, Abbas A. Dehghani-Sanij, Shengquan Xie, Rory J. O'Connor
2024	—	`conf`	Math IDE: A Platform for Creating with Math. SIGCSE (2) Sierra Wang, John C. Mitchell, Nick Haber, Chris Piech
2024	A*	`conf`	Position: TrustLLM: Trustworthiness in Large Language Models. ICML 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	J	`jnl`	Remote Learning and Work. IEEE Internet Comput. René F. Kizilcec, John C. Mitchell
2024	J	`jnl`	Securing the Future of GenAI: Policy and Technology. CoRR Mihai Christodorescu, Ryan Craven, Soheil Feizi, Neil Gong, Mia Hoffmann, Somesh Jha, Zhengyuan Jiang, Mehrdad Saberi Kamarposhti, John C. Mitchell, Jessica Newman, Emelia Probasco, Yanjun Qi, Khawaja Shams, Matthew Turek
2024	J	`jnl`	Securing the Future of GenAI: Policy and Technology. IACR Cryptol. ePrint Arch. Mihai Christodorescu, Ryan Craven, Soheil Feizi, Neil Zhenqiang Gong, Mia Hoffmann, Somesh Jha, Zhengyuan Jiang, Mehrdad Saberi Kamarposhti, John C. Mitchell, Jessica Newman, Emelia Probasco, Yanjun Qi, Khawaja Shams, Matthew Turek
2024	A*	`conf`	Serberus: Protecting Cryptographic Code from Spectres at Compile-Time. SP Nicholas Mosier, Hamed Nemati, John C. Mitchell, Caroline Trippel
2024	J	`jnl`	Social Skill Training with Large Language Models. CoRR Diyi Yang, Caleb Ziems, William Barr Held, Omar Shaikh, Michael S. Bernstein, John C. Mitchell
2024	J	`jnl`	TrustLLM: Trustworthiness in Large Language Models. CoRR Lichao Sun, Yue Huang, Haoran Wang, Siyuan Wu, Qihui Zhang, Chujie Gao, Yixin Huang, Wenhan Lyu, Yixuan Zhang, Xiner Li, Zhengliang Liu, Yixin Liu, Yijue Wang, Zhikun Zhang, 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, 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, Yue Zhao
2023	—	`conf`	Detecting the Reasons for Program Decomposition in CS1 and Evaluating Their Impact. SIGCSE (1) Charis Charitsis, Chris Piech, John C. Mitchell
2023	J	`jnl`	Identifying and Mitigating the Security Risks of Generative AI. CoRR 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
2023	J	`jnl`	Identifying and Mitigating the Security Risks of Generative AI. Found. Trends Priv. Secur. 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
2023	J	`jnl`	Serberus: Protecting Cryptographic Code from Spectres at Compile-Time. CoRR Nicholas Mosier, Hamed Nemati, John C. Mitchell, Caroline Trippel
2022	—	`conf`	Feedback on Program Development Process for CS1 Students. SIGCSE (2) Charis Charitsis, Chris Piech, John C. Mitchell
2022	B	`conf`	Function Names: Quantifying the Relationship Between Identifiers and Their Functionality to Improve Them. L@S Charis Charitsis, Chris Piech, John C. Mitchell
2022	J	`jnl`	Insights for post-pandemic pedagogy across one CS department. CoRR Maxwell Bigman, Yosefa Gilon, Jenny Han, John C. Mitchell
2022	J	`jnl`	The Move Borrow Checker. CoRR Sam Blackshear, John C. Mitchell, Todd Nowacki, Shaz Qadeer
2022	B	`conf`	Using NLP to Quantify Program Decomposition in CS1. L@S Charis Charitsis, Chris Piech, John C. Mitchell
2021	B	`conf`	Assessing Function Names and Quantifying the Relationship Between Identifiers and Their Functionality to Improve Them. L@S Charis Charitsis, Chris Piech, John C. Mitchell
2021	—	`conf`	Simplifying Automated Assessment in CS1. ICETM Charis Charitsis, Chris Piech, John C. Mitchell
2020	—	`conf`	Model Checking Bitcoin and other Proof-of-Work Consensus Protocols. Blockchain Max DiGiacomo-Castillo, Yiyun Liang, Advay Pal, John C. Mitchell
2020	J	`jnl`	Model Checking Bitcoin and other Proof-of-Work Consensus Protocols. CoRR Max DiGiacomo-Castillo, Yiyun Liang, Advay Pal, John C. Mitchell
2020	A*	`conf`	Reinforcement Learning for the Adaptive Scheduling of Educational Activities. CHI Jonathan Bassen, Bharathan Balaji, Michael Schaarschmidt, Candace Thille, Jay Painter, Dawn Zimmaro, Alex Games, Ethan Fast, John C. Mitchell
2020	J	`jnl`	Resources: A Safe Language Abstraction for Money. CoRR Sam Blackshear, David L. Dill, Shaz Qadeer, Clark W. Barrett, John C. Mitchell, Oded Padon, Yoni Zohar
2020	—	`conf`	Teaching Online in 2020: Experiments, Empathy, Discovery. LWMOOCS Maxwell Bigman, John C. Mitchell
2019	J	`jnl`	Automated Analysis of Cryptographic Assumptions in Generic Group Models. J. Cryptol. Gilles Barthe, Edvard Fagerholm, Dario Fiore, John C. Mitchell, Andre Scedrov, Benedikt Schmidt
2018	—	`conf`	Data Oblivious Genome Variants Search on Intel SGX. DPM/CBT@ESORICS Avradip Mandal, John C. Mitchell, Hart Montgomery, Arnab Roy
2018	J	`jnl`	Data Oblivious Genome Variants Search on Intel SGX. IACR Cryptol. ePrint Arch. Avradip Mandal, John C. Mitchell, Hart Montgomery, Arnab Roy
2018	B	`conf`	OARS: exploring instructor analytics for online learning. L@S Jonathan Bassen, Iris Howley, Ethan Fast, John C. Mitchell, Candace Thille
2018	J	`jnl`	Semantic Security Invariance under Variant Computational Assumptions. IACR Cryptol. ePrint Arch. Eftychios Theodorakis, John C. Mitchell
2017	J	`jnl`	Flexible dynamic information flow control in the presence of exceptions. J. Funct. Program. Deian Stefan, David Mazières, John C. Mitchell, Alejandro Russo
2017	J	`jnl`	Hails: Protecting data privacy in untrusted web applications. J. Comput. Secur. Daniel B. Giffin, Amit Levy, Deian Stefan, David Terei, David Mazières, John C. Mitchell, Alejandro Russo
2017	J	`jnl`	Privacy for Targeted Advertising. IACR Cryptol. ePrint Arch. Avradip Mandal, John C. Mitchell, Hart William Montgomery, Arnab Roy
2017	—	`conf`	Privacy for targeted advertising. CNS Avradip Mandal, John C. Mitchell, Hart William Montgomery, Arnab Roy
2016	A*	`conf`	Data Representation and Compression Using Linear-Programming Approximations. ICLR (Poster) Hristo S. Paskov, John C. Mitchell, Trevor J. Hastie
2016	J	`jnl`	Evaluating the privacy properties of telephone metadata. Proc. Natl. Acad. Sci. USA Jonathan R. Mayer, Patrick Mutchler, John C. Mitchell
2016	A*	`conf`	Privacy-Preserving Shortest Path Computation. NDSS David J. Wu, Joe Zimmerman, Jérémy Planul, John C. Mitchell
2016	J	`jnl`	Privacy-Preserving Shortest Path Computation. CoRR David J. Wu, Joe Zimmerman, Jérémy Planul, John C. Mitchell
2016	—	`conf`	Target Fragmentation in Android Apps. IEEE Symposium on Security and Privacy Workshops Patrick Mutchler, Yeganeh Safaei, Adam Doupé, John C. Mitchell
2015	J	`jnl`	A Symbolic Logic with Concrete Bounds for Cryptographic Protocols. CoRR Anupam Datta, Joseph Y. Halpern, John C. Mitchell, Arnab Roy, Shayak Sen
2015	A	`conf`	Fast Algorithms for Learning with Long N-grams via Suffix Tree Based Matrix Multiplication. UAI Hristo S. Paskov, John C. Mitchell, Trevor J. Hastie
2015	J	`jnl`	IFC Inside: Retrofitting Languages with Dynamic Information Flow Control (Extended Version). CoRR Stefan Heule, Deian Stefan, Edward Z. Yang, John C. Mitchell, Alejandro Russo
2015	—	`conf`	IFC Inside: Retrofitting Languages with Dynamic Information Flow Control. POST Stefan Heule, Deian Stefan, Edward Z. Yang, John C. Mitchell, Alejandro Russo
2014	A	`conf`	An Efficient Algorithm for Large Scale Compressive Feature Learning. AISTATS Hristo S. Paskov, John C. Mitchell, Trevor J. Hastie
2014	—	`conf`	Automated Analysis of Cryptographic Assumptions in Generic Group Models. CRYPTO (1) Gilles Barthe, Edvard Fagerholm, Dario Fiore, John C. Mitchell, Andre Scedrov, Benedikt Schmidt
2014	J	`jnl`	Automated Analysis of Cryptographic Assumptions in Generic Group Models. IACR Cryptol. ePrint Arch. Gilles Barthe, Edvard Fagerholm, Dario Fiore, John C. Mitchell, Andre Scedrov, Benedikt Schmidt
2014	A	`conf`	Data-Oblivious Data Structures. STACS John C. Mitchell, Joe Zimmerman
2014	A*	`conf`	Easy does it: more usable CAPTCHAs. CHI Elie Bursztein, Angelique Moscicki, Celine Fabry, Steven Bethard, John C. Mitchell, Dan Jurafsky
2014	J	`jnl`	MOOCs on and off the Farm: MOOCs and technology to advance learning and learning research (Ubiquity symposium). Ubiquity John C. Mitchell
2014	J	`jnl`	Massive Open Online Courses: Current State and Perspectives (Dagstuhl Perspectives Workshop 14112). Dagstuhl Manifestos Pierre Dillenbourg, Armando Fox, Claude Kirchner, John C. Mitchell, Martin Wirsing
2014	J	`jnl`	Massively Open Online Courses, Current State and Perspectives (Dagstuhl Perspectives Workshop 14112). Dagstuhl Reports Pierre Dillenbourg, Claude Kirchner, John C. Mitchell, Martin Wirsing
2014	—	`conf`	The End is Nigh: Generic Solving of Text-based CAPTCHAs. WOOT Elie Bursztein, Jonathan Aigrain, Angelika Moscicki, John C. Mitchell
2013	—	`conf`	Compressive Feature Learning. NIPS Hristo S. Paskov, Robert West, John C. Mitchell, Trevor J. Hastie
2013	A	`conf`	Oblivious Program Execution and Path-Sensitive Non-interference. CSF Jérémy Planul, John C. Mitchell
2013	—	`ed.`	Principles of Security and Trust - Second International Conference, POST 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings POST David A. Basin, John C. Mitchell
2013	A	`conf`	Toward Principled Browser Security. HotOS Edward Z. Yang, Deian Stefan, John C. Mitchell, David Mazières, Petr Marchenko, Brad Karp
2013	—	`conf`	Understanding the Challenges with Medical Data Segmentation for Privacy. HealthTech Ellick Chan, Peifung E. Lam, John C. Mitchell
2012	J	`jnl`	A Learning-Based Approach to Reactive Security. IEEE Trans. Dependable Secur. Comput. Adam Barth, Benjamin I. P. Rubinstein, Mukund Sundararajan, John C. Mitchell, Dawn Song, Peter L. Bartlett
2012	A	`conf`	Addressing covert termination and timing channels in concurrent information flow systems. ICFP Deian Stefan, Alejandro Russo, Pablo Buiras, Amit Levy, John C. Mitchell, David Mazières
2012	—	`conf`	Declarative privacy policy: finite models and attribute-based encryption. IHI Peifung E. Lam, John C. Mitchell, Andre Scedrov, Sharada Sundaram, Frank Wang
2012	J	`jnl`	Flexible Dynamic Information Flow Control in the Presence of Exceptions CoRR Deian Stefan, Alejandro Russo, John C. Mitchell, David Mazières
2012	A*	`conf`	Hails: Protecting Data Privacy in Untrusted Web Applications. OSDI Daniel B. Giffin, Amit Levy, Deian Stefan, David Terei, David Mazières, John C. Mitchell, Alejandro Russo
2012	A	`conf`	Information-Flow Control for Programming on Encrypted Data. CSF John C. Mitchell, Rahul Sharma, Deian Stefan, Joe Zimmerman
2012	J	`jnl`	Information-flow control for programming on encrypted data. IACR Cryptol. ePrint Arch. John C. Mitchell, Rahul Sharma, Deian Stefan, Joe Zimmerman
2012	J	`jnl`	Privacy and Cybersecurity: The Next 100 Years. Proc. IEEE Carl E. Landwehr, Dan Boneh, John C. Mitchell, Steven M. Bellovin, Susan Landau, Michael E. Lesk
2012	A*	`conf`	SessionJuggler: secure web login from an untrusted terminal using session hijacking. WWW Elie Bursztein, Chinmay Soman, Dan Boneh, John C. Mitchell
2012	A*	`conf`	Third-Party Web Tracking: Policy and Technology. IEEE Symposium on Security and Privacy Jonathan R. Mayer, John C. Mitchell
2011	—	`conf`	A Domain-Specific Language for Computing on Encrypted Data (Invited Talk). FSTTCS Alex Bain, John C. Mitchell, Rahul Sharma, Deian Stefan, Joe Zimmerman
2011	J	`jnl`	A Domain-Specific Language for Computing on Encrypted Data. IACR Cryptol. ePrint Arch. Alex Bain, John C. Mitchell, Rahul Sharma, Deian Stefan, Joe Zimmerman
2011	C	`conf`	A Symbolic Logic with Exact Bounds for Cryptographic Protocols. WoLLIC John C. Mitchell
2011	A*	`conf`	Automated Analysis of Security-Critical JavaScript APIs. IEEE Symposium on Security and Privacy Ankur Taly, Úlfar Erlingsson, John C. Mitchell, Mark S. Miller, Jasvir Nagra
2011	—	`conf`	Disjunction Category Labels. NordSec Deian Stefan, Alejandro Russo, David Mazières, John C. Mitchell
2011	C	`conf`	Flexible dynamic information flow control in Haskell. Haskell Deian Stefan, Alejandro Russo, John C. Mitchell, David Mazières
2011	B	`conf`	Program Analysis for Web Security. SAS John C. Mitchell
2011	—	`ch.`	Protocol Composition Logic. Formal Models and Techniques for Analyzing Security Protocols Anupam Datta, John C. Mitchell, Arnab Roy, Stephan Hyeonjun Stiller
2011	A	`conf`	Reclaiming the Blogosphere, TalkBack: A Secure LinkBack Protocol for Weblogs. ESORICS Elie Bursztein, Baptiste Gourdin, John C. Mitchell
2011	J	`jnl`	Security Modeling and Analysis. IEEE Secur. Priv. Jason Bau, John C. Mitchell
2011	—	`conf`	TBA : A Hybrid of Logic and Extensional Access Control Systems. Formal Aspects in Security and Trust Timothy L. Hinrichs, William C. Garrison III, Adam J. Lee, Skip Saunders, John C. Mitchell
2011	A*	`conf`	Text-based CAPTCHA strengths and weaknesses. CCS Elie Bursztein, Matthieu Martin, John C. Mitchell
2011	A*	`conf`	The Failure of Noise-Based Non-continuous Audio Captchas. IEEE Symposium on Security and Privacy Elie Bursztein, Romain Beauxis, Hristo S. Paskov, Daniele Perito, Celine Fabry, John C. Mitchell
2010	—	`conf`	A Learning-Based Approach to Reactive Security. Financial Cryptography Adam Barth, Benjamin I. P. Rubinstein, Mukund Sundararajan, John C. Mitchell, Dawn Song, Peter L. Bartlett
2010	A*	`conf`	A Security Evaluation of DNSSEC with NSEC3. NDSS Jason Bau, John C. Mitchell
2010	J	`jnl`	A Security Evaluation of DNSSEC with NSEC3. IACR Cryptol. ePrint Arch. Jason Bau, John C. Mitchell
2010	—	`conf`	Homogeneity as an Advantage: It Takes a Community to Protect an Application. CollSec 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
2010	A*	`conf`	How Good Are Humans at Solving CAPTCHAs? A Large Scale Evaluation. IEEE Symposium on Security and Privacy Elie Bursztein, Steven Bethard, Celine Fabry, John C. Mitchell, Daniel Jurafsky
2010	J	`jnl`	Inductive trace properties for computational security. J. Comput. Secur. Arnab Roy, Anupam Datta, Ante Derek, John C. Mitchell
2010	A*	`conf`	Object Capabilities and Isolation of Untrusted Web Applications. IEEE Symposium on Security and Privacy Sergio Maffeis, John C. Mitchell, Ankur Taly
2010	—	`conf`	Privacy Challenges in Patient-centric Health Information Systems. HealthSec Anupam Datta, Nipun Dave, John C. Mitchell, Helen Nissenbaum, Divya Sharma
2010	A*	`conf`	State of the Art: Automated Black-Box Web Application Vulnerability Testing. IEEE Symposium on Security and Privacy Jason Bau, Elie Bursztein, Divij Gupta, John C. Mitchell
2010	A	`conf`	Towards a Formal Foundation of Web Security. CSF Devdatta Akhawe, Adam Barth, Peifung E. Lam, John C. Mitchell, Dawn Song
2010	—	`conf`	Webseclab Security Education Workbench. CSET Elie Bursztein, Baptiste Gourdin, Celine Fabry, Jason Bau, Gustav Rydstedt, Hristo Bojinov, Dan Boneh, John C. Mitchell
2009	—	`conf`	09073 Abstracts Collection - Model-Based Design of Trustworthy Health Information Systems. Model-Based Design of Trustworthy Health Information Systems Ruth Breu, John C. Mitchell, Janos Sztipanovits, Alfred Winter
2009	B	`conf`	A Formalization of HIPAA for a Medical Messaging System. TrustBus Peifung E. Lam, John C. Mitchell, Sharada Sundaram
2009	J	`jnl`	A Learning-Based Approach to Reactive Security CoRR Adam Barth, Benjamin I. P. Rubinstein, Mukund Sundararajan, John C. Mitchell, Dawn Xiaodong Song, Peter L. Bartlett
2009	A	`conf`	Isolating JavaScript with Filters, Rewriting, and Wrappers. ESORICS Sergio Maffeis, John C. Mitchell, Ankur Taly
2009	—	`ed.`	Model-Based Design of Trustworthy Health Information Systems, 11.02. - 14.02.2009 Model-Based Design of Trustworthy Health Information Systems Ruth Breu, John C. Mitchell, Janos Sztipanovits, Alfred Winter
2009	—	`conf`	Practical declarative network management. WREN Timothy L. Hinrichs, Natasha Gude, Martín Casado, John C. Mitchell, Scott Shenker
2009	J	`jnl`	Securing frame communication in browsers. Commun. ACM Adam Barth, Collin Jackson, John C. Mitchell
2009	—	`conf`	TrackBack spam: abuse and prevention. CCSW Elie Bursztein, Peifung E. Lam, John C. Mitchell
2009	Misc	`conf`	Using Strategy Objectives for Network Security Analysis. Inscrypt Elie Bursztein, John C. Mitchell
2008	A	`conf`	A Layered Architecture for Detecting Malicious Behaviors. RAID Lorenzo Martignoni, Elizabeth Stinson, Matt Fredrikson, Somesh Jha, John C. Mitchell
2008	—	`conf`	An Automated Approach for Proving PCL Invariants. SecReT@LICS/CSF John C. Mitchell, Arnab Roy, Mukund Sundararajan
2008	B	`conf`	An Operational Semantics for JavaScript. APLAS Sergio Maffeis, John C. Mitchell, Ankur Taly
2008	B	`conf`	Analysis of EAP-GPSK Authentication Protocol. ACNS John C. Mitchell, Arnab Roy, Paul D. Rowe, Andre Scedrov
2008	—	`ch.`	Characterizing Bots' Remote Control Behavior. Botnet Detection Elizabeth Stinson, John C. Mitchell
2008	J	`jnl`	On the Relationships between Notions of Simulation-Based Security. J. Cryptol. Ralf Küsters, Anupam Datta, John C. Mitchell, Ajith Ramanathan
2008	A*	`conf`	Robust defenses for cross-site request forgery. CCS Adam Barth, Collin Jackson, John C. Mitchell
2008	A*	`conf`	Securing Frame Communication in Browsers. USENIX Security Symposium Adam Barth, Collin Jackson, John C. Mitchell
2008	—	`conf`	Towards Systematic Evaluation of the Evadability of Bot/Botnet Detection Methods. WOOT Elizabeth Stinson, John C. Mitchell
2007	B	`conf`	Characterizing Bots' Remote Control Behavior. DIMVA Elizabeth Stinson, John C. Mitchell
2007	—	`conf`	Formal Proofs of Cryptographic Security of Diffie-Hellman-Based Protocols. TGC Arnab Roy, Anupam Datta, John C. Mitchell
2007	J	`jnl`	Inductive Proof Method for Computational Secrecy. IACR Cryptol. ePrint Arch. Arnab Roy, Anupam Datta, Ante Derek, John C. Mitchell
2007	A	`conf`	Inductive Proofs of Computational Secrecy. ESORICS Arnab Roy, Anupam Datta, Ante Derek, John C. Mitchell
2007	A	`conf`	Privacy and Utility in Business Processes. CSF Adam Barth, John C. Mitchell, Anupam Datta, Sharada Sundaram
2007	—	`conf`	Protocol Composition Logic (PCL). Computation, Meaning, and Logic Anupam Datta, Ante Derek, John C. Mitchell, Arnab Roy
2007	—	`conf`	Transaction Generators: Root Kits for Web. HotSec Collin Jackson, Dan Boneh, John C. Mitchell
2006	J	`jnl`	A probabilistic polynomial-time process calculus for the analysis of cryptographic protocols. Theor. Comput. Sci. John C. Mitchell, Ajith Ramanathan, Andre Scedrov, Vanessa Teague
2006	J	`jnl`	Compositional analysis of contract-signing protocols. Theor. Comput. Sci. Michael Backes, Anupam Datta, Ante Derek, John C. Mitchell, Mathieu Turuani
2006	—	`conf`	Computationally Sound Compositional Logic for Key Exchange Protocols. CSFW Anupam Datta, Ante Derek, John C. Mitchell, Bogdan Warinschi
2006	B	`conf`	Games and the Impossibility of Realizable Ideal Functionality. TCC Anupam Datta, Ante Derek, John C. Mitchell, Ajith Ramanathan, Andre Scedrov
2006	J	`jnl`	Inductive Trace Properties for Computational Security. IACR Cryptol. ePrint Arch. Arnab Roy, Anupam Datta, Ante Derek, John C. Mitchell
2006	J	`jnl`	Key Exchange Protocols: Security Definition, Proof Method and Applications. IACR Cryptol. ePrint Arch. Anupam Datta, Ante Derek, John C. Mitchell, Bogdan Warinschi
2006	A*	`conf`	Managing Digital Rights using Linear Logic. LICS Adam Barth, John C. Mitchell
2006	J	`jnl`	On the Relationships Between Notions of Simulation-Based Security. IACR Cryptol. ePrint Arch. Anupam Datta, Ralf Küsters, John C. Mitchell, Ajith Ramanathan
2006	—	`conf`	Privacy and Contextual Integrity: Framework and Applications. S&P Adam Barth, Anupam Datta, John C. Mitchell, Helen Nissenbaum
2006	A*	`conf`	Protecting browser state from web privacy attacks. WWW Collin Jackson, Andrew Bortz, Dan Boneh, John C. Mitchell
2006	—	`conf`	Secrecy Analysis in Protocol Composition Logic. ASIAN Arnab Roy, Anupam Datta, Ante Derek, John C. Mitchell, Jean-Pierre Seifert
2006	J	`jnl`	Understanding SPKI/SDSI using first-order logic. Int. J. Inf. Sec. Ninghui Li, John C. Mitchell
2005	J	`jnl`	A derivation system and compositional logic for security protocols. J. Comput. Secur. Anupam Datta, Ante Derek, John C. Mitchell, Dusko Pavlovic
2005	A*	`conf`	A modular correctness proof of IEEE 802.11i and TLS. CCS Changhua He, Mukund Sundararajan, Anupam Datta, Ante Derek, John C. Mitchell
2005	J	`jnl`	Beyond proof-of-compliance: security analysis in trust management. J. ACM Ninghui Li, John C. Mitchell, William H. Winsborough
2005	—	`conf`	Compositional Analysis of Contract Signing Protocols. CSFW Michael Backes, Anupam Datta, Ante Derek, John C. Mitchell, Mathieu Turuani
2005	J	`jnl`	Contract signing, optimism, and advantage. J. Log. Algebraic Methods Program. Rohit Chadha, John C. Mitchell, Andre Scedrov, Vitaly Shmatikov
2005	—	`conf`	Enterprise privacy promises and enforcement. WITS Adam Barth, John C. Mitchell
2005	J	`jnl`	Games and the Impossibility of Realizable Ideal Functionality. IACR Cryptol. ePrint Arch. Anupam Datta, Ante Derek, John C. Mitchell, Ajith Ramanathan, Andre Scedrov
2005	B	`conf`	On the Relationships Between Notions of Simulation-Based Security. TCC Anupam Datta, Ralf Küsters, John C. Mitchell, Ajith Ramanathan
2005	A*	`conf`	Probabilistic Polynomial-Time Semantics for a Protocol Security Logic. ICALP Anupam Datta, Ante Derek, John C. Mitchell, Vitaly Shmatikov, Mathieu Turuani
2005	—	`ed.`	Proceedings of the 2005 ACM workshop on Formal methods in security engineering, FMSE 2005, Fairfax, VA, USA, November 11, 2005 FMSE Vijay Atluri, Pierangela Samarati, Ralf Küsters, John C. Mitchell
2005	A*	`conf`	Security Analysis and Improvements for IEEE 802.11i. NDSS Changhua He, John C. Mitchell
2005	C	`conf`	Security analysis of network protocols: logical and computational methods. PPDP John C. Mitchell
2005	A*	`conf`	Stronger Password Authentication Using Browser Extensions. USENIX Security Symposium Blake Ross, Collin Jackson, Nick Miyake, Dan Boneh, John C. Mitchell
2004	C	`conf`	A Distributed High Assurance Reference Monitor. ISC Ajay Chander, Drew Dean, John C. Mitchell
2004	—	`conf`	Abstraction and Refinement in Protocol Derivation. CSFW Anupam Datta, Ante Derek, John C. Mitchell, Dusko Pavlovic
2004	—	`conf`	Analysis of the 802.11i 4-way handshake. Workshop on Wireless Security Changhua He, John C. Mitchell
2004	A*	`conf`	Client-Side Defense Against Web-Based Identity Theft. NDSS Neil Chou, Robert Ledesma, Yuka Teraguchi, John C. Mitchell
2004	—	`conf`	Conflict and combination in privacy policy languages. WPES Adam Barth, John C. Mitchell, Justin Rosenstein
2004	—	`ed.`	Exploring New Frontiers of Theoretical Informatics, IFIP 18th World Computer Congress, TC1 3rd International Conference on Theoretical Computer Science (TCS2004), 22-27 August 2004, Toulouse, France IFIP TCS Jean-Jacques Lévy, Ernst W. Mayr, John C. Mitchell
2004	J	`jnl`	Multiset rewriting and the complexity of bounded security protocols. J. Comput. Secur. Nancy A. Durgin, Patrick Lincoln, John C. Mitchell
2004	B	`conf`	Probabilistic Bisimulation and Equivalence for Security Analysis of Network Protocols. FoSSaCS Ajith Ramanathan, John C. Mitchell, Andre Scedrov, Vanessa Teague
2004	J	`jnl`	Reconstructing Trust Management. J. Comput. Secur. Ajay Chander, Drew Dean, John C. Mitchell
2004	A	`conf`	Securing Java RMI-Based Distributed Applications. ACSAC Ninghui Li, John C. Mitchell, Derrick Tong
2003	J	`jnl`	A Compositional Logic for Proving Security Properties of Protocols. J. Comput. Secur. Nancy A. Durgin, John C. Mitchell, Dusko Pavlovic
2003	—	`conf`	A Derivation System for Security Protocols and its Logical Formalization. CSFW Anupam Datta, Ante Derek, John C. Mitchell, Dusko Pavlovic
2003	—	`conf`	A Role-based Trust-management Framework. DISCEX (1) Ninghui Li, John C. Mitchell
2003	J	`jnl`	A Type System for the Java Bytecode Language and Verifier. J. Autom. Reason. Stephen N. Freund, John C. Mitchell
2003	—	`conf`	Beyond Proof-of-Compliance: Safety and Availability Analysis in Trust Management. S&P Ninghui Li, William H. Winsborough, John C. Mitchell
2003	B	`conf`	Composition of Cryptographic Protocols in a Probabilistic Polynomial-Time Process Calculus. CONCUR Paulo Mateus, John C. Mitchell, Andre Scedrov
2003	—	`book`	Concepts in programming languages. John C. Mitchell
2003	B	`conf`	Contract Signing, Optimism, and Advantage. CONCUR Rohit Chadha, John C. Mitchell, Andre Scedrov, Vitaly Shmatikov
2003	C	`conf`	DATALOG with Constraints: A Foundation for Trust Management Languages. PADL Ninghui Li, John C. Mitchell
2003	J	`jnl`	Distributed Credential Chain Discovery in Trust Management. J. Comput. Secur. Ninghui Li, William H. Winsborough, John C. Mitchell
2003	—	`conf`	Relating cryptography and formal methods: a panel. FMSE Michael Backes, Catherine Meadows, John C. Mitchell
2003	B	`conf`	Secure Protocol Composition. MFPS Anupam Datta, Ante Derek, John C. Mitchell, Dusko Pavlovic
2003	—	`conf`	Secure protocol composition. FMSE Anupam Datta, Ante Derek, John C. Mitchell, Dusko Pavlovic
2003	J	`jnl`	Security by typing. Int. J. Softw. Tools Technol. Transf. Mourad Debbabi, Nancy A. Durgin, Mohamed Mejri, John C. Mitchell
2003	—	`conf`	Specifying and Verifying Hardware for Tamper-Resistant Software. S&P David Lie, John C. Mitchell, Chandramohan A. Thekkath, Mark Horowitz
2003	—	`conf`	Understanding SPKI/SDSI Using First-Order Logic. CSFW Ninghui Li, John C. Mitchell
2002	—	`conf`	A Comparison between Strand Spaces and Multiset Rewriting for Security Protocol Analysis. ISSS Iliano Cervesato, Nancy A. Durgin, Patrick Lincoln, John C. Mitchell, Andre Scedrov
2002	—	`conf`	Autonomous Nodes and Distributed Mechanisms. ISSS John C. Mitchell, Vanessa Teague
2002	A*	`ed.`	Conference Record of POPL 2002: The 29th SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Portland, OR, USA, January 16-18, 2002 POPL John Launchbury, John C. Mitchell
2002	—	`conf`	Design of a Role-Based Trust-Management Framework. S&P Ninghui Li, John C. Mitchell, William H. Winsborough
2002	J	`jnl`	Finite-state analysis of two contract signing protocols. Theor. Comput. Sci. Vitaly Shmatikov, John C. Mitchell
2002	—	`conf`	Multiset Rewriting and Security Protocol Analysis. RTA John C. Mitchell
2001	—	`conf`	A Compositional Logic for Protocol Correctness. CSFW Nancy A. Durgin, John C. Mitchell, Dusko Pavlovic
2001	B	`conf`	A Probabilistic Polynomial-time Calculus For Analysis of Cryptographic Protocols (Preliminary Report). MFPS John C. Mitchell, Ajith Ramanathan, Andre Scedrov, Vanessa Teague
2001	—	`conf`	A State-Transition Model of Trust Management and Access Control. CSFW Ajay Chander, John C. Mitchell, Drew Dean
2001	A*	`conf`	Distributed credential chain discovery in trust management: extended abstract. CCS Ninghui Li, William H. Winsborough, John C. Mitchell
2001	A	`conf`	Probabilistic Polynomial-Time Process Calculus and Security Protocol Analysis. ESOP John C. Mitchell
2001	A*	`conf`	Probabilistic Polynominal-Time Process Calculus and Security Protocol Analysis. LICS John C. Mitchell, Ajith Ramanathan, Andre Scedrov, Vanessa Teague
2001	A*	`conf`	Programming language methods in computer security. POPL John C. Mitchell
2000	—	`conf`	Analysis of Abuse-Free Contract Signing. Financial Cryptography Vitaly Shmatikov, John C. Mitchell
2000	A*	`conf`	Analysis of a Fair Exchange Protocol. NDSS Vitaly Shmatikov, John C. Mitchell
2000	A*	`conf`	Architectural Support for Copy and Tamper Resistant Software. ASPLOS David Lie, Chandramohan A. Thekkath, Mark Mitchell, Patrick Lincoln, Dan Boneh, John C. Mitchell, Mark Horowitz
2000	—	`conf`	Relating Strands and Multiset Rewriting for Security Protocol Analysis. CSFW Iliano Cervesato, Nancy A. Durgin, John C. Mitchell, Patrick Lincoln, Andre Scedrov
1999	B	`conf`	A Core Calculus of Classes and Objects. MFPS Viviana Bono, John C. Mitchell, Amit Patel, Vitaly Shmatikov
1999	A	`conf`	A Formal Framework for the Java Bytecode Language and Verifier. OOPSLA Stephen N. Freund, John C. Mitchell
1999	—	`conf`	A Meta-Notation for Protocol Analysis. CSFW Iliano Cervesato, Nancy A. Durgin, Patrick Lincoln, John C. Mitchell, Andre Scedrov
1999	J	`jnl`	Optimization Complexity of Linear Logic Proof Games. Theor. Comput. Sci. Patrick Lincoln, John C. Mitchell, Andre Scedrov
1999	J	`jnl`	Parametricity and Variants of Girard's Inf. Process. Lett. Robert Harper, John C. Mitchell
1999	—	`conf`	Probabilistic Polynomial-Time Equivalence and Security Analysis. World Congress on Formal Methods Patrick Lincoln, John C. Mitchell, Mark Mitchell, Andre Scedrov
1999	J	`jnl`	The type system for object initializatiion in the Jave bytecode language. ACM Trans. Program. Lang. Syst. Stephen N. Freund, John C. Mitchell
1998	A*	`conf`	A Linguistic Characterization of Bounded Oracle Computation and Probabilistic Polynomial Time. FOCS John C. Mitchell, Mark Mitchell, Andre Scedrov
1998	A*	`conf`	A Probabilistic Poly-Time Framework for Protocol Analysis. CCS Patrick Lincoln, John C. Mitchell, Mark Mitchell, Andre Scedrov
1998	A	`conf`	A Type System for Object Initialization in the Java Bytecode Language. OOPSLA Stephen N. Freund, John C. Mitchell
1998	A*	`conf`	Finite-State Analysis of SSL 3.0. USENIX Security Symposium John C. Mitchell, Vitaly Shmatikov, Ulrich Stern
1998	A*	`conf`	Finite-State Analysis of Security Protocols. CAV John C. Mitchell
1998	J	`jnl`	On the Relationship Between Classes, Objects, and Data Abstraction. Theory Pract. Object Syst. Kathleen Fisher, John C. Mitchell
1997	—	`conf`	A Type System For Object Initialization In the Java Bytecode Language. HOOTS Stephen N. Freund, John C. Mitchell
1997	A	`conf`	Adding Type Parameterization to the Java Language. OOPSLA Ole Agesen, Stephen N. Freund, John C. Mitchell
1997	—	`conf`	Automated analysis of cryptographic protocols using Mur-phi. S&P John C. Mitchell, Mark Mitchell, Ulrich Stern
1997	J	`jnl`	ML and Beyond. ACM SIGPLAN Notices Robert Harper, John C. Mitchell
1997	J	`jnl`	The analysis of programming structure. SIGACT News John C. Mitchell, Jon G. Riecke
1996	A*	`conf`	Effective Models of Polymorphism, Subtyping and Recursion (Extended Abstract). ICALP John C. Mitchell, Ramesh Viswanathan
1996	—	`book`	Foundations for programming languages. John C. Mitchell
1996	J	`jnl`	Linear logic proof games and optimization. Bull. Symb. Log. Patrick Lincoln, John C. Mitchell, Andre Scedrov
1996	J	`jnl`	ML and Beyond. ACM Comput. Surv. Robert Harper, John C. Mitchell
1996	J	`jnl`	Standard ML-NJ Weak Polymorphism and Imperative Constructs. Inf. Comput. John C. Mitchell, Ramesh Viswanathan
1996	J	`jnl`	Strategic Directions in Software Engineering and Programming Languages. ACM Comput. Surv. Carl A. Gunter, John C. Mitchell, David Notkin
1996	—	`conf`	The Complexity of Local Proof Search in Linear Logic. Linear Logic Tokyo Meeting Patrick Lincoln, John C. Mitchell, Andre Scedrov
1995	B	`conf`	A Delegation-based Object Calculus with Subtying. FCT Kathleen Fisher, John C. Mitchell
1995	A*	`conf`	Lower Bounds on Type Inference with Subtypes. POPL My Hoang, John C. Mitchell
1995	J	`jnl`	The Development of Type Systems for Object-Oriented Languages. Theory Pract. Object Syst. Kathleen Fisher, John C. Mitchell
1994	A*	`conf`	A Type System for Prototyping Languages. POPL Dinesh Katiyar, David C. Luckham, John C. Mitchell
1994	J	`jnl`	A lambda Calculus of Objects and Method Specialization. Nord. J. Comput. Kathleen Fisher, Furio Honsell, John C. Mitchell
1994	J	`jnl`	An Extension of System F with Subtyping Inf. Comput. Luca Cardelli, Simone Martini, John C. Mitchell, Andre Scedrov
1994	—	`conf`	Notes on Typed Object-Oriented Programming. TACS Kathleen Fisher, John C. Mitchell
1994	—	`conf`	Polymorphism and Subtyping in Interfaces. Workshop on Interface Definition Languages Dinesh Katiyar, David C. Luckham, John C. Mitchell
1994	—	`ed.`	Theoretical Aspects of Computer Software, International Conference TACS '94, Sendai, Japan, April 19-22, 1994, Proceedings TACS Masami Hagiya, John C. Mitchell
1993	A*	`conf`	A lambda calculus of objects and method specialization LICS John C. Mitchell, Furio Honsell, Kathleen Fisher
1993	J	`jnl`	On Abstraction and the Expressive Power of Programming Languages. Sci. Comput. Program. John C. Mitchell
1993	J	`jnl`	On the Type Structure of Standard ML. ACM Trans. Program. Lang. Syst. Robert Harper, John C. Mitchell
1993	A*	`conf`	Standard ML-NJ weak polymorphism and imperative constructs LICS My Hoang, John C. Mitchell, Ramesh Viswanathan
1993	J	`jnl`	Type Inference with Extended Pattern Matching and Subtypes. Fundam. Informaticae Lalita Jategaonkar, John C. Mitchell
1992	A*	`conf`	Algorithmic Aspects of Type Inference with Subtypes. POPL Patrick Lincoln, John C. Mitchell
1992	J	`jnl`	Decision Problems for Propositional Linear Logic. Ann. Pure Appl. Log. Patrick Lincoln, John C. Mitchell, Andre Scedrov, Natarajan Shankar
1992	B	`conf`	Notes on Sconing and Relators. CSL John C. Mitchell, Andre Scedrov
1992	A*	`conf`	Operational aspects of linear lambda calculus LICS Patrick Lincoln, John C. Mitchell
1992	A*	`conf`	PER Models of Subtyping, Recursive Types and Higher-Order Polymorphism. POPL Kim B. Bruce, John C. Mitchell
1991	A*	`conf`	An Extension of Standard ML Modules with Subtyping and Inheritance. POPL John C. Mitchell, Sigurd Meldal, Neel Madhav
1991	—	`conf`	An Extension of System F with Subtyping. TACS Luca Cardelli, Simone Martini, John C. Mitchell, Andre Scedrov
1991	—	`conf`	Connecting Formal Semantics to Constructive Intuitions. Constructivity in Computer Science Stuart A. Kurtz, John C. Mitchell, Michael J. O'Donnell
1991	J	`jnl`	Kripke-Style Models for Typed lambda Calculus. Ann. Pure Appl. Log. John C. Mitchell, Eugenio Moggi
1991	—	`conf`	On Abstraction and the Expressive Power of Programming Languages. TACS John C. Mitchell
1991	—	`conf`	On the Equivalence of Data Representations. Artificial and Mathematical Theory of Computation John C. Mitchell
1991	J	`jnl`	Operations on Records. Math. Struct. Comput. Sci. Luca Cardelli, John C. Mitchell
1991	J	`jnl`	Type Inference With Simple Subtypes. J. Funct. Program. John C. Mitchell
1991	—	`conf`	Unification and ML-Type Reconstruction. Computational Logic - Essays in Honor of Alan Robinson Paris C. Kanellakis, Harry G. Mairson, John C. Mitchell
1990	A*	`conf`	Decision Problems for Propositional Linear Logic FOCS Patrick Lincoln, John C. Mitchell, Andre Scedrov, Natarajan Shankar
1990	A*	`conf`	Higher-Order Modules and the Phase Distinction. POPL Robert Harper, John C. Mitchell, Eugenio Moggi
1990	—	`conf`	Operational and Axiomatic Semantics of PCF. LISP and Functional Programming Brian T. Howard, John C. Mitchell
1990	J	`jnl`	The Semantics of Second-Order Lambda Calculus Inf. Comput. Kim B. Bruce, Albert R. Meyer, John C. Mitchell
1990	A*	`conf`	Toward a Typed Foundation for Method Specialization and Inheritance. POPL John C. Mitchell
1990	—	`ch.`	Type Systems for Programming Languages. Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics (B) John C. Mitchell
1989	—	`conf`	F-Bounded Polymorphism for Object-Oriented Programming. FPCA Peter S. Canning, William R. Cook, Walter L. Hill, Walter G. Olthoff, John C. Mitchell
1989	—	`conf`	Operations in Records. Category Theory and Computer Science Luca Cardelli, John C. Mitchell
1989	B	`conf`	Operations on Records. Mathematical Foundations of Programming Semantics Luca Cardelli, John C. Mitchell
1989	A*	`conf`	Polymorphic Unification and ML Typing. POPL Paris C. Kanellakis, John C. Mitchell
1988	J	`jnl`	Abstract Types Have Existential Type. ACM Trans. Program. Lang. Syst. John C. Mitchell, Gordon D. Plotkin
1988	—	`conf`	ML with Extended Pattern Matching and Subtypes. LISP and Functional Programming Lalita Jategaonkar, John C. Mitchell
1988	J	`jnl`	Polymorphic Type Inference and Containment Inf. Comput. John C. Mitchell
1988	A*	`conf`	The Essence of ML. POPL John C. Mitchell, Robert Harper
1987	A*	`conf`	Empty Types in Polymorphic Lambda Calculus. POPL Albert R. Meyer, John C. Mitchell, Eugenio Moggi, Richard Statman
1987	A*	`conf`	Kripke-Style models for typed lambda calculus LICS John C. Mitchell, Eugenio Moggi
1986	—	`conf`	A Type-Inference Approach to Reduction Properties and Semantics of Polymorphic Expressions (Summary). LISP and Functional Programming John C. Mitchell
1986	B	`conf`	Realisability Semantics for Error-Tolerant Logics. TARK John C. Mitchell, Michael J. O'Donnell
1986	A*	`conf`	Representation Independence and Data Abstraction. POPL John C. Mitchell
1985	A*	`conf`	Abstract Types Have Existential Type. POPL John C. Mitchell, Gordon D. Plotkin
1985	—	`conf`	Second-Order Logical Relations (Extended Abstract). Logic of Programs John C. Mitchell, Albert R. Meyer
1984	A*	`conf`	Coercion and Type Inference. POPL John C. Mitchell
1984	—	`—`	Lambda calculus models of typed programming languages. John C. Mitchell
1984	J	`jnl`	On the Sequential Nature of Unification. J. Log. Program. Cynthia Dwork, Paris C. Kanellakis, John C. Mitchell
1984	A*	`conf`	Semantic Models for Second-Order Lambda Calculus FOCS John C. Mitchell
1983	A*	`conf`	Inference Rules for Functional and Inclusion Dependencies. PODS John C. Mitchell
1983	J	`jnl`	Termination Assertions for Recursive Programs: Completeness and Axiomatic Definability Inf. Control. Albert R. Meyer, John C. Mitchell
1983	J	`jnl`	The Implication Problem for Functional and Inclusion Dependencies Inf. Control. John C. Mitchell
1982	A*	`conf`	Axiomatic Definability and Completeness for Recursive Programs. POPL Albert R. Meyer, John C. Mitchell