John C. Mitchell Home Page Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
DBLP keys2013
e5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
David A. Basin, John C. Mitchell (Eds.): 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. Lecture Notes in Computer Science 7796, Springer 2013, isbn 978-3-642-36829-5
2012
j51Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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 100(Centennial-Issue): 1659-1673 (2012)
j50Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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. 9(4): 482-493 (2012)
c127Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
John C. Mitchell, Rahul Sharma, Deian Stefan, Joe Zimmerman: Information-Flow Control for Programming on Encrypted Data. CSF 2012: 45-60
c126Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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: 201-214
c125Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Peifung E. Lam, John C. Mitchell, Andre Scedrov, Sharada Sundaram, Frank Wang: Declarative privacy policy: finite models and attribute-based encryption. IHI 2012: 323-332
c124Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Jonathan R. Mayer, John C. Mitchell: Third-Party Web Tracking: Policy and Technology. IEEE Symposium on Security and Privacy 2012: 413-427
c123Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Elie Bursztein, Chinmay Soman, Dan Boneh, John C. Mitchell: SessionJuggler: secure web login from an untrusted terminal using session hijacking. WWW 2012: 321-330
i10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Deian Stefan, Alejandro Russo, John C. Mitchell, David Mazières: Flexible Dynamic Information Flow Control in the Presence of Exceptions. CoRR abs/1207.1457 (2012)
i9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
John C. Mitchell, Rahul Sharma, Deian Stefan, Joe Zimmerman: Information-flow control for programming on encrypted data. IACR Cryptology ePrint Archive 2012: 205 (2012)
2011
j49Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Jason Bau, John C. Mitchell: Security Modeling and Analysis. IEEE Security & Privacy 9(3): 18-25 (2011)
c122Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Elie Bursztein, Matthieu Martin, John C. Mitchell: Text-based CAPTCHA strengths and weaknesses. ACM Conference on Computer and Communications Security 2011: 125-138
c121Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Elie Bursztein, Baptiste Gourdin, John C. Mitchell: Reclaiming the Blogosphere, TalkBack: A Secure LinkBack Protocol for Weblogs. ESORICS 2011: 133-149
c120Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Alex Bain, John C. Mitchell, Rahul Sharma, Deian Stefan, Joe Zimmerman: A Domain-Specific Language for Computing on Encrypted Data (Invited Talk). FSTTCS 2011: 6-24
c119Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Deian Stefan, Alejandro Russo, John C. Mitchell, David Mazières: Flexible dynamic information flow control in Haskell. Haskell 2011: 95-106
c118Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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: 198-213
c117Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Deian Stefan, Alejandro Russo, David Mazières, John C. Mitchell: Disjunction Category Labels. NordSec 2011: 223-239
c116Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
John C. Mitchell: Program Analysis for Web Security. SAS 2011: 4
c115Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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: 19-31
c114Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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: 363-378
c113Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
John C. Mitchell: A Symbolic Logic with Exact Bounds for Cryptographic Protocols. WoLLIC 2011: 3
i8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Alex Bain, John C. Mitchell, Rahul Sharma, Deian Stefan, Joe Zimmerman: A Domain-Specific Language for Computing on Encrypted Data. IACR Cryptology ePrint Archive 2011: 561 (2011)
2010
j48Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Arnab Roy, Anupam Datta, Ante Derek, John C. Mitchell: Inductive trace properties for computational security. Journal of Computer Security 18(6): 1035-1073 (2010)
c112Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Devdatta Akhawe, Adam Barth, Peifung E. Lam, John C. Mitchell, Dawn Song: Towards a Formal Foundation of Web Security. CSF 2010: 290-304
c111Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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: 192-206
c110Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Jason Bau, John C. Mitchell: A Security Evaluation of DNSSEC with NSEC3. NDSS 2010
c109Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Sergio Maffeis, John C. Mitchell, Ankur Taly: Object Capabilities and Isolation of Untrusted Web Applications. IEEE Symposium on Security and Privacy 2010: 125-140
c108Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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: 332-345
c107Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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: 399-413
i7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Jason Bau, John C. Mitchell: A Security Evaluation of DNSSEC with NSEC3. IACR Cryptology ePrint Archive 2010: 115 (2010)
2009
j47Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Adam Barth, Collin Jackson, John C. Mitchell: Securing frame communication in browsers. Commun. ACM 52(6): 83-91 (2009)
j46Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
John C. Mitchell, Arnab Roy, Mukund Sundararajan: An Automated Approach for Proving PCL Invariants. Electr. Notes Theor. Comput. Sci. 234: 93-113 (2009)
c106Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Elie Bursztein, Peifung E. Lam, John C. Mitchell: TrackBack spam: abuse and prevention. CCSW 2009: 3-10
c105Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Elie Bursztein, John C. Mitchell: Using Strategy Objectives for Network Security Analysis. Inscrypt 2009: 337-349
c104Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Sergio Maffeis, John C. Mitchell, Ankur Taly: Isolating JavaScript with Filters, Rewriting, and Wrappers. ESORICS 2009: 505-522
c103Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Timothy L. Hinrichs, Natasha Gude, Martin Casado, John C. Mitchell, Scott Shenker: Practical declarative network management. WREN 2009: 1-10
c102Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Peifung E. Lam, John C. Mitchell, Sharada Sundaram: A Formalization of HIPAA for a Medical Messaging System. TrustBus 2009: 73-85
i6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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 abs/0912.1155 (2009)
2008
j45Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Ralf Küsters, Anupam Datta, John C. Mitchell, Ajith Ramanathan: On the Relationships between Notions of Simulation-Based Security. J. Cryptology 21(4): 492-546 (2008)
c101Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
John C. Mitchell, Arnab Roy, Paul Rowe, Andre Scedrov: Analysis of EAP-GPSK Authentication Protocol. ACNS 2008: 309-327
c100Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Sergio Maffeis, John C. Mitchell, Ankur Taly: An Operational Semantics for JavaScript. APLAS 2008: 307-325
c99Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Adam Barth, Collin Jackson, John C. Mitchell: Robust defenses for cross-site request forgery. ACM Conference on Computer and Communications Security 2008: 75-88
c98Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Lorenzo Martignoni, Elizabeth Stinson, Matt Fredrikson, Somesh Jha, John C. Mitchell: A Layered Architecture for Detecting Malicious Behaviors. RAID 2008: 78-97
c97Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Adam Barth, Collin Jackson, John C. Mitchell: Securing Frame Communication in Browsers. USENIX Security Symposium 2008: 17-30
c96Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Elizabeth Stinson, John C. Mitchell: Towards Systematic Evaluation of the Evadability of Bot/Botnet Detection Methods. WOOT 2008
p2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Elizabeth Stinson, John C. Mitchell: Characterizing Bots' Remote Control Behavior. Botnet Detection 2008: 45-64
2007
j44Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Anupam Datta, Ante Derek, John C. Mitchell, Arnab Roy: Protocol Composition Logic (PCL). Electr. Notes Theor. Comput. Sci. 172: 311-358 (2007)
c95Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Adam Barth, John C. Mitchell, Anupam Datta, Sharada Sundaram: Privacy and Utility in Business Processes. CSF 2007: 279-294
c94Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Elizabeth Stinson, John C. Mitchell: Characterizing Bots' Remote Control Behavior. DIMVA 2007: 89-108
c93Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Arnab Roy, Anupam Datta, Ante Derek, John C. Mitchell: Inductive Proofs of Computational Secrecy. ESORICS 2007: 219-234
c92Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Arnab Roy, Anupam Datta, John C. Mitchell: Formal Proofs of Cryptographic Security of Diffie-Hellman-Based Protocols. TGC 2007: 312-329
i5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Arnab Roy, Anupam Datta, Ante Derek, John C. Mitchell: Inductive Proof Method for Computational Secrecy. IACR Cryptology ePrint Archive 2007: 165 (2007)
2006
j43Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Ninghui Li, John C. Mitchell: Understanding SPKI/SDSI using first-order logic. Int. J. Inf. Sec. 5(1): 48-64 (2006)
j42Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
John C. Mitchell, Ajith Ramanathan, Andre Scedrov, Vanessa Teague: A probabilistic polynomial-time process calculus for the analysis of cryptographic protocols. Theor. Comput. Sci. 353(1-3): 118-164 (2006)
j41Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Michael Backes, Anupam Datta, Ante Derek, John C. Mitchell, Mathieu Turuani: Compositional analysis of contract-signing protocols. Theor. Comput. Sci. 367(1-2): 33-56 (2006)
c91Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Arnab Roy, Anupam Datta, Ante Derek, John C. Mitchell, Jean-Pierre Seifert: Secrecy Analysis in Protocol Composition Logic. ASIAN 2006: 197-213
c90Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Anupam Datta, Ante Derek, John C. Mitchell, Bogdan Warinschi: Computationally Sound Compositional Logic for Key Exchange Protocols. CSFW 2006: 321-334
c89Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Adam Barth, John C. Mitchell: Managing Digital Rights using Linear Logic. LICS 2006: 127-136
c88Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Adam Barth, Anupam Datta, John C. Mitchell, Helen Nissenbaum: Privacy and Contextual Integrity: Framework and Applications. IEEE Symposium on Security and Privacy 2006: 184-198
c87Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Anupam Datta, Ante Derek, John C. Mitchell, Ajith Ramanathan, Andre Scedrov: Games and the Impossibility of Realizable Ideal Functionality. TCC 2006: 360-379
c86Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Collin Jackson, Andrew Bortz, Dan Boneh, John C. Mitchell: Protecting browser state from web privacy attacks. WWW 2006: 737-744
i4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Anupam Datta, Ante Derek, John C. Mitchell, Bogdan Warinschi: Key Exchange Protocols: Security Definition, Proof Method and Applications. IACR Cryptology ePrint Archive 2006: 56 (2006)
i3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Anupam Datta, Ralf Küsters, John C. Mitchell, Ajith Ramanathan: On the Relationships Between Notions of Simulation-Based Security. IACR Cryptology ePrint Archive 2006: 153 (2006)
i2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Arnab Roy, Anupam Datta, Ante Derek, John C. Mitchell: Inductive Trace Properties for Computational Security. IACR Cryptology ePrint Archive 2006: 486 (2006)
2005
j40Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Ninghui Li, John C. Mitchell, William H. Winsborough: Beyond proof-of-compliance: security analysis in trust management. J. ACM 52(3): 474-514 (2005)
j39Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Anupam Datta, Ante Derek, John C. Mitchell, Dusko Pavlovic: A derivation system and compositional logic for security protocols. Journal of Computer Security 13(3): 423-482 (2005)
j38Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Rohit Chadha, John C. Mitchell, Andre Scedrov, Vitaly Shmatikov: Contract signing, optimism, and advantage. J. Log. Algebr. Program. 64(2): 189-218 (2005)
c85Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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: 2-15
c84Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Michael Backes, Anupam Datta, Ante Derek, John C. Mitchell, Mathieu Turuani: Compositional Analysis of Contract Signing Protocols. CSFW 2005: 94-110
c83Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Anupam Datta, Ante Derek, John C. Mitchell, Vitaly Shmatikov, Mathieu Turuani: Probabilistic Polynomial-Time Semantics for a Protocol Security Logic. ICALP 2005: 16-29
c82Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Changhua He, John C. Mitchell: Security Analysis and Improvements for IEEE 802.11i. NDSS 2005
c81Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Adam Barth, John C. Mitchell: Enterprise privacy promises and enforcement. WITS 2005: 58-66
c80Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
John C. Mitchell: Security analysis of network protocols: logical and computational methods. PPDP 2005: 151-152
c79Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Anupam Datta, Ralf Küsters, John C. Mitchell, Ajith Ramanathan: On the Relationships Between Notions of Simulation-Based Security. TCC 2005: 476-494
e4no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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. ACM 2005, isbn 1-59593-231-3
i1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Anupam Datta, Ante Derek, John C. Mitchell, Ajith Ramanathan, Andre Scedrov: Games and the Impossibility of Realizable Ideal Functionality. IACR Cryptology ePrint Archive 2005: 211 (2005)
2004
j37Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Ajay Chander, Drew Dean, John C. Mitchell: Reconstructing Trust Management. Journal of Computer Security 12(1): 131-164 (2004)
j36Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Nancy A. Durgin, Patrick Lincoln, John C. Mitchell: Multiset rewriting and the complexity of bounded security protocols. Journal of Computer Security 12(2): 247-311 (2004)
c78Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Ninghui Li, John C. Mitchell, Derrick Tong: Securing Java RMI-Based Distributed Applications. ACSAC 2004: 262-271
c77Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Anupam Datta, Ante Derek, John C. Mitchell, Dusko Pavlovic: Abstraction and Refinement in Protocol Derivation. CSFW 2004: 30-
c76Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Ajith Ramanathan, John C. Mitchell, Andre Scedrov, Vanessa Teague: Probabilistic Bisimulation and Equivalence for Security Analysis of Network Protocols. FoSSaCS 2004: 468-483
c75Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Ajay Chander, Drew Dean, John C. Mitchell: A Distributed High Assurance Reference Monitor. ISC 2004: 231-244
c74Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Neil Chou, Robert Ledesma, Yuka Teraguchi, John C. Mitchell: Client-Side Defense Against Web-Based Identity Theft. NDSS 2004
c73Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Adam Barth, John C. Mitchell, Justin Rosenstein: Conflict and combination in privacy policy languages. WPES 2004: 45-46
c72Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Changhua He, John C. Mitchell: Analysis of the 802.11i 4-way handshake. Workshop on Wireless Security 2004: 43-50
e3no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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. Kluwer 2004, isbn 1-4020-8140-5
2003
b2no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
John C. Mitchell: Concepts in programming languages. Cambridge University Press 2003, isbn 978-0-521-78098-8, pp. I-X, 1-529
j35Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Stephen N. Freund, John C. Mitchell: A Type System for the Java Bytecode Language and Verifier. J. Autom. Reasoning 30(3-4): 271-321 (2003)
j34Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Ninghui Li, William H. Winsborough, John C. Mitchell: Distributed Credential Chain Discovery in Trust Management. Journal of Computer Security 11(1): 35-86 (2003)
j33Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Nancy A. Durgin, John C. Mitchell, Dusko Pavlovic: A Compositional Logic for Proving Security Properties of Protocols. Journal of Computer Security 11(4): 677-722 (2003)
j32Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Mourad Debbabi, Nancy A. Durgin, Mohamed Mejri, John C. Mitchell: Security by typing. STTT 4(4): 472-495 (2003)
c71Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Anupam Datta, Ante Derek, John C. Mitchell, Dusko Pavlovic: Secure protocol composition. FMSE 2003: 11-23
c70Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Michael Backes, Catherine Meadows, John C. Mitchell: Relating cryptography and formal methods: a panel. FMSE 2003: 61-66
c69Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Paulo Mateus, John C. Mitchell, Andre Scedrov: Composition of Cryptographic Protocols in a Probabilistic Polynomial-Time Process Calculus. CONCUR 2003: 323-345
c68Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Rohit Chadha, John C. Mitchell, Andre Scedrov, Vitaly Shmatikov: Contract Signing, Optimism, and Advantage. CONCUR 2003: 361-377
c67Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Ninghui Li, John C. Mitchell: Understanding SPKI/SDSI Using First-Order Logic. CSFW 2003: 89-
c66Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Anupam Datta, Ante Derek, John C. Mitchell, Dusko Pavlovic: A Derivation System for Security Protocols and its Logical Formalization. CSFW 2003: 109-125
c65Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Ninghui Li, John C. Mitchell: A Role-based Trust-management Framework. DISCEX (1) 2003: 201-
c64Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Ninghui Li, John C. Mitchell: DATALOG with Constraints: A Foundation for Trust Management Languages. PADL 2003: 58-73
c63Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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: 123-139
c62Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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: 166-
2002
j31Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Vitaly Shmatikov, John C. Mitchell: Finite-state analysis of two contract signing protocols. Theor. Comput. Sci. 283(2): 419-450 (2002)
c61Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
John C. Mitchell, Vanessa Teague: Autonomous Nodes and Distributed Mechanisms. ISSS 2002: 58-83
c60Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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: 356-383
c59Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
John C. Mitchell: Multiset Rewriting and Security Protocol Analysis. RTA 2002: 19-22
c58Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Ninghui Li, John C. Mitchell, William H. Winsborough: Design of a Role-Based Trust-Management Framework. IEEE Symposium on Security and Privacy 2002: 114-130
e2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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. ACM 2002, isbn 1-58113-450-9
2001
j30Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
John C. Mitchell, Ajith Ramanathan, Andre Scedrov, Vanessa Teague: A Probabilistic Polynomial-time Calculus For Analysis of Cryptographic Protocols (Preliminary Report). Electr. Notes Theor. Comput. Sci. 45: 280-310 (2001)
c57Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Ninghui Li, William H. Winsborough, John C. Mitchell: Distributed credential chain discovery in trust management: extended abstract. ACM Conference on Computer and Communications Security 2001: 156-165
c56Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Ajay Chander, John C. Mitchell, Drew Dean: A State-Transition Model of Trust Management and Access Control. CSFW 2001: 27-43
c55Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Nancy A. Durgin, John C. Mitchell, Dusko Pavlovic: A Compositional Logic for Protocol Correctness. CSFW 2001: 241-
c54Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
John C. Mitchell: Probabilistic Polynomial-Time Process Calculus and Security Protocol Analysis. ESOP 2001: 23-29
c53Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
John C. Mitchell, Ajith Ramanathan, Andre Scedrov, Vanessa Teague: Probabilistic Polynominal-Time Process Calculus and Security Protocol Analysis. LICS 2001: 3-5
c52Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
John C. Mitchell: Programming language methods in computer security. POPL 2001: 1-3
2000
c51Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
David Lie, Chandramohan A. Thekkath, Mark Mitchell, Patrick Lincoln, Dan Boneh, John C. Mitchell, Mark Horowitz: Architectural Support for Copy and Tamper Resistant Software. ASPLOS 2000: 168-177
c50Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Iliano Cervesato, Nancy A. Durgin, John C. Mitchell, Patrick Lincoln, Andre Scedrov: Relating Strands and Multiset Rewriting for Security Protocol Analysis. CSFW 2000: 35-51
c49Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Vitaly Shmatikov, John C. Mitchell: Analysis of Abuse-Free Contract Signing. Financial Cryptography 2000: 174-191
c48Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Vitaly Shmatikov, John C. Mitchell: Analysis of a Fair Exchange Protocol. NDSS 2000
1999
j29Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Viviana Bono, John C. Mitchell, Amit Patel, Vitaly Shmatikov: A Core Calculus of Classes and Objects. Electr. Notes Theor. Comput. Sci. 20: 28-49 (1999)
j28Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Robert Harper, John C. Mitchell: Parametricity and Variants of Girard's J Operator. Inf. Process. Lett. 70(1): 1-5 (1999)
j27Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Patrick Lincoln, John C. Mitchell, Andre Scedrov: Optimization Complexity of Linear Logic Proof Games. Theor. Comput. Sci. 227(1-2): 299-331 (1999)
j26Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Stephen N. Freund, John C. Mitchell: The type system for object initializatiion in the Jave bytecode language. ACM Trans. Program. Lang. Syst. 21(6): 1196-1250 (1999)
c47Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Iliano Cervesato, Nancy A. Durgin, Patrick Lincoln, John C. Mitchell, Andre Scedrov: A Meta-Notation for Protocol Analysis. CSFW 1999: 55-69
c46Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Patrick Lincoln, John C. Mitchell, Mark Mitchell, Andre Scedrov: Probabilistic Polynomial-Time Equivalence and Security Analysis. World Congress on Formal Methods 1999: 776-793
c45Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Stephen N. Freund, John C. Mitchell: A Formal Framework for the Java Bytecode Language and Verifier. OOPSLA 1999: 147-166
1998
j25no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Kathleen Fisher, John C. Mitchell: On the Relationship Between Classes, Objects, and Data Abstraction. TAPOS 4(1): 3-25 (1998)
c44Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
John C. Mitchell: Finite-State Analysis of Security Protocols. CAV 1998: 71-76
c43Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Patrick Lincoln, John C. Mitchell, Mark Mitchell, Andre Scedrov: A Probabilistic Poly-Time Framework for Protocol Analysis. ACM Conference on Computer and Communications Security 1998: 112-121
c42Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
John C. Mitchell, Mark Mitchell, Andre Scedrov: A Linguistic Characterization of Bounded Oracle Computation and Probabilistic Polynomial Time. FOCS 1998: 725-733
c41Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Stephen N. Freund, John C. Mitchell: A Type System for Object Initialization in the Java Bytecode Language. OOPSLA 1998: 310-327
1997
j24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Stephen N. Freund, John C. Mitchell: A Type System For Object Initialization In the Java Bytecode Language. Electr. Notes Theor. Comput. Sci. 10: 242-245 (1997)
j23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
John C. Mitchell, Jon G. Riecke: The analysis of programming structure. SIGACT News 28(2): 24-31 (1997)
j22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Robert Harper, John C. Mitchell: ML and Beyond. SIGPLAN Notices 32(1): 80-85 (1997)
c40Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Ole Agesen, Stephen N. Freund, John C. Mitchell: Adding Type Parameterization to the Java Language. OOPSLA 1997: 49-65
c39Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
John C. Mitchell, Mark Mitchell, Ulrich Stern: Automated analysis of cryptographic protocols using Mur-phi. IEEE Symposium on Security and Privacy 1997: 141-151
1996
b1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
John C. Mitchell: Foundations for programming languages. Foundation of computing series, MIT Press 1996, isbn 978-0-262-13321-0, pp. I-XIX, 1-846
j21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Patrick Lincoln, John C. Mitchell, Andre Scedrov: Linear logic proof games and optimization. Bulletin of Symbolic Logic 2(3): 322-338 (1996)
j20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Robert Harper, John C. Mitchell: ML and Beyond. ACM Comput. Surv. 28(4es): 219 (1996)
j19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Carl A. Gunter, John C. Mitchell, David Notkin: Strategic Directions in Software Engineering and Programming Languages. ACM Comput. Surv. 28(4): 727-737 (1996)
j18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Patrick Lincoln, John C. Mitchell, Andre Scedrov: The Complexity of Local Proof Search in Linear Logic. Electr. Notes Theor. Comput. Sci. 3: 120-129 (1996)
j17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
John C. Mitchell, Ramesh Viswanathan: Standard ML-NJ Weak Polymorphism and Imperative Constructs. Inf. Comput. 127(2): 102-116 (1996)
c38Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
John C. Mitchell, Ramesh Viswanathan: Effective Models of Polymorphism, Subtyping and Recursion (Extended Abstract). ICALP 1996: 170-181
1995
j16no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Kathleen Fisher, John C. Mitchell: The Development of Type Systems for Object-Oriented Languages. TAPOS 1(3): 189-220 (1995)
c37Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Kathleen Fisher, John C. Mitchell: A Delegation-based Object Calculus with Subtying. FCT 1995: 42-61
c36Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
My Hoang, John C. Mitchell: Lower Bounds on Type Inference with Subtypes. POPL 1995: 176-185
1994
j15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Luca Cardelli, Simone Martini, John C. Mitchell, Andre Scedrov: An Extension of System F with Subtyping. Inf. Comput. 109(1/2): 4-56 (1994)
j14no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Kathleen Fisher, Furio Honsell, John C. Mitchell: A lambda Calculus of Objects and Method Specialization. Nord. J. Comput. 1(1): 3-37 (1994)
c35Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Dinesh Katiyar, David C. Luckham, John C. Mitchell: Polymorphism and Subtyping in Interfaces. Workshop on Interface Definition Languages 1994: 22-34
c34Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Dinesh Katiyar, David C. Luckham, John C. Mitchell: A Type System for Prototyping Languages. POPL 1994: 138-150
c33Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Kathleen Fisher, John C. Mitchell: Notes on Typed Object-Oriented Programming. TACS 1994: 844-885
e1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Masami Hagiya, John C. Mitchell (Eds.): Theoretical Aspects of Computer Software, International Conference TACS '94, Sendai, Japan, April 19-22, 1994, Proceedings. Lecture Notes in Computer Science 789, Springer 1994, isbn 3-540-57887-0
1993
j13no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Lalita Jategaonkar, John C. Mitchell: Type Inference with Extended Pattern Matching and Subtypes. Fundam. Inform. 19(1/2): 127-165 (1993)
j12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
John C. Mitchell: On Abstraction and the Expressive Power of Programming Languages. Sci. Comput. Program. 21(2): 141-163 (1993)
j11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Robert Harper, John C. Mitchell: On the Type Structure of Standard ML. ACM Trans. Program. Lang. Syst. 15(2): 211-252 (1993)
c32Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
My Hoang, John C. Mitchell, Ramesh Viswanathan: Standard ML-NJ weak polymorphism and imperative constructs. LICS 1993: 15-25
c31Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
John C. Mitchell, Furio Honsell, Kathleen Fisher: A lambda calculus of objects and method specialization. LICS 1993: 26-38
1992
j10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Patrick Lincoln, John C. Mitchell, Andre Scedrov, Natarajan Shankar: Decision Problems for Propositional Linear Logic. Ann. Pure Appl. Logic 56(1-3): 239-311 (1992)
c30Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
John C. Mitchell, Andre Scedrov: Notes on Sconing and Relators. CSL 1992: 352-378
c29Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Patrick Lincoln, John C. Mitchell: Operational aspects of linear lambda calculus. LICS 1992: 235-246
c28Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Patrick Lincoln, John C. Mitchell: Algorithmic Aspects of Type Inference with Subtypes. POPL 1992: 293-304
c27Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Kim B. Bruce, John C. Mitchell: PER Models of Subtyping, Recursive Types and Higher-Order Polymorphism. POPL 1992: 316-327
1991
j9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
John C. Mitchell, Eugenio Moggi: Kripke-Style Models for Typed lambda Calculus. Ann. Pure Appl. Logic 51(1-2): 99-124 (1991)
j8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
John C. Mitchell: Type Inference With Simple Subtypes. J. Funct. Program. 1(3): 245-285 (1991)
j7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Luca Cardelli, John C. Mitchell: Operations on Records. Mathematical Structures in Computer Science 1(1): 3-48 (1991)
c26no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Paris C. Kanellakis, Harry G. Mairson, John C. Mitchell: Unification and ML-Type Reconstruction. Computational Logic - Essays in Honor of Alan Robinson 1991: 444-478
c25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Stuart A. Kurtz, John C. Mitchell, Michael J. O'Donnell: Connecting Formal Semantics to Constructive Intuitions. Constructivity in Computer Science 1991: 1-21
c24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
John C. Mitchell, Sigurd Meldal, Neel Madhav: An Extension of Standard ML Modules with Subtyping and Inheritance. POPL 1991: 270-278
c23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
John C. Mitchell: On Abstraction and the Expressive Power of Programming Languages. TACS 1991: 290-310
c22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Luca Cardelli, Simone Martini, John C. Mitchell, Andre Scedrov: An Extension of System F with Subtyping. TACS 1991: 750-770
1990
j6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Kim B. Bruce, Albert R. Meyer, John C. Mitchell: The Semantics of Second-Order Lambda Calculus. Inf. Comput. 85(1): 76-134 (1990)
p1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
John C. Mitchell: Type Systems for Programming Languages. Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics (B) 1990: 365-458
c21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Patrick Lincoln, John C. Mitchell, Andre Scedrov, Natarajan Shankar: Decision Problems for Propositional Linear Logic. FOCS 1990: 662-671
c20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Brian T. Howard, John C. Mitchell: Operational and Axiomatic Semantics of PCF. LISP and Functional Programming 1990: 298-306
c19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
John C. Mitchell: Toward a Typed Foundation for Method Specialization and Inheritance. POPL 1990: 109-124
c18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Robert Harper, John C. Mitchell, Eugenio Moggi: Higher-Order Modules and the Phase Distinction. POPL 1990: 341-354
1989
c17no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Luca Cardelli, John C. Mitchell: Operations in Records. Category Theory and Computer Science 1989: 75-81
c16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Peter S. Canning, William R. Cook, Walter L. Hill, Walter G. Olthoff, John C. Mitchell: F-Bounded Polymorphism for Object-Oriented Programming. FPCA 1989: 273-280
c15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Luca Cardelli, John C. Mitchell: Operations on Records. Mathematical Foundations of Programming Semantics 1989: 22-52
c14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Paris C. Kanellakis, John C. Mitchell: Polymorphic Unification and ML Typing. POPL 1989: 105-115
1988
j5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
John C. Mitchell: Polymorphic Type Inference and Containment. Inf. Comput. 76(2/3): 211-249 (1988)
j4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
John C. Mitchell, Gordon D. Plotkin: Abstract Types Have Existential Type. ACM Trans. Program. Lang. Syst. 10(3): 470-502 (1988)
c13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Lalita Jategaonkar, John C. Mitchell: ML with Extended Pattern Matching and Subtypes. LISP and Functional Programming 1988: 198-211
c12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
John C. Mitchell, Robert Harper: The Essence of ML. POPL 1988: 28-46
1987
c11no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
John C. Mitchell, Eugenio Moggi: Kripke-Style models for typed lambda calculus. LICS 1987: 303-314
c10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Albert R. Meyer, John C. Mitchell, Eugenio Moggi, Richard Statman: Empty Types in Polymorphic Lambda Calculus. POPL 1987: 253-262
1986
c9no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
John C. Mitchell: A Type-Inference Approach to Reduction Properties and Semantics of Polymorphic Expressions (Summary). LISP and Functional Programming 1986: 308-319
c8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
John C. Mitchell: Representation Independence and Data Abstraction. POPL 1986: 263-276
c7no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
John C. Mitchell, Michael J. O'Donnell: Realisability Semantics for Error-Tolerant Logics. TARK 1986: 363-382
1985
c6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
John C. Mitchell, Albert R. Meyer: Second-Order Logical Relations (Extended Abstract). Logic of Programs 1985: 225-236
c5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
John C. Mitchell, Gordon D. Plotkin: Abstract Types Have Existential Type. POPL 1985: 37-51
1984
j3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Cynthia Dwork, Paris C. Kanellakis, John C. Mitchell: On the Sequential Nature of Unification. J. Log. Program. 1(1): 35-50 (1984)
c4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
John C. Mitchell: Semantic Models for Second-Order Lambda Calculus. FOCS 1984: 289-299
c3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
John C. Mitchell: Coercion and Type Inference. POPL 1984: 175-185
1983
j2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Albert R. Meyer, John C. Mitchell: Termination Assertions for Recursive Programs: Completeness and Axiomatic Definability. Information and Control 56(1/2): 112-138 (1983)
j1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
John C. Mitchell: The Implication Problem for Functional and Inclusion Dependencies. Information and Control 56(3): 154-173 (1983)
c2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
John C. Mitchell: Inference Rules for Functional and Inclusion Dependencies. PODS 1983: 58-69
1982
c1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Albert R. Meyer, John C. Mitchell: Axiomatic Definability and Completeness for Recursive Programs. POPL 1982: 337-346

Coauthor Index

1Ole Agesen
[c40]
2Devdatta Akhawe
[c112]
3Vijayalakshmi Atluri (Vijay Atluri)
[e4]
4Michael Backes
[j41] [c84] [c70]
5Alex Bain
[c120] [i8]
6Adam Barth
[j50] [c112] [c111] [j47] [i6] [c99] [c97] [c95] [c89] [c88] [c81] [c73]
7Peter L. Bartlett
[j50] [c111] [i6]
8David A. Basin
[e5]
9Jason Bau
[j49] [c110] [c108] [i7]
10Romain Beauxis
[c115]
11Steven M. Bellovin (Steve Bellovin)
[j51]
12Steven Bethard
[c107]
13Dan Boneh
[j51] [c123] [c86] [c51]
14Viviana Bono
[j29]
15Andrew Bortz
[c86]
16Kim B. Bruce
[c27] [j6]
17Pablo Buiras
[c126]
18Elie Bursztein
[c123] [c122] [c121] [c115] [c108] [c107] [c106] [c105]
19Peter S. Canning
[c16]
20Luca Cardelli
[j15] [j7] [c22] [c17] [c15]
21Martin Casado
[c103]
22Iliano Cervesato
[c60] [c50] [c47]
23Rohit Chadha
[j38] [c68]
24Ajay Chander
[j37] [c75] [c56]
25Neil Chou
[c74]
26William R. Cook
[c16]
27Anupam Datta
[j48] [j45] [j44] [c95] [c93] [c92] [i5] [j41] [c91] [c90] [c88] [c87] [i4] [i3] [i2] [j39] [c85] [c84] [c83] [c79] [i1] [c77] [c71] [c66]
28Drew Dean
[j37] [c75] [c56]
29Mourad Debbabi
[j32]
30Ante Derek
[j48] [j44] [c93] [i5] [j41] [c91] [c90] [c87] [i4] [i2] [j39] [c85] [c84] [c83] [i1] [c77] [c71] [c66]
31Nancy A. Durgin
[j36] [j33] [j32] [c60] [c55] [c50] [c47]
32Cynthia Dwork
[j3]
33Úlfar Erlingsson
[c114]
34Celine Fabry
[c115] [c107]
35Kathleen Fisher
[j25] [j16] [c37] [j14] [c33] [c31]
36Matt Fredrikson (Matthew Fredrikson)
[c98]
37Stephen N. Freund
[j35] [j26] [c45] [c41] [j24] [c40]
38William C. Garrison III
[c118]
39Baptiste Gourdin
[c121]
40Natasha Gude
[c103]
41Carl A. Gunter
[j19]
42Divij Gupta
[c108]
43Masami Hagiya
[e1]
44Robert Harper
[j28] [j22] [j20] [j11] [c18] [c12]
45Changhua He
[c85] [c82] [c72]
46Walter L. Hill
[c16]
47Timothy L. Hinrichs (Tim Hinrichs)
[c118] [c103]
48My Hoang
[c36] [c32]
49Furio Honsell
[j14] [c31]
50Mark Horowitz
[c62] [c51]
51Brian T. Howard
[c20]
52Collin Jackson
[j47] [c99] [c97] [c86]
53Lalita Jategaonkar Jagadeesan (Lalita Jategaonkar)
[j13] [c13]
54Somesh Jha
[c98]
55Daniel Jurafsky (Dan Jurafsky)
[c107]
56Paris C. Kanellakis
[c26] [c14] [j3]
57Dinesh Katiyar
[c35] [c34]
58Stuart A. Kurtz
[c25]
59Ralf Küsters
[j45] [i3] [c79] [e4]
60Peifung E. Lam
[c125] [c112] [c106] [c102]
61Susan Landau
[j51]
62Carl E. Landwehr
[j51]
63John Launchbury
[e2]
64Robert Ledesma
[c74]
65Adam J. Lee
[c118]
66Michael E. Lesk (Michael Lesk)
[j51]
67Amit Levy
[c126]
68Ninghui Li
[j43] [j40] [c78] [j34] [c67] [c65] [c64] [c63] [c58] [c57]
69David Lie
[c62] [c51]
70Patrick Lincoln
[j36] [c60] [c51] [c50] [j27] [c47] [c46] [c43] [j21] [j18] [j10] [c29] [c28] [c21]
71David C. Luckham
[c35] [c34]
72Jean-Jacques Lévy
[e3]
73Neel Madhav
[c24]
74Sergio Maffeis
[c109] [c104] [c100]
75Harry G. Mairson
[c26]
76Lorenzo Martignoni
[c98]
77Matthieu Martin
[c122]
78Simone Martini
[j15] [c22]
79Paulo Mateus
[c69]
80Jonathan R. Mayer
[c124]
81Ernst W. Mayr
[e3]
82David Mazières
[c126] [i10] [c119] [c117]
83Catherine Meadows
[c70]
84Mohamed Mejri
[j32]
85Sigurd Meldal
[c24]
86Albert R. Meyer
[j6] [c10] [c6] [j2] [c1]
87Mark S. Miller
[c114]
88Mark Mitchell
[c51] [c46] [c43] [c42] [c39]
89Eugenio Moggi
[j9] [c18] [c11] [c10]
90Jasvir Nagra
[c114]
91Helen Nissenbaum
[c88]
92David Notkin
[j19]
93Michael J. O'Donnell
[c25] [c7]
94Walter G. Olthoff
[c16]
95Hristo Paskov
[c115]
96Amit Patel
[j29]
97Dusko Pavlovic
[j39] [c77] [j33] [c71] [c66] [c55]
98Daniele Perito
[c115]
99Gordon D. Plotkin
[j4] [c5]
100Ajith Ramanathan
[j45] [j42] [c87] [i3] [c79] [i1] [c76] [j30] [c53]
101Jon G. Riecke
[j23]
102Justin Rosenstein
[c73]
103Paul Rowe
[c101]
104Arnab Roy
[i2]
105Arnab Roy 0001
[j48] [j46] [c101] [j44] [c93] [c92] [i5] [c91]
106Benjamin I. P. Rubinstein
[j50] [c111] [i6]
107Alejandro Russo
[c126] [i10] [c119] [c117]
108Pierangela Samarati
[e4]
109Skip Saunders
[c118]
110Andre Scedrov
[c125] [c101] [j42] [c87] [j38] [i1] [c76] [c69] [c68] [c60] [j30] [c53] [c50] [j27] [c47] [c46] [c43] [c42] [j21] [j18] [j15] [j10] [c30] [c22] [c21]
111Jean-Pierre Seifert
[c91]
112Natarajan Shankar
[j10] [c21]
113Rahul Sharma 0001
[c127] [i9] [c120] [i8]
114Scott Shenker
[c103]
115Vitaly Shmatikov
[j38] [c83] [c68] [j31] [c49] [c48] [j29]
116Chinmay Soman
[c123]
117Dawn Xiaodong Song (Dawn Song)
[j50] [c112] [c111] [i6]
118Richard Statman
[c10]
119Deian Stefan
[c127] [c126] [i10] [i9] [c120] [c119] [c117] [i8]
120Ulrich Stern
[c39]
121Elizabeth Stinson
[c98] [c96] [p2] [c94]
122Sharada Sundaram
[c125] [c102] [c95]
123Mukund Sundararajan
[j50] [c111] [j46] [i6] [c85]
124Ankur Taly
[c114] [c109] [c104] [c100]
125Vanessa Teague
[j42] [c76] [c61] [j30] [c53]
126Yuka Teraguchi
[c74]
127Chandramohan A. Thekkath
[c62] [c51]
128Derrick Tong
[c78]
129Mathieu Turuani
[j41] [c84] [c83]
130Ramesh Viswanathan
[j17] [c38] [c32]
131Frank Wang (Frank Zhigang Wang)
[c125]
132Bogdan Warinschi
[c90] [i4]
133William H. Winsborough
[j40] [j34] [c63] [c58] [c57]
134Joe Zimmerman
[c127] [i9] [c120] [i8]

Colors in the list of coauthors

Last update Fri May 24 02:07:03 2013 CET by the DBLP TeamThis material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page