| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | 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 Sec. Comput.  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Carl E. Landwehr, Dan Boneh, John C. Mitchell, Steven M. Bellovin, Susan Landau, Michael E. Lesk |
Privacy and Cybersecurity: The Next 100 Years. |
Proceedings of the IEEE |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Elie Bursztein, Chinmay Soman, Dan Boneh, John C. Mitchell |
SessionJuggler: secure web login from an untrusted terminal using session hijacking. |
WWW |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Peifung E. Lam, John C. Mitchell, Andre Scedrov, Sharada Sundaram, Frank Wang |
Declarative privacy policy: finite models and attribute-based encryption. |
IHI |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Alex Bain, John C. Mitchell, Rahul Sharma 0001, Deian Stefan, Joe Zimmerman |
A Domain-Specific Language for Computing on Encrypted Data. |
IACR Cryptology ePrint Archive |
2011 |
DBLP BibTeX RDF |
|
| 1 | Jason Bau, John C. Mitchell |
Security Modeling and Analysis. |
IEEE Security & Privacy |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
APIs, Javascript, Language-Based Security, Points-to Analysis |
| 1 | Elie Bursztein, Romain Beauxis, Hristo Paskov, Daniele Perito, Celine Fabry, John C. Mitchell |
The Failure of Noise-Based Non-continuous Audio Captchas. |
IEEE Symposium on Security and Privacy |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | John C. Mitchell |
A Symbolic Logic with Exact Bounds for Cryptographic Protocols. |
WoLLIC |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Deian Stefan, Alejandro Russo, David Mazières, John C. Mitchell |
Disjunction Category Labels. |
NordSec |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | John C. Mitchell |
Program Analysis for Web Security. |
SAS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Deian Stefan, Alejandro Russo, John C. Mitchell, David Mazières |
Flexible dynamic information flow control in Haskell. |
Haskell |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Alex Bain, John C. Mitchell, Rahul Sharma 0001, Deian Stefan, Joe Zimmerman |
A Domain-Specific Language for Computing on Encrypted Data (Invited Talk). |
FSTTCS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Elie Bursztein, Matthieu Martin, John C. Mitchell |
Text-based CAPTCHA strengths and weaknesses. |
ACM Conference on Computer and Communications Security |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Elie Bursztein, Baptiste Gourdin, John C. Mitchell |
Reclaiming the Blogosphere, TalkBack: A Secure LinkBack Protocol for Weblogs. |
ESORICS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Arnab Roy 0001, Anupam Datta, Ante Derek, John C. Mitchell |
Inductive trace properties for computational security. |
Journal of Computer Security |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Jason Bau, John C. Mitchell |
A Security Evaluation of DNSSEC with NSEC3. |
IACR Cryptology ePrint Archive |
2010 |
DBLP BibTeX RDF |
|
| 1 | Sergio Maffeis, John C. Mitchell, Ankur Taly |
Object Capabilities and Isolation of Untrusted Web Applications. |
IEEE Symposium on Security and Privacy |
2010 |
DBLP DOI BibTeX RDF |
Operational Semantics, JavaScript, Capabilities, Language-based Security |
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
image, audio, humans, captchas, mechanical turk |
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Devdatta Akhawe, Adam Barth, Peifung E. Lam, John C. Mitchell, Dawn Song |
Towards a Formal Foundation of Web Security. |
CSF |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Jason Bau, John C. Mitchell |
A Security Evaluation of DNSSEC with NSEC3. |
NDSS |
2010 |
DBLP BibTeX RDF |
|
| 1 | John C. Mitchell, Arnab Roy 0001, Mukund Sundararajan |
An Automated Approach for Proving PCL Invariants. |
Electr. Notes Theor. Comput. Sci. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Adam Barth, Collin Jackson, John C. Mitchell |
Securing frame communication in browsers. |
Commun. ACM |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | Elie Bursztein, John C. Mitchell |
Using Strategy Objectives for Network Security Analysis. |
Inscrypt |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Peifung E. Lam, John C. Mitchell, Sharada Sundaram |
A Formalization of HIPAA for a Medical Messaging System. |
TrustBus |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Timothy L. Hinrichs, Natasha Gude, Martin Casado, John C. Mitchell, Scott Shenker |
Practical declarative network management. |
WREN |
2009 |
DBLP DOI BibTeX RDF |
security, performance, network, policy |
| 1 | Elie Bursztein, Peifung E. Lam, John C. Mitchell |
TrackBack spam: abuse and prevention. |
CCSW |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Sergio Maffeis, John C. Mitchell, Ankur Taly |
Isolating JavaScript with Filters, Rewriting, and Wrappers. |
ESORICS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Ralf Küsters, Anupam Datta, John C. Mitchell, Ajith Ramanathan |
On the Relationships between Notions of Simulation-Based Security. |
J. Cryptology |
2008 |
DBLP DOI BibTeX RDF |
Simulation-based security, Reactive Simulatability, Black-Box Simulatability, Universal Composability, Process calculus |
| 1 | Elizabeth Stinson, John C. Mitchell |
Characterizing Bots' Remote Control Behavior. |
Botnet Detection |
2008 |
DBLP DOI BibTeX RDF |
host-based, behavior-based, taint, interposition, detection, system call |
| 1 | Adam Barth, Collin Jackson, John C. Mitchell |
Securing Frame Communication in Browsers. |
USENIX Security Symposium |
2008 |
DBLP BibTeX RDF |
|
| 1 | Elizabeth Stinson, John C. Mitchell |
Towards Systematic Evaluation of the Evadability of Bot/Botnet Detection Methods. |
WOOT |
2008 |
DBLP BibTeX RDF |
|
| 1 | Sergio Maffeis, John C. Mitchell, Ankur Taly |
An Operational Semantics for JavaScript. |
APLAS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Lorenzo Martignoni, Elizabeth Stinson, Matt Fredrikson, Somesh Jha, John C. Mitchell |
A Layered Architecture for Detecting Malicious Behaviors. |
RAID |
2008 |
DBLP DOI BibTeX RDF |
Dynamic, Malware, Behavior, Data-Flow, Semantic Gap |
| 1 | Adam Barth, Collin Jackson, John C. Mitchell |
Robust defenses for cross-site request forgery. |
ACM Conference on Computer and Communications Security |
2008 |
DBLP DOI BibTeX RDF |
cross-site request forgery, http referer header, web application firewall, same-origin policy |
| 1 | John C. Mitchell, Arnab Roy 0001, Paul Rowe, Andre Scedrov |
Analysis of EAP-GPSK Authentication Protocol. |
ACNS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Arnab Roy 0001, Anupam Datta, Ante Derek, John C. Mitchell |
Inductive Proof Method for Computational Secrecy. |
IACR Cryptology ePrint Archive |
2007 |
DBLP BibTeX RDF |
|
| 1 | Anupam Datta, Ante Derek, John C. Mitchell, Arnab Roy 0001 |
Protocol Composition Logic (PCL). |
Electr. Notes Theor. Comput. Sci. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Adam Barth, John C. Mitchell, Anupam Datta, Sharada Sundaram |
Privacy and Utility in Business Processes. |
CSF |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Elizabeth Stinson, John C. Mitchell |
Characterizing Bots' Remote Control Behavior. |
DIMVA |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Arnab Roy 0001, Anupam Datta, John C. Mitchell |
Formal Proofs of Cryptographic Security of Diffie-Hellman-Based Protocols. |
TGC |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Arnab Roy 0001, Anupam Datta, Ante Derek, John C. Mitchell |
Inductive Proofs of Computational Secrecy. |
ESORICS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Ninghui Li, John C. Mitchell |
Understanding SPKI/SDSI using first-order logic. |
Int. J. Inf. Sec. |
2006 |
DBLP DOI BibTeX RDF |
SPKT, SDSI, Trust, Logic programs, management, Language, Logic |
| 1 | John C. Mitchell, Ajith Ramanathan, Andre Scedrov, Vanessa Teague |
A probabilistic polynomial-time process calculus for the analysis of cryptographic protocols. |
Theor. Comput. Sci. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Backes, Anupam Datta, Ante Derek, John C. Mitchell, Mathieu Turuani |
Compositional analysis of contract-signing protocols. |
Theor. Comput. Sci. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Anupam Datta, Ralf Küsters, John C. Mitchell, Ajith Ramanathan |
On the Relationships Between Notions of Simulation-Based Security. |
IACR Cryptology ePrint Archive |
2006 |
DBLP BibTeX RDF |
|
| 1 | Anupam Datta, Ante Derek, John C. Mitchell, Bogdan Warinschi |
Key Exchange Protocols: Security Definition, Proof Method and Applications. |
IACR Cryptology ePrint Archive |
2006 |
DBLP BibTeX RDF |
|
| 1 | Arnab Roy, Anupam Datta, Ante Derek, John C. Mitchell |
Inductive Trace Properties for Computational Security. |
IACR Cryptology ePrint Archive |
2006 |
DBLP BibTeX RDF |
|
| 1 | Adam Barth, Anupam Datta, John C. Mitchell, Helen Nissenbaum |
Privacy and Contextual Integrity: Framework and Applications. |
IEEE Symposium on Security and Privacy |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Collin Jackson, Andrew Bortz, Dan Boneh, John C. Mitchell |
Protecting browser state from web privacy attacks. |
WWW |
2006 |
DBLP DOI BibTeX RDF |
web browser design, privacy, phishing, web spoofing |
| 1 | Arnab Roy 0001, Anupam Datta, Ante Derek, John C. Mitchell, Jean-Pierre Seifert |
Secrecy Analysis in Protocol Composition Logic. |
ASIAN |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Anupam Datta, Ante Derek, John C. Mitchell, Bogdan Warinschi |
Computationally Sound Compositional Logic for Key Exchange Protocols. |
CSFW |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Anupam Datta, Ante Derek, John C. Mitchell, Ajith Ramanathan, Andre Scedrov |
Games and the Impossibility of Realizable Ideal Functionality. |
TCC |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Adam Barth, John C. Mitchell |
Managing Digital Rights using Linear Logic. |
LICS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Anupam Datta, Ante Derek, John C. Mitchell, Dusko Pavlovic |
A derivation system and compositional logic for security protocols. |
Journal of Computer Security |
2005 |
DBLP BibTeX RDF |
|
| 1 | Rohit Chadha, John C. Mitchell, Andre Scedrov, Vitaly Shmatikov |
Contract signing, optimism, and advantage. |
J. Log. Algebr. Program. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Anupam Datta, Ante Derek, John C. Mitchell, Ajith Ramanathan, Andre Scedrov |
Games and the Impossibility of Realizable Ideal Functionality. |
IACR Cryptology ePrint Archive |
2005 |
DBLP BibTeX RDF |
|
| 1 | Ninghui Li, John C. Mitchell, William H. Winsborough |
Beyond proof-of-compliance: security analysis in trust management. |
J. ACM |
2005 |
DBLP DOI BibTeX RDF |
Access control, logic programs, trust management, safety analysis, distributed system security |
| 1 | Anupam Datta, Ante Derek, John C. Mitchell, Vitaly Shmatikov, Mathieu Turuani |
Probabilistic Polynomial-Time Semantics for a Protocol Security Logic. |
ICALP |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Adam Barth, John C. Mitchell |
Enterprise privacy promises and enforcement. |
WITS |
2005 |
DBLP DOI BibTeX RDF |
policy summary, modal logic, privacy policy, P3P, EPAL |
| 1 | Michael Backes, Anupam Datta, Ante Derek, John C. Mitchell, Mathieu Turuani |
Compositional Analysis of Contract Signing Protocols. |
CSFW |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | John C. Mitchell |
Security analysis of network protocols: logical and computational methods. |
PPDP |
2005 |
DBLP DOI BibTeX RDF |
security, network, protocols |
| 1 | Anupam Datta, Ralf Küsters, John C. Mitchell, Ajith Ramanathan |
On the Relationships Between Notions of Simulation-Based Security. |
TCC |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Vijay Atluri, Pierangela Samarati, Ralf Küsters, John C. Mitchell (eds.) |
Proceedings of the 2005 ACM workshop on Formal methods in security engineering, FMSE 2005, Fairfax, VA, USA, November 11, 2005 |
FMSE |
2005 |
DBLP BibTeX RDF |
|
| 1 | Changhua He, Mukund Sundararajan, Anupam Datta, Ante Derek, John C. Mitchell |
A modular correctness proof of IEEE 802.11i and TLS. |
ACM Conference on Computer and Communications Security |
2005 |
DBLP DOI BibTeX RDF |
protocol composition logic, TLS, IEEE 802.11i |
| 1 | Changhua He, John C. Mitchell |
Security Analysis and Improvements for IEEE 802.11i. |
NDSS |
2005 |
DBLP BibTeX RDF |
|
| 1 | Nancy A. Durgin, Patrick Lincoln, John C. Mitchell |
Multiset rewriting and the complexity of bounded security protocols. |
Journal of Computer Security |
2004 |
DBLP BibTeX RDF |
|
| 1 | Ajay Chander, Drew Dean, John C. Mitchell |
Reconstructing Trust Management. |
Journal of Computer Security |
2004 |
DBLP BibTeX RDF |
|
| 1 | Ajay Chander, Drew Dean, John C. Mitchell |
A Distributed High Assurance Reference Monitor. |
ISC |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Changhua He, John C. Mitchell |
Analysis of the 802.11i 4-way handshake. |
Workshop on Wireless Security |
2004 |
DBLP DOI BibTeX RDF |
4-way handshake, authentication, WLAN, key management, denial-of-service, 802.11i |
| 1 | Ninghui Li, John C. Mitchell, Derrick Tong |
Securing Java RMI-Based Distributed Applications. |
ACSAC |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Jean-Jacques Lévy, Ernst W. Mayr, John C. Mitchell (eds.) |
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 |
2004 |
DBLP BibTeX RDF |
|
| 1 | Anupam Datta, Ante Derek, John C. Mitchell, Dusko Pavlovic |
Abstraction and Refinement in Protocol Derivation. |
CSFW |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Adam Barth, John C. Mitchell, Justin Rosenstein |
Conflict and combination in privacy policy languages. |
WPES |
2004 |
DBLP DOI BibTeX RDF |
policy combination, privacy policy |
| 1 | Ajith Ramanathan, John C. Mitchell, Andre Scedrov, Vanessa Teague |
Probabilistic Bisimulation and Equivalence for Security Analysis of Network Protocols. |
FoSSaCS |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Neil Chou, Robert Ledesma, Yuka Teraguchi, John C. Mitchell |
Client-Side Defense Against Web-Based Identity Theft. |
NDSS |
2004 |
DBLP BibTeX RDF |
|
| 1 | Ninghui Li, William H. Winsborough, John C. Mitchell |
Distributed Credential Chain Discovery in Trust Management. |
Journal of Computer Security |
2003 |
DBLP BibTeX RDF |
|
| 1 | Nancy A. Durgin, John C. Mitchell, Dusko Pavlovic |
A Compositional Logic for Proving Security Properties of Protocols. |
Journal of Computer Security |
2003 |
DBLP BibTeX RDF |
|
| 1 | Stephen N. Freund, John C. Mitchell |
A Type System for the Java Bytecode Language and Verifier. |
J. Autom. Reasoning |
2003 |
DBLP DOI BibTeX RDF |
type systems, Java Virtual Machine, bytecode verification |
| 1 | Mourad Debbabi, Nancy A. Durgin, Mohamed Mejri, John C. Mitchell |
Security by typing. |
STTT |
2003 |
DBLP DOI BibTeX RDF |
Intruder abilities, Authentication, Integrity, Type System, Cryptographic Protocols, Secrecy |
| 1 | John C. Mitchell |
Concepts in programming languages. |
|
2003 |
RDF |
|
| 1 | Rohit Chadha, John C. Mitchell, Andre Scedrov, Vitaly Shmatikov |
Contract Signing, Optimism, and Advantage. |
CONCUR |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Paulo Mateus, John C. Mitchell, Andre Scedrov |
Composition of Cryptographic Protocols in a Probabilistic Polynomial-Time Process Calculus. |
CONCUR |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Ninghui Li, William H. Winsborough, John C. Mitchell |
Beyond Proof-of-Compliance: Safety and Availability Analysis in Trust Management. |
IEEE Symposium on Security and Privacy |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | David Lie, John C. Mitchell, Chandramohan A. Thekkath, Mark Horowitz |
Specifying and Verifying Hardware for Tamper-Resistant Software. |
IEEE Symposium on Security and Privacy |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Ninghui Li, John C. Mitchell |
DATALOG with Constraints: A Foundation for Trust Management Languages. |
PADL |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Ninghui Li, John C. Mitchell |
A Role-based Trust-management Framework. |
DISCEX |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Anupam Datta, Ante Derek, John C. Mitchell, Dusko Pavlovic |
A Derivation System for Security Protocols and its Logical Formalization. |
CSFW |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Ninghui Li, John C. Mitchell |
Understanding SPKI/SDSI Using First-Order Logic. |
CSFW |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Anupam Datta, Ante Derek, John C. Mitchell, Dusko Pavlovic |
Secure protocol composition. |
FMSE |
2003 |
DBLP DOI BibTeX RDF |
logic, security protocols, invariants, protocol composition |
| 1 | Michael Backes, Catherine Meadows, John C. Mitchell |
Relating cryptography and formal methods: a panel. |
FMSE |
2003 |
DBLP DOI BibTeX RDF |
formal methods, cryptography, security protocols |
| 1 | Vitaly Shmatikov, John C. Mitchell |
Finite-state analysis of two contract signing protocols. |
Theor. Comput. Sci. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Ninghui Li, John C. Mitchell, William H. Winsborough |
Design of a Role-Based Trust-Management Framework. (PDF / PS) |
IEEE Symposium on Security and Privacy |
2002 |
DBLP DOI BibTeX RDF |
access control, role-based access control, trust management, distributed system security, attribute-based access control, attribute certificates |
| 1 | John Launchbury, John C. Mitchell (eds.) |
Conference Record of POPL 2002: The 29th SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Portland, OR, USA, January 16-18, 2002 |
POPL |
2002 |
DBLP BibTeX RDF |
|
| 1 | John C. Mitchell |
Multiset Rewriting and Security Protocol Analysis. |
RTA |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Iliano Cervesato, Nancy A. Durgin, Patrick Lincoln, John C. Mitchell, Andre Scedrov |
A Comparison between Strand Spaces and Multiset Rewriting for Security Protocol Analysis. |
ISSS |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | John C. Mitchell, Vanessa Teague |
Autonomous Nodes and Distributed Mechanisms. |
ISSS |
2002 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")