Martín Abadi

According to our database, Martín Abadi authored at least 208 papers between 1985 and 2023.

Collaborative distances:

• Dijkstra number of two.
• Erdős number of three.

2023

Smart Choices and the Selection Monad.

Martín Abadi, Gordon D. Plotkin

Log. Methods Comput. Sci., 2023

2021

Falkirk Wheel: Rollback Recovery for Dataflow Systems.

Ionel Gog, Michael Isard, Martín Abadi

Proceedings of the SoCC '21: ACM Symposium on Cloud Computing, 2021

2020

A simple differentiable programming language.

Martín Abadi, Gordon D. Plotkin

Proc. ACM Program. Lang., 2020

2018

The Applied Pi Calculus: Mobile Values, New Names, and Secure Communication.

Martín Abadi, Bruno Blanchet, Cédric Fournet

J. ACM, 2018

Dynamic control flow in large-scale machine learning.

Yuan Yu, Martín Abadi, Paul Barham, Eugene Brevdo, Mike Burrows, Andy Davis, Jeff Dean, Sanjay Ghemawat, Tim Harley, Peter Hawkins, Michael Isard, Manjunath Kudlur, Rajat Monga, Derek Gordon Murray, Xiaoqiang Zheng

Proceedings of the Thirteenth EuroSys Conference, 2018

2017

Adversarial Patch.

Tom B. Brown, Dandelion Mané, Aurko Roy, Martín Abadi, Justin Gilmer

CoRR, 2017

On the Protection of Private Information in Machine Learning Systems: Two Recent Approaches.

Martín Abadi, Úlfar Erlingsson, Ian J. Goodfellow, H. Brendan McMahan, Ilya Mironov, Nicolas Papernot, Kunal Talwar, Li Zhang

CoRR, 2017

A computational model for TensorFlow: an introduction.

Martín Abadi, Michael Isard, Derek Gordon Murray

Proceedings of the 1st ACM SIGPLAN International Workshop on Machine Learning and Programming Languages, 2017

Semi-supervised Knowledge Transfer for Deep Learning from Private Training Data.

Nicolas Papernot, Martín Abadi, Úlfar Erlingsson, Ian J. Goodfellow, Kunal Talwar

Proceedings of the 5th International Conference on Learning Representations, 2017

Learning a Natural Language Interface with Neural Programmer.

Arvind Neelakantan, Quoc V. Le, Martín Abadi, Andrew McCallum, Dario Amodei

Proceedings of the 5th International Conference on Learning Representations, 2017

On the Protection of Private Information in Machine Learning Systems: Two Recent Approches.

Martín Abadi, Úlfar Erlingsson, Ian J. Goodfellow, H. Brendan McMahan, Ilya Mironov, Nicolas Papernot, Kunal Talwar, Li Zhang

Proceedings of the 30th IEEE Computer Security Foundations Symposium, 2017

2016

TensorFlow: A system for large-scale machine learning.

Martín Abadi, Paul Barham, Jianmin Chen, Zhifeng Chen, Andy Davis, Jeffrey Dean, Matthieu Devin, Sanjay Ghemawat, Geoffrey Irving, Michael Isard, Manjunath Kudlur, Josh Levenberg, Rajat Monga, Sherry Moore, Derek Gordon Murray, Benoit Steiner, Paul A. Tucker, Vijay Vasudevan, Pete Warden, Martin Wicke, Yuan Yu, Xiaoqiang Zhang

CoRR, 2016

TensorFlow: Large-Scale Machine Learning on Heterogeneous Distributed Systems.

Martín Abadi, Ashish Agarwal, Paul Barham, Eugene Brevdo, Zhifeng Chen, Craig Citro, Gregory S. Corrado, Andy Davis, Jeffrey Dean, Matthieu Devin, Sanjay Ghemawat, Ian J. Goodfellow, Andrew Harp, Geoffrey Irving, Michael Isard, Yangqing Jia, Rafal Józefowicz, Lukasz Kaiser, Manjunath Kudlur, Josh Levenberg, Dan Mané, Rajat Monga, Sherry Moore, Derek Gordon Murray, Chris Olah, Mike Schuster, Jonathon Shlens, Benoit Steiner, Ilya Sutskever, Kunal Talwar, Paul A. Tucker, Vincent Vanhoucke, Vijay Vasudevan, Fernanda B. Viégas, Oriol Vinyals, Pete Warden, Martin Wattenberg, Martin Wicke, Yuan Yu, Xiaoqiang Zheng

CoRR, 2016

Learning to Protect Communications with Adversarial Neural Cryptography.

Martín Abadi, David G. Andersen

CoRR, 2016

Incremental, iterative data processing with timely dataflow.

Derek Gordon Murray, Frank McSherry, Michael Isard, Rebecca Isaacs, Paul Barham, Martín Abadi

Commun. ACM, 2016

TensorFlow: A System for Large-Scale Machine Learning.

Martín Abadi, Paul Barham, Jianmin Chen, Zhifeng Chen, Andy Davis, Jeffrey Dean, Matthieu Devin, Sanjay Ghemawat, Geoffrey Irving, Michael Isard, Manjunath Kudlur, Josh Levenberg, Rajat Monga, Sherry Moore, Derek Gordon Murray, Benoit Steiner, Paul A. Tucker, Vijay Vasudevan, Pete Warden, Martin Wicke, Yuan Yu, Xiaoqiang Zheng

Proceedings of the 12th USENIX Symposium on Operating Systems Design and Implementation, 2016

TensorFlow: learning functions at scale.

Martín Abadi

Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming, 2016

Deep Learning with Differential Privacy.

Martín Abadi, Andy Chu, Ian J. Goodfellow, H. Brendan McMahan, Ilya Mironov, Kunal Talwar, Li Zhang

Proceedings of the 2016 ACM SIGSAC Conference on Computer and Communications Security, 2016

2015

Message-Locked Encryption for Lock-Dependent Messages.

Martín Abadi, Dan Boneh, Ilya Mironov, Ananth Raghunathan, Gil Segev

IACR Cryptol. ePrint Arch., 2015

Falkirk Wheel: Rollback Recovery for Dataflow Systems.

Michael Isard, Martín Abadi

CoRR, 2015

On the Flow of Data, Information, and Time.

Martín Abadi, Michael Isard

Proceedings of the Principles of Security and Trust - 4th International Conference, 2015

Timely Rollback: Specification and Verification.

Martín Abadi, Michael Isard

Proceedings of the NASA Formal Methods - 7th International Symposium, 2015

Foundations of Differential Dataflow.

Martín Abadi, Frank McSherry, Gordon D. Plotkin

Proceedings of the Foundations of Software Science and Computation Structures, 2015

Timely Dataflow: A Model.

Martín Abadi, Michael Isard

Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2015

The Prophecy of Undo.

Martín Abadi

Proceedings of the Fundamental Approaches to Software Engineering, 2015

The Prophecy of Timely Rollback (Invited Talk).

Martín Abadi

Proceedings of the 24th EACSL Annual Conference on Computer Science Logic, 2015

Distributed Authorization with Distributed Grammars.

Martín Abadi, Mike Burrows, Himabindu Pucha, Adam Sadovsky, Asim Shankar, Ankur Taly

Proceedings of the Programming Languages with Applications to Biology and Security, 2015

2014

Web PKI: Closing the Gap between Guidelines and Practices.

Antoine Delignat-Lavaud, Martín Abadi, Andrew Birrell, Ilya Mironov, Ted Wobber, Yinglian Xie

Proceedings of the 21st Annual Network and Distributed System Security Symposium, 2014

Understanding TypeScript.

Gavin M. Bierman, Martín Abadi, Mads Torgersen

Proceedings of the ECOOP 2014 - Object-Oriented Programming - 28th European Conference, Uppsala, Sweden, July 28, 2014

2013

Layout Randomization and Nondeterminism.

Martín Abadi, Jérémy Planul, Gordon D. Plotkin

Proceedings of the Twenty-ninth Conference on the Mathematical Foundations of Programming Semantics, 2013

Naiad: a timely dataflow system.

Derek Gordon Murray, Frank McSherry, Rebecca Isaacs, Michael Isard, Paul Barham, Martín Abadi

Proceedings of the ACM SIGOPS 24th Symposium on Operating Systems Principles, 2013

On Layout Randomization for Arrays and Functions.

Martín Abadi, Jérémy Planul

Proceedings of the Principles of Security and Trust - Second International Conference, 2013

Global Authentication in an Untrustworthy World.

Martín Abadi, Andrew Birrell, Ilya Mironov, Ted Wobber, Yinglian Xie

Proceedings of the 14th Workshop on Hot Topics in Operating Systems, 2013

Formal Analysis of a Distributed Algorithm for Tracking Progress.

Martín Abadi, Frank McSherry, Derek Gordon Murray, Thomas L. Rodeheffer

Proceedings of the Formal Techniques for Distributed Systems, 2013

Early security classification of skype users via machine learning.

Anna Leontjeva, Moisés Goldszmidt, Yinglian Xie, Fang Yu, Martín Abadi

Proceedings of the AISec'13, 2013

SocialWatch: detection of online service abuse via large-scale social graphs.

Junxian Huang, Yinglian Xie, Fang Yu, Qifa Ke, Martín Abadi, Eliot Gillum, Zhuoqing Morley Mao

Proceedings of the 8th ACM Symposium on Information, Computer and Communications Security, 2013

2012

On Protection by Layout Randomization.

Martín Abadi, Gordon D. Plotkin

ACM Trans. Inf. Syst. Secur., 2012

Host Fingerprinting and Tracking on the Web: Privacy and Security Implications.

Ting-Fang Yen, Yinglian Xie, Fang Yu, Roger Peng Yu, Martín Abadi

Proceedings of the 19th Annual Network and Distributed System Security Symposium, 2012

Software Security: A Formal Perspective - (Notes for a Talk).

Martín Abadi

Proceedings of the FM 2012: Formal Methods, 2012

Innocent by association: early recognition of legitimate users.

Yinglian Xie, Fang Yu, Qifa Ke, Martín Abadi, Eliot Gillum, Krish Vitaldevaria, Jason Walter, Junxian Huang, Zhuoqing Morley Mao

Proceedings of the ACM Conference on Computer and Communications Security, 2012

A Functional View of Imperative Information Flow.

Thomas H. Austin, Cormac Flanagan, Martín Abadi

Proceedings of the Programming Languages and Systems - 10th Asian Symposium, 2012

2011

Semantics of transactional memory and automatic mutual exclusion.

Martín Abadi, Andrew Birrell, Tim Harris, Michael Isard

ACM Trans. Program. Lang. Syst., 2011

Heat-seeking honeypots: design and experience.

John P. John, Fang Yu, Yinglian Xie, Arvind Krishnamurthy, Martín Abadi

Proceedings of the 20th International Conference on World Wide Web, 2011

deSEO: Combating Search-Result Poisoning.

John P. John, Fang Yu, Yinglian Xie, Arvind Krishnamurthy, Martín Abadi

Proceedings of the 20th USENIX Security Symposium, 2011

Differential privacy with information flow control.

Arnar Birgisson, Frank McSherry, Martín Abadi

Proceedings of the 2011 Workshop on Programming Languages and Analysis for Security, 2011

AC: composable asynchronous IO for native languages.

Tim Harris, Martín Abadi, Rebecca Isaacs, Ross McIlroy

Proceedings of the 26th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2011

2010

Guessing attacks and the computational soundness of static equivalence.

Mathieu Baudet, Bogdan Warinschi, Martín Abadi

J. Comput. Secur., 2010

A model of dynamic separation for transactional memory.

Martín Abadi, Tim Harris, Katherine F. Moore

Inf. Comput., 2010

A Model of Cooperative Threads

Martín Abadi, Gordon D. Plotkin

Log. Methods Comput. Sci., 2010

Searching the Searchers with SearchAudit.

John P. John, Fang Yu, Yinglian Xie, Martín Abadi, Arvind Krishnamurthy

Proceedings of the 19th USENIX Security Symposium, 2010

The Fine Print of Security.

Martín Abadi

Proceedings of the 25th Annual IEEE Symposium on Logic in Computer Science, 2010

How to tell an airport from a home: techniques and applications.

Andreas Pitsillidis, Yinglian Xie, Fang Yu, Martín Abadi, Geoffrey M. Voelker, Stefan Savage

Proceedings of the 9th ACM Workshop on Hot Topics in Networks. HotNets 2010, Monterey, CA, USA - October 20, 2010

2009

Control-flow integrity principles, implementations, and applications.

Martín Abadi, Mihai Budiu, Úlfar Erlingsson, Jay Ligatti

ACM Trans. Inf. Syst. Secur., 2009

De-anonymizing the internet using unreliable IDs.

Yinglian Xie, Fang Yu, Martín Abadi

Proceedings of the ACM SIGCOMM 2009 Conference on Applications, 2009

Transactional memory with strong atomicity using off-the-shelf memory protection hardware.

Martín Abadi, Tim Harris, Mojtaba Mehrara

Proceedings of the 14th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2009

Unified Declarative Platform for Secure Netwoked Information Systems.

Wenchao Zhou, Yun Mao, Boon Thau Loo, Martín Abadi

Proceedings of the 25th International Conference on Data Engineering, 2009

Logic in Access Control (Tutorial Notes).

Martín Abadi

Proceedings of the Foundations of Security Analysis and Design V, 2009

Perspectives on Transactional Memory.

Martín Abadi, Tim Harris

Proceedings of the CONCUR 2009 - Concurrency Theory, 20th International Conference, 2009

Implementation and Use of Transactional Memory with Dynamic Separation.

Martín Abadi, Andrew Birrell, Tim Harris, Johnson Hsieh, Michael Isard

Proceedings of the Compiler Construction, 18th International Conference, 2009

Models and Proofs of Protocol Security: A Progress Report.

Martín Abadi, Bruno Blanchet, Hubert Comon-Lundh

Proceedings of the Computer Aided Verification, 21st International Conference, 2009

2008

Automated verification of selected equivalences for security protocols.

Bruno Blanchet, Martín Abadi, Cédric Fournet

J. Log. Algebraic Methods Program., 2008

Security analysis of cryptographically controlled access to XML documents.

Martín Abadi, Bogdan Warinschi

J. ACM, 2008

A Modal Deconstruction of Access Control Logics.

Deepak Garg, Martín Abadi

Proceedings of the Foundations of Software Science and Computational Structures, 2008

Code-Carrying Authorization.

Sergio Maffeis, Martín Abadi, Cédric Fournet, Andrew D. Gordon

Proceedings of the Computer Security, 2008

Variations in Access Control Logic.

Martín Abadi

Proceedings of the Deontic Logic in Computer Science, 9th International Conference, 2008

The good, the bad, and the provable.

Martín Abadi

Proceedings of the 2008 ACM Conference on Computer and Communications Security, 2008

Automatic Mutual Exclusion and Atomicity Checks.

Martín Abadi

Proceedings of the Concurrency, 2008

2007

Editorial.

Martín Abadi, Jens Palsberg

ACM Trans. Program. Lang. Syst., 2007

Just fast keying in the pi calculus.

Martín Abadi, Bruno Blanchet, Cédric Fournet

ACM Trans. Inf. Syst. Secur., 2007

Reconciling Two Views of Cryptography (The Computational Soundness of Formal Encryption).

Martín Abadi, Phillip Rogaway

J. Cryptol., 2007

Access Control in a Core Calculus of Dependency.

Martín Abadi

Proceedings of the Computation, Meaning, and Logic: Articles dedicated to Gordon Plotkin, 2007

Towards a Declarative Language and System for Secure Networking.

Martín Abadi, Boon Thau Loo

Proceedings of the Third International Workshop on Networking Meets Databases, 2007

Security Protocols: Principles and Calculi.

Martín Abadi

Proceedings of the Foundations of Security Analysis and Design IV, 2007

Authorizing applications in singularity.

Ted Wobber, Aydan R. Yumerefendi, Martín Abadi, Andrew Birrell, Daniel R. Simon

Proceedings of the 2007 EuroSys Conference, Lisbon, Portugal, March 21-23, 2007, 2007

Policies and Proofs for Code Auditing.

Nathan Whitehead, Jordan Johnson, Martín Abadi

Proceedings of the Automated Technology for Verification and Analysis, 2007

2006

Types for safe locking: Static race detection for Java.

Martín Abadi, Cormac Flanagan, Stephen N. Freund

ACM Trans. Program. Lang. Syst., 2006

Deciding knowledge in security protocols under equational theories.

Martín Abadi, Véronique Cortier

Theor. Comput. Sci., 2006

XFI: Software Guards for System Address Spaces.

Úlfar Erlingsson, Martín Abadi, Michael Vrable, Mihai Budiu, George C. Necula

Proceedings of the 7th Symposium on Operating Systems Design and Implementation (OSDI '06), 2006

Formal Analysis of Dynamic, Distributed File-System Access Controls.

Avik Chaudhuri, Martín Abadi

Proceedings of the Formal Techniques for Networked and Distributed Systems, 2006

Secrecy by Typing and File-Access Control.

Avik Chaudhuri, Martín Abadi

Proceedings of the 19th IEEE Computer Security Foundations Workshop, 2006

Architectural support for software-based protection.

Mihai Budiu, Úlfar Erlingsson, Martín Abadi

Proceedings of the 1st Workshop on Architectural and System Support for Improving Software Dependability, 2006

Computational Secrecy by Typing for the Pi Calculus.

Martín Abadi, Ricardo Corin, Cédric Fournet

Proceedings of the Programming Languages and Systems, 4th Asian Symposium, 2006

2005

Moderately hard, memory-bound functions.

Martín Abadi, Michael Burrows, Mark S. Manasse, Ted Wobber

ACM Trans. Internet Techn., 2005

Computer-assisted verification of a protocol for certified email.

Martín Abadi, Bruno Blanchet

Sci. Comput. Program., 2005

"Language-Based Security".

Martín Abadi, Greg Morrisett, Andrei Sabelfeld

J. Funct. Program., 2005

Analyzing security protocols with secrecy types and logic programs.

Martín Abadi, Bruno Blanchet

J. ACM, 2005

A Theory of Secure Control Flow.

Martín Abadi, Mihai Budiu, Úlfar Erlingsson, Jay Ligatti

Proceedings of the Formal Methods and Software Engineering, 2005

Password-Based Encryption Analyzed.

Martín Abadi, Bogdan Warinschi

Proceedings of the Automata, Languages and Programming, 32nd International Colloquium, 2005

Access Control in a World of Software Diversity.

Martín Abadi, Andrew Birrell, Ted Wobber

Proceedings of HotOS'05: 10th Workshop on Hot Topics in Operating Systems, 2005

Deciding Knowledge in Security Protocols under (Many More) Equational Theories.

Martín Abadi, Véronique Cortier

Proceedings of the 18th IEEE Computer Security Foundations Workshop, 2005

Formal security analysis of basic network-attached storage.

Avik Chaudhuri, Martín Abadi

Proceedings of the 2005 ACM workshop on Formal methods in security engineering, 2005

Control-flow integrity.

Martín Abadi, Mihai Budiu, Úlfar Erlingsson, Jay Ligatti

Proceedings of the 12th ACM Conference on Computer and Communications Security, 2005

2004

Private authentication.

Martín Abadi, Cédric Fournet

Theor. Comput. Sci., 2004

Trusted Computing, Trusted Third Parties, and Verified Communications.

Martín Abadi

Proceedings of the Security and Protection in Information Processing Systems, 2004

Language-Based Enforcement of Privacy Policies.

Katia Hayati, Martín Abadi

Proceedings of the Privacy Enhancing Technologies, 4th International Workshop, 2004

BCiC: A System for Code Authentication and Verification.

Nathan Whitehead, Martín Abadi

Proceedings of the Logic for Programming, 2004

Choice in Dynamic Linking.

Martín Abadi, Georges Gonthier, Benjamin Werner

Proceedings of the Foundations of Software Science and Computation Structures, 2004

A Logical Account of NGSCB.

Martín Abadi, Ted Wobber

Proceedings of the Formal Techniques for Networked and Distributed Systems, 2004

By Reason and Authority: A System for Authorization of Proof-Carrying Code.

Nathan Whitehead, Martín Abadi, George C. Necula

Proceedings of the 17th IEEE Computer Security Foundations Workshop, 2004

2003

Secrecy types for asymmetric communication.

Martín Abadi, Bruno Blanchet

Theor. Comput. Sci., 2003

Reasoning About Secrecy for Active Networks.

Pankaj Kakkar, Carl A. Gunter, Martín Abadi

J. Comput. Secur., 2003

Access Control Based on Execution History.

Martín Abadi, Cédric Fournet

Proceedings of the Network and Distributed System Security Symposium, 2003

Moderately Hard, Memory-Bound Functions.

Martín Abadi, Michael Burrows, Ted Wobber

Proceedings of the Network and Distributed System Security Symposium, 2003

Logic in Access Control.

Martín Abadi

Proceedings of the 18th IEEE Symposium on Logic in Computer Science (LICS 2003), 2003

Built-in Object Security.

Martín Abadi

Proceedings of the ECOOP 2003, 2003

A Logic of Object-Oriented Programs.

Martín Abadi, K. Rustan M. Leino

Proceedings of the Verification: Theory and Practice, 2003

Bankable Postage for Network Services.

Martín Abadi, Andrew Birrell, Michael Burrows, Frank Dabek, Ted Wobber

Proceedings of the Advances in Computing Science, 2003

2002

Editorial.

Martín Abadi, Leonid Libkin, Frank Pfenning

ACM Trans. Comput. Log., 2002

Certified email with a light on-line trusted third party: design and implementation.

Martín Abadi, Neal Glew

Proceedings of the Eleventh International World Wide Web Conference, 2002

Private Authentication.

Martín Abadi

Proceedings of the Privacy Enhancing Technologies, Second International Workshop, 2002

Hiding Names: Private Authentication in the Applied Pi Calculus.

Cédric Fournet, Martín Abadi

Proceedings of the Software Security -- Theories and Systems, 2002

2001

Formal Eavesdropping and Its Computational Interpretation.

Martín Abadi, Jan Jürjens

Proceedings of the Theoretical Aspects of Computer Software, 4th International Symposium, 2001

Mobile values, new names, and secure communication.

Martín Abadi, Cédric Fournet

Proceedings of the Conference Record of POPL 2001: The 28th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2001

Leslie Lamport's properties and actions.

Martín Abadi

Proceedings of the Twentieth Annual ACM Symposium on Principles of Distributed Computing, 2001

Computing Symbolic Models for Verifying Cryptographic Protocols.

Marcelo P. Fiore, Martín Abadi

Proceedings of the 14th IEEE Computer Security Foundations Workshop (CSFW-14 2001), 2001

2000

top-top-closed relations and admissibility.

Martín Abadi

Math. Struct. Comput. Sci., 2000

Authentication Primitives and Their Compilation.

Martín Abadi, Cédric Fournet, Georges Gonthier

Proceedings of the POPL 2000, 2000

Taming the Adversary.

Martín Abadi

Proceedings of the Advances in Cryptology, 2000

1999

A Type System for Java Bytecode Subroutines.

Raymie Stata, Martín Abadi

ACM Trans. Program. Lang. Syst., 1999

A Calculus for Cryptographic Protocols: The spi Calculus.

Martín Abadi, Andrew D. Gordon

Inf. Comput., 1999

Secrecy in Programming-Language Semantics.

Martín Abadi

Proceedings of the Fifteenth Conference on Mathematical Foundations of Progamming Semantics, 1999

Secure Communications Processing for Distributed Languages.

Martín Abadi, Cédric Fournet, Georges Gonthier

Proceedings of the 1999 IEEE Symposium on Security and Privacy, 1999

A Core Calculus of Dependency.

Martín Abadi, Anindya Banerjee, Nevin Heintze, Jon G. Riecke

Proceedings of the POPL '99, 1999

A Top-Down Look at a Secure Message.

Martín Abadi, Cédric Fournet, Georges Gonthier

Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1999

Security Protocols and Specifications.

Martín Abadi

Proceedings of the Foundations of Software Science and Computation Structure, 1999

Types for Safe Locking.

Cormac Flanagan, Martín Abadi

Proceedings of the Programming Languages and Systems, 1999

Object Types against Races.

Cormac Flanagan, Martín Abadi

Proceedings of the CONCUR '99: Concurrency Theory, 1999

1998

A Bisimulation Method for Cryptographic Protocols.

Martín Abadi, Andrew D. Gordon

Nord. J. Comput., 1998

On SDSI's Linked Local Name Spaces.

Martín Abadi

J. Comput. Secur., 1998

Secure Web Tunneling.

Martín Abadi, Andrew Birrell, Raymie Stata, Edward Wobber

Comput. Networks, 1998

Protection in Programming-Language Translations.

Martín Abadi

Proceedings of the Automata, Languages and Programming, 25th International Colloquium, 1998

Protection in Programming-Language Translations: Mobile Object Systems (Abstract).

Martín Abadi

Proceedings of the Object-Oriented Technology, ECOOP'98 Workshop Reader, 1998

Panel Introduction: Varieties of Authentication.

Roberto Gorrieri, Paul F. Syverson, Martín Abadi, Riccardo Focardi, Dieter Gollmann, Gavin Lowe, Catherine Meadows

Proceedings of the 11th IEEE Computer Security Foundations Workshop, 1998

Two Facets of Authentication.

Martín Abadi

Proceedings of the 11th IEEE Computer Security Foundations Workshop, 1998

1997

Explicit Communication Revisited: Two New Attacks on Authentication Protocols.

Martín Abadi

IEEE Trans. Software Eng., 1997

Secure Implementation of Channel Abstractions.

Martín Abadi, Cédric Fournet, Georges Gonthier

Proceedings of the Second Workshop on Higher-Order Operational Techniques in Semantics, 1997

Secrecy by Typing inSecurity Protocols.

Martín Abadi

Proceedings of the Theoretical Aspects of Computer Software, Third International Symposium, 1997

Reasoning about Cryptographic Protocols in the Spi Calculus.

Martín Abadi, Andrew D. Gordon

Proceedings of the CONCUR '97: Concurrency Theory, 1997

1996

The Millicent Protocol for Inexpensive Electronic Commerce.

Steven C. Glassman, Mark S. Manasse, Martín Abadi, Paul Gauthier, Patrick Sobalvarro

World Wide Web J., 1996

Prudent Engineering Practice for Cryptographic Protocols.

Martín Abadi, Roger M. Needham

IEEE Trans. Software Eng., 1996

On Subtyping and Matching.

Martín Abadi, Luca Cardelli

ACM Trans. Program. Lang. Syst., 1996

A Theory of Primitive Objects: Untyped and First-Order Systems.

Martín Abadi, Luca Cardelli

Inf. Comput., 1996

Secure Network Objects.

Leendert van Doorn, Martín Abadi, Michael Burrows, Edward Wobber

Proceedings of the 1996 IEEE Symposium on Security and Privacy, 1996

An Interpretation of Objects and Object Types.

Martín Abadi, Luca Cardelli, Ramesh Viswanathan

Proceedings of the Conference Record of POPL'96: The 23rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 1996

On TLA as a logic.

Martín Abadi, Stephan Merz

Proceedings of the NATO Advanced Study Institute on Deductive Program Design, 1996

Syntactic Considerations on Recursive Types.

Martín Abadi, Marcelo P. Fiore

Proceedings of the Proceedings, 1996

Analysis and Caching of Dependencies.

Martín Abadi, Butler W. Lampson, Jean-Jacques Lévy

Proceedings of the 1996 ACM SIGPLAN International Conference on Functional Programming, 1996

A Theory of Objects.

Martín Abadi, Luca Cardelli

Monographs in Computer Science, Springer, ISBN: 978-1-4419-8598-9, 1996

1995

Conjoining Specifications.

Martín Abadi, Leslie Lamport

ACM Trans. Program. Lang. Syst., 1995

Methods as Assertions.

John Lamping, Martín Abadi

Theory Pract. Object Syst., 1995

An Imperative Object Calculus (Invited Paper).

Martín Abadi, Luca Cardelli

Theory Pract. Object Syst., 1995

A Theory of Primitive Objects: Second-Order Systems.

Martín Abadi, Luca Cardelli

Sci. Comput. Program., 1995

Dynamic Typing in Polymorphic Languages.

Martín Abadi, Luca Cardelli, Benjamin C. Pierce, Didier Rémy

J. Funct. Program., 1995

A Model for Formal Parametric Polymorphism: A PER Interpretation for System R.

Roberto Bellucci, Martín Abadi, Pierre-Louis Curien

Proceedings of the Typed Lambda Calculi and Applications, 1995

An Imperative Object Calculus.

Martín Abadi, Luca Cardelli

Proceedings of the TAPSOFT'95: Theory and Practice of Software Development, 1995

An Abstract Account of Composition.

Martín Abadi, Stephan Merz

Proceedings of the Mathematical Foundations of Computer Science 1995, 1995

1994

Decidability and Expressiveness for First-Order Logics of Probability

Martín Abadi, Joseph Y. Halpern

Inf. Comput., July, 1994

An Old-Fashined Recipe for Real-Time.

Martín Abadi, Leslie Lamport

ACM Trans. Program. Lang. Syst., 1994

Authentication in the Taos Operating System.

Edward Wobber, Martín Abadi, Michael Burrows

ACM Trans. Comput. Syst., 1994

Baby Modula-3 and a Theory of Objects.

Martín Abadi

J. Funct. Program., 1994

A Semantics for Static Type Inference in a Nondeterministic Language

Martín Abadi

Inf. Comput., 1994

Decomposing Specifications of Concurrent Systems.

Martín Abadi, Leslie Lamport

Proceedings of the Programming Concepts, 1994

Open Systems in TLA.

Martín Abadi, Leslie Lamport

Proceedings of the Thirteenth Annual ACM Symposium on Principles of Distributed Computing, 1994

Subtyping and Parametricity

Gordon D. Plotkin, Martín Abadi, Luca Cardelli

Proceedings of the Ninth Annual Symposium on Logic in Computer Science (LICS '94), 1994

A Semantics of Object Types

Martín Abadi, Luca Cardelli

Proceedings of the Ninth Annual Symposium on Logic in Computer Science (LICS '94), 1994

A Theory of Primitive Objects - Scond-Order Systems.

Martín Abadi, Luca Cardelli

Proceedings of the Programming Languages and Systems, 1994

A TLA Solution to the RPC-Memory Specification Problem.

Martín Abadi, Leslie Lamport, Stephan Merz

Proceedings of the Formal Systems Specification, 1994

1993

Composing Specifications.

Martín Abadi, Leslie Lamport

ACM Trans. Program. Lang. Syst., 1993

A Calculus for Access Control in Distributed Systems.

Martín Abadi, Michael Burrows, Butler W. Lampson, Gordon D. Plotkin

ACM Trans. Program. Lang. Syst., 1993

A Logical View of Composition.

Martín Abadi, Gordon D. Plotkin

Theor. Comput. Sci., 1993

Formal Parametric Polymorphism.

Martín Abadi, Luca Cardelli, Pierre-Louis Curien

Theor. Comput. Sci., 1993

Authentification and Delegation with Smart-Cards.

Martín Abadi, Michael Burrows, C. Kaufman, Butler W. Lampson

Sci. Comput. Program., 1993

A Logic for Parametric Polymorphism.

Gordon D. Plotkin, Martín Abadi

Proceedings of the Typed Lambda Calculi and Applications, 1993

Authentication in the Taos Operating System.

Edward Wobber, Martín Abadi, Michael Burrows, Butler W. Lampson

Proceedings of the Fourteenth ACM Symposium on Operating System Principles, 1993

Extensible Grammars for Language Specialization.

Luca Cardelli, Florian Matthes, Martín Abadi

Proceedings of the Database Programming Languages (DBPL-4), Proceedings of the Fourth International Workshop on Database Programming Languages - Object Models and Languages, Manhattan, New York City, USA, 30 August, 1993

1992

Authentication in Distributed Systems: Theory and Practice.

Butler W. Lampson, Martín Abadi, Michael Burrows, Edward Wobber

ACM Trans. Comput. Syst., 1992

The Geometry of Optimal Lambda Reduction.

Georges Gonthier, Martín Abadi, Jean-Jacques Lévy

Proceedings of the Conference Record of the Nineteenth Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 1992

Linear Logic Without Boxes

Georges Gonthier, Martín Abadi, Jean-Jacques Lévy

Proceedings of the Seventh Annual Symposium on Logic in Computer Science (LICS '92), 1992

1991

Dynamic Typing in a Statically Typed Language.

Martín Abadi, Luca Cardelli, Benjamin C. Pierce, Gordon D. Plotkin

ACM Trans. Program. Lang. Syst., 1991

The Existence of Refinement Mappings.

Martín Abadi, Leslie Lamport

Theor. Comput. Sci., 1991

Explicit Substitutions.

Martín Abadi, Luca Cardelli, Pierre-Louis Curien, Jean-Jacques Lévy

J. Funct. Program., 1991

Preserving Liveness: Comments on "Safety and Liveness from a Methodological Point of View".

Martín Abadi, Bowen Alpern, Krzysztof R. Apt, Nissim Francez, Shmuel Katz, Leslie Lamport, Fred B. Schneider

Inf. Process. Lett., 1991

Faithful Ideal Models for Recursive Polymorphic Types.

Martín Abadi, Benjamin C. Pierce, Gordon D. Plotkin

Int. J. Found. Comput. Sci., 1991

Authentication and Delegation with Smart-cards.

Martín Abadi, Michael Burrows, C. Kaufman, Butler W. Lampson

Proceedings of the Theoretical Aspects of Computer Software, 1991

An Old-Fashioned Recipe for Real Time.

Martín Abadi, Leslie Lamport

Proceedings of the Real-Time: Theory in Practice, 1991

A Logical View of Composition and Refinement.

Martín Abadi, Gordon D. Plotkin

Proceedings of the Conference Record of the Eighteenth Annual ACM Symposium on Principles of Programming Languages, 1991

A Semantics for a Logic of Authentication (Extended Abstract).

Martín Abadi, Mark R. Tuttle

Proceedings of the Tenth Annual ACM Symposium on Principles of Distributed Computing, 1991

1990

Nonclausal Deduction in First-Order Temporal Logic

Martín Abadi, Zohar Manna

J. ACM, April, 1990

A Logic of Authentication.

Michael Burrows, Martín Abadi, Roger M. Needham

ACM Trans. Comput. Syst., 1990

Corrigendum: The Power of Temporal Proofs.

Martín Abadi

Theor. Comput. Sci., 1990

Rejoinder to Nessett.

Michael Burrows, Martín Abadi, Roger M. Needham

ACM SIGOPS Oper. Syst. Rev., 1990

Secure Circuit Evaluation.

Martín Abadi, Joan Feigenbaum

J. Cryptol., 1990

A Per Model of Polymorphism and Recursive Types

Martín Abadi, Gordon D. Plotkin

Proceedings of the Fifth Annual Symposium on Logic in Computer Science (LICS '90), 1990

An Axiomatization of Lamport's Temporal Logic of Actions.

Martín Abadi

Proceedings of the CONCUR '90, 1990

1989

The Power of Temporal Proofs.

Martín Abadi

Theor. Comput. Sci., 1989

Temporal Logic Programming.

Martín Abadi, Zohar Manna

J. Symb. Comput., 1989

On Hiding Information from an Oracle.

Martín Abadi, Joan Feigenbaum, Joe Kilian

J. Comput. Syst. Sci., 1989

Realizable and Unrealizable Specifications of Reactive Systems.

Martín Abadi, Leslie Lamport, Pierre Wolper

Proceedings of the Automata, Languages and Programming, 16th International Colloquium, 1989

Decidability and Expressiveness for First-Order Logics of Probability (Extended Abstract)

Martín Abadi, Joseph Y. Halpern

Proceedings of the 30th Annual Symposium on Foundations of Computer Science, Research Triangle Park, North Carolina, USA, 30 October, 1989

The Scope of a Logic of Authentication.

Michael Burrows, Martín Abadi, Roger M. Needham

Proceedings of the Distributed Computing And Cryptography, 1989

1988

Authentication: A Practical Study in Belief and Action.

Michael Burrows, Martín Abadi, Roger M. Needham

Proceedings of the 2nd Conference on Theoretical Aspects of Reasoning about Knowledge, 1988

A Simple Protocol for Secure Circuit Evaluation.

Martín Abadi, Joan Feigenbaum

Proceedings of the STACS 88, 1988

On Generating Solved Instances of Computational Problems.

Martín Abadi, Eric Allender, Andrei Z. Broder, Joan Feigenbaum, Lane A. Hemachandra

Proceedings of the Advances in Cryptology, 1988

1987

Temporal-logic theorem proving.

Martín Abadi

PhD thesis, 1987

On Hiding Information from an Oracle (Extended Abstract)

Martín Abadi, Joan Feigenbaum, Joe Kilian

Proceedings of the 19th Annual ACM Symposium on Theory of Computing, 1987

1986

A Timely Resolution

Martín Abadi, Zohar Manna

Proceedings of the Symposium on Logic in Computer Science (LICS '86), 1986

Modal Theorem Proving.

Martín Abadi, Zohar Manna

Proceedings of the 8th International Conference on Automated Deduction, Oxford, England, July 27, 1986

1985

Nonclausal Temporal Deduction.

Martín Abadi, Zohar Manna

Proceedings of the Logics of Programs, 1985