John C. Mitchell

ORCID

Publication Activity (10 Years)

Years Active: 1982-2024
Publications (10 Years): 37

Top Venues

CoRR

IACR Cryptol. ePrint Arch.

L@S

CHI

Massachusetts Institute of Technology, Cambridge, MA, USA (PHD)

Education History

Massachusetts Institute of Technology, Cambridge, MA, USA

PHD

Publications

Sanjari Srivastava, Piotr Mardziel, Zhikhun Zhang, Archana Ahlawat, Anupam Datta, John C. Mitchell
De-amplifying Bias from Differential Privacy in Language Model Fine-tuning. CoRR (2024)
Diyi Yang, Caleb Ziems, William Held, Omar Shaikh, Michael S. Bernstein, John C. Mitchell
Social Skill Training with Large Language Models. CoRR (2024)
René F. Kizilcec, John C. Mitchell
Remote Learning and Work. IEEE Internet Comput. 28 (1) (2024)
Sierra Wang, John C. Mitchell, Chris Piech
A Large Scale RCT on Effective Error Messages in CS1. SIGCSE (1) (2024)
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
Securing the Future of GenAI: Policy and Technology. IACR Cryptol. ePrint Arch. 2024 (2024)
Sierra Wang, John C. Mitchell, Nick Haber, Chris Piech
Math IDE: A Platform for Creating with Math. SIGCSE (2) (2024)
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
Securing the Future of GenAI: Policy and Technology. CoRR (2024)
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
Identifying and Mitigating the Security Risks of Generative AI. CoRR (2023)
Charis Charitsis, Chris Piech, John C. Mitchell
Detecting the Reasons for Program Decomposition in CS1 and Evaluating Their Impact. SIGCSE (1) (2023)
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
Identifying and Mitigating the Security Risks of Generative AI. Found. Trends Priv. Secur. 6 (1) (2023)
Nicholas Mosier, Hamed Nemati, John C. Mitchell, Caroline Trippel
Serberus: Protecting Cryptographic Code from Spectres at Compile-Time. CoRR (2023)
Charis Charitsis, Chris Piech, John C. Mitchell
Function Names: Quantifying the Relationship Between Identifiers and Their Functionality to Improve Them. L@S (2022)
Charis Charitsis, Chris Piech, John C. Mitchell
Feedback on Program Development Process for CS1 Students. SIGCSE (2) (2022)
Maxwell Bigman, Yosefa Gilon, Jenny Han, John C. Mitchell
Insights for post-pandemic pedagogy across one CS department. CoRR (2022)
Charis Charitsis, Chris Piech, John C. Mitchell
Using NLP to Quantify Program Decomposition in CS1. L@S (2022)
Sam Blackshear, John C. Mitchell, Todd Nowacki, Shaz Qadeer
The Move Borrow Checker. CoRR (2022)
Charis Charitsis, Chris Piech, John C. Mitchell
Simplifying Automated Assessment in CS1. ICETM (2021)
Charis Charitsis, Chris Piech, John C. Mitchell
Assessing Function Names and Quantifying the Relationship Between Identifiers and Their Functionality to Improve Them. L@S (2021)
Sam Blackshear, David L. Dill, Shaz Qadeer, Clark W. Barrett, John C. Mitchell, Oded Padon, Yoni Zohar
Resources: A Safe Language Abstraction for Money. CoRR (2020)
Max DiGiacomo-Castillo, Yiyun Liang, Advay Pal, John C. Mitchell
Model Checking Bitcoin and other Proof-of-Work Consensus Protocols. Blockchain (2020)
Jonathan Bassen, Bharathan Balaji, Michael Schaarschmidt, Candace Thille, Jay Painter, Dawn Zimmaro, Alex Games, Ethan Fast, John C. Mitchell
Reinforcement Learning for the Adaptive Scheduling of Educational Activities. CHI (2020)
Max DiGiacomo-Castillo, Yiyun Liang, Advay Pal, John C. Mitchell
Model Checking Bitcoin and other Proof-of-Work Consensus Protocols. CoRR (2020)
Maxwell Bigman, John C. Mitchell
Teaching Online in 2020: Experiments, Empathy, Discovery. LWMOOCS (2020)
Gilles Barthe, Edvard Fagerholm, Dario Fiore, John C. Mitchell, Andre Scedrov, Benedikt Schmidt
Automated Analysis of Cryptographic Assumptions in Generic Group Models. J. Cryptol. 32 (2) (2019)
Jonathan Bassen, Iris Howley, Ethan Fast, John C. Mitchell, Candace Thille
OARS: exploring instructor analytics for online learning. L@S (2018)
Eftychios Theodorakis, John C. Mitchell
Semantic Security Invariance under Variant Computational Assumptions. IACR Cryptol. ePrint Arch. 2018 (2018)
Avradip Mandal, John C. Mitchell, Hart Montgomery, Arnab Roy
Data Oblivious Genome Variants Search on Intel SGX. IACR Cryptol. ePrint Arch. 2018 (2018)
Avradip Mandal, John C. Mitchell, Hart Montgomery, Arnab Roy
Data Oblivious Genome Variants Search on Intel SGX. DPM/CBT@ESORICS (2018)
Avradip Mandal, John C. Mitchell, Hart William Montgomery, Arnab Roy
Privacy for Targeted Advertising. IACR Cryptol. ePrint Arch. 2017 (2017)
Daniel B. Giffin, Amit Levy, Deian Stefan, David Terei, David Mazières, John C. Mitchell, Alejandro Russo
Hails: Protecting data privacy in untrusted web applications. J. Comput. Secur. 25 (4-5) (2017)
Deian Stefan, David Mazières, John C. Mitchell, Alejandro Russo
Flexible dynamic information flow control in the presence of exceptions. J. Funct. Program. 27 (2017)
Avradip Mandal, John C. Mitchell, Hart William Montgomery, Arnab Roy
Privacy for targeted advertising. CNS (2017)
David J. Wu, Joe Zimmerman, Jérémy Planul, John C. Mitchell
Privacy-Preserving Shortest Path Computation. CoRR (2016)
Jonathan R. Mayer, Patrick Mutchler, John C. Mitchell
Evaluating the privacy properties of telephone metadata. Proc. Natl. Acad. Sci. USA 113 (20) (2016)
Hristo S. Paskov, John C. Mitchell, Trevor J. Hastie
Data Representation and Compression Using Linear-Programming Approximations. ICLR (Poster) (2016)
David J. Wu, Joe Zimmerman, Jérémy Planul, John C. Mitchell
Privacy-Preserving Shortest Path Computation. NDSS (2016)
Patrick Mutchler, Yeganeh Safaei, Adam Doupé, John C. Mitchell
Target Fragmentation in Android Apps. IEEE Symposium on Security and Privacy Workshops (2016)
Hristo S. Paskov, John C. Mitchell, Trevor J. Hastie
Fast Algorithms for Learning with Long N-grams via Suffix Tree Based Matrix Multiplication. UAI (2015)
Stefan Heule, Deian Stefan, Edward Z. Yang, John C. Mitchell, Alejandro Russo
IFC Inside: Retrofitting Languages with Dynamic Information Flow Control (Extended Version). CoRR (2015)
Stefan Heule, Deian Stefan, Edward Z. Yang, John C. Mitchell, Alejandro Russo
IFC Inside: Retrofitting Languages with Dynamic Information Flow Control. POST (2015)
Anupam Datta, Joseph Y. Halpern, John C. Mitchell, Arnab Roy, Shayak Sen
A Symbolic Logic with Concrete Bounds for Cryptographic Protocols. CoRR (2015)
Gilles Barthe, Edvard Fagerholm, Dario Fiore, John C. Mitchell, Andre Scedrov, Benedikt Schmidt
Automated Analysis of Cryptographic Assumptions in Generic Group Models. CRYPTO (1) (2014)
Gilles Barthe, Edvard Fagerholm, Dario Fiore, John C. Mitchell, Andre Scedrov, Benedikt Schmidt
Automated Analysis of Cryptographic Assumptions in Generic Group Models. IACR Cryptol. ePrint Arch. 2014 (2014)
Elie Bursztein, Jonathan Aigrain, Angelika Moscicki, John C. Mitchell
The End is Nigh: Generic Solving of Text-based CAPTCHAs. WOOT (2014)
Pierre Dillenbourg, Armando Fox, Claude Kirchner, John C. Mitchell, Martin Wirsing
Massive Open Online Courses: Current State and Perspectives (Dagstuhl Perspectives Workshop 14112). Dagstuhl Manifestos 4 (1) (2014)
Elie Bursztein, Angelique Moscicki, Celine Fabry, Steven Bethard, John C. Mitchell, Dan Jurafsky
Easy does it: more usable CAPTCHAs. CHI (2014)
Pierre Dillenbourg, Claude Kirchner, John C. Mitchell, Martin Wirsing
Massively Open Online Courses, Current State and Perspectives (Dagstuhl Perspectives Workshop 14112). Dagstuhl Reports 4 (3) (2014)
John C. Mitchell
MOOCs on and off the Farm: MOOCs and technology to advance learning and learning research (Ubiquity symposium). Ubiquity 2014 (June) (2014)
Hristo S. Paskov, John C. Mitchell, Trevor J. Hastie
An Efficient Algorithm for Large Scale Compressive Feature Learning. AISTATS (2014)
John C. Mitchell, Joe Zimmerman
Data-Oblivious Data Structures. STACS (2014)
Jérémy Planul, John C. Mitchell
Oblivious Program Execution and Path-Sensitive Non-interference. CSF (2013)
Edward Z. Yang, Deian Stefan, John C. Mitchell, David Mazières, Petr Marchenko, Brad Karp
Toward Principled Browser Security. HotOS (2013)
Ellick Chan, Peifung E. Lam, John C. Mitchell
Understanding the Challenges with Medical Data Segmentation for Privacy. HealthTech (2013)
Hristo S. Paskov, Robert West, John C. Mitchell, Trevor J. Hastie
Compressive Feature Learning. NIPS (2013)
Jonathan R. Mayer, John C. Mitchell
Third-Party Web Tracking: Policy and Technology. IEEE Symposium on Security and Privacy (2012)
Carl E. Landwehr, Dan Boneh, John C. Mitchell, Steven M. Bellovin, Susan Landau, Michael E. Lesk
Privacy and Cybersecurity: The Next 100 Years. Proc. IEEE 100 (Centennial-Issue) (2012)
Peifung E. Lam, John C. Mitchell, Andre Scedrov, Sharada Sundaram, Frank Wang
Declarative privacy policy: finite models and attribute-based encryption. IHI (2012)
Elie Bursztein, Chinmay Soman, Dan Boneh, John C. Mitchell
SessionJuggler: secure web login from an untrusted terminal using session hijacking. WWW (2012)
John C. Mitchell, Rahul Sharma, Deian Stefan, Joe Zimmerman
Information-Flow Control for Programming on Encrypted Data. CSF (2012)
Daniel B. Giffin, Amit Levy, Deian Stefan, David Terei, David Mazières, John C. Mitchell, Alejandro Russo
Hails: Protecting Data Privacy in Untrusted Web Applications. OSDI (2012)
John C. Mitchell, Rahul Sharma, Deian Stefan, Joe Zimmerman
Information-flow control for programming on encrypted data. IACR Cryptol. ePrint Arch. 2012 (2012)
Deian Stefan, Alejandro Russo, Pablo Buiras, Amit Levy, John C. Mitchell, David Mazières
Addressing covert termination and timing channels in concurrent information flow systems. ICFP (2012)
Deian Stefan, Alejandro Russo, John C. Mitchell, David Mazières
Flexible Dynamic Information Flow Control in the Presence of Exceptions CoRR (2012)
Adam Barth, Benjamin I. P. Rubinstein, Mukund Sundararajan, John C. Mitchell, Dawn Song, Peter L. Bartlett
A Learning-Based Approach to Reactive Security. IEEE Trans. Dependable Secur. Comput. 9 (4) (2012)
Elie Bursztein, Matthieu Martin, John C. Mitchell
Text-based CAPTCHA strengths and weaknesses. CCS (2011)
John C. Mitchell
Program Analysis for Web Security. SAS (2011)
Ankur Taly, Úlfar Erlingsson, John C. Mitchell, Mark S. Miller, Jasvir Nagra
Automated Analysis of Security-Critical JavaScript APIs. IEEE Symposium on Security and Privacy (2011)
Deian Stefan, Alejandro Russo, John C. Mitchell, David Mazières
Flexible dynamic information flow control in Haskell. Haskell (2011)
John C. Mitchell
A Symbolic Logic with Exact Bounds for Cryptographic Protocols. WoLLIC (2011)
Elie Bursztein, Romain Beauxis, Hristo S. Paskov, Daniele Perito, Celine Fabry, John C. Mitchell
The Failure of Noise-Based Non-continuous Audio Captchas. IEEE Symposium on Security and Privacy (2011)
Elie Bursztein, Baptiste Gourdin, John C. Mitchell
Reclaiming the Blogosphere, TalkBack: A Secure LinkBack Protocol for Weblogs. ESORICS (2011)
Timothy L. Hinrichs, William C. Garrison III, Adam J. Lee, Skip Saunders, John C. Mitchell
TBA : A Hybrid of Logic and Extensional Access Control Systems. Formal Aspects in Security and Trust (2011)
Deian Stefan, Alejandro Russo, David Mazières, John C. Mitchell
Disjunction Category Labels. NordSec (2011)
Alex Bain, John C. Mitchell, Rahul Sharma, Deian Stefan, Joe Zimmerman
A Domain-Specific Language for Computing on Encrypted Data (Invited Talk). FSTTCS (2011)
Jason Bau, John C. Mitchell
Security Modeling and Analysis. IEEE Secur. Priv. 9 (3) (2011)
Alex Bain, John C. Mitchell, Rahul Sharma, Deian Stefan, Joe Zimmerman
A Domain-Specific Language for Computing on Encrypted Data. IACR Cryptol. ePrint Arch. 2011 (2011)
Elie Bursztein, Steven Bethard, Celine Fabry, John C. Mitchell, Daniel Jurafsky
How Good Are Humans at Solving CAPTCHAs? A Large Scale Evaluation. IEEE Symposium on Security and Privacy (2010)
Devdatta Akhawe, Adam Barth, Peifung E. Lam, John C. Mitchell, Dawn Song
Towards a Formal Foundation of Web Security. CSF (2010)
Jason Bau, John C. Mitchell
A Security Evaluation of DNSSEC with NSEC3. IACR Cryptol. ePrint Arch. 2010 (2010)
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
Homogeneity as an Advantage: It Takes a Community to Protect an Application. CollSec (2010)
Jason Bau, Elie Bursztein, Divij Gupta, John C. Mitchell
State of the Art: Automated Black-Box Web Application Vulnerability Testing. IEEE Symposium on Security and Privacy (2010)
Sergio Maffeis, John C. Mitchell, Ankur Taly
Object Capabilities and Isolation of Untrusted Web Applications. IEEE Symposium on Security and Privacy (2010)
Adam Barth, Benjamin I. P. Rubinstein, Mukund Sundararajan, John C. Mitchell, Dawn Song, Peter L. Bartlett
A Learning-Based Approach to Reactive Security. Financial Cryptography (2010)
Arnab Roy, Anupam Datta, Ante Derek, John C. Mitchell
Inductive trace properties for computational security. J. Comput. Secur. 18 (6) (2010)
Anupam Datta, Nipun Dave, John C. Mitchell, Helen Nissenbaum, Divya Sharma
Privacy Challenges in Patient-centric Health Information Systems. HealthSec (2010)
Elie Bursztein, Baptiste Gourdin, Celine Fabry, Jason Bau, Gustav Rydstedt, Hristo Bojinov, Dan Boneh, John C. Mitchell
Webseclab Security Education Workbench. CSET (2010)
Jason Bau, John C. Mitchell
A Security Evaluation of DNSSEC with NSEC3. NDSS (2010)
John C. Mitchell, Arnab Roy, Mukund Sundararajan
An Automated Approach for Proving PCL Invariants. Electron. Notes Theor. Comput. Sci. 234 (2009)
Adam Barth, Benjamin I. P. Rubinstein, Mukund Sundararajan, John C. Mitchell, Dawn Xiaodong Song, Peter L. Bartlett
A Learning-Based Approach to Reactive Security CoRR (2009)
Ruth Breu, John C. Mitchell, Janos Sztipanovits, Alfred Winter
09073 Abstracts Collection - Model-Based Design of Trustworthy Health Information Systems. Model-Based Design of Trustworthy Health Information Systems (2009)
Adam Barth, Collin Jackson, John C. Mitchell
Securing frame communication in browsers. Commun. ACM 52 (6) (2009)
Elie Bursztein, John C. Mitchell
Using Strategy Objectives for Network Security Analysis. Inscrypt (2009)
Timothy L. Hinrichs, Natasha Gude, Martín Casado, John C. Mitchell, Scott Shenker
Practical declarative network management. WREN (2009)
Elie Bursztein, Peifung E. Lam, John C. Mitchell
TrackBack spam: abuse and prevention. CCSW (2009)
Peifung E. Lam, John C. Mitchell, Sharada Sundaram
A Formalization of HIPAA for a Medical Messaging System. TrustBus (2009)
Sergio Maffeis, John C. Mitchell, Ankur Taly
Isolating JavaScript with Filters, Rewriting, and Wrappers. ESORICS (2009)
John C. Mitchell, Arnab Roy, Paul D. Rowe, Andre Scedrov
Analysis of EAP-GPSK Authentication Protocol. ACNS (2008)
Elizabeth Stinson, John C. Mitchell
Towards Systematic Evaluation of the Evadability of Bot/Botnet Detection Methods. WOOT (2008)
Adam Barth, Collin Jackson, John C. Mitchell
Securing Frame Communication in Browsers. USENIX Security Symposium (2008)
Adam Barth, Collin Jackson, John C. Mitchell
Robust defenses for cross-site request forgery. CCS (2008)

John C. Mitchell.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

John C. Mitchell