- Control-Flow Integrity Principles, Implementations, and Applications
- An Axiomatization of Lamport's Temporal Logic of Actions
- A Per Model of Polymorphism and Recursive Types
- XFI: Software Guards for System Address Spaces Ulfar Erlingsson
- A Logic for Parametric Polymorphism Gordon Plotkin \Lambda Mart'in Abadi y
- Secure Network Objects Leendert van Doorn \Lambda
- Baby Modula3 and a theory of objects
- The geometry of optimal lambda reduction Georges Gonthier \Lambda Mart'in Abadi y JeanJacques L'evy \Lambda
- Secure Implementation of Channel Abstractions Martn Abadi #
- Decidability and Expressiveness for FirstOrder Logics of Probability
- Guessing Attacks and the Computational Soundness of Static Equivalence
- Semantics of Transactional Memory and Automatic Mutual Exclusion
- Formal Parametric Polymorphism Martn Abadi Luca Cardelli PierreLouis Curien
- The Existence of Refinement Mappings Mart'in Abadi and Leslie Lamport
- Linear Logic Without Boxes Georges Gonthier \Lambda Mart'in Abadi y JeanJacques L'evy \Lambda
- January 26, 1994 Dynamic Typing
- Prudent Engineering Practice for Cryptographic Protocols
- An Abstract Account of Composition Mart'in Abadi 1 and Stephan Merz 2
- Secrecy by Typing in Security Protocols # Martn Abadi
- On Hiding Information from an Oracle \Lambda Mart'in Abadi y
- Syntactic Considerations on Recursive Types Mart'in Abadi
- A Modal Deconstruction of Access Control Logics
- Methods as Assertions John Lamping 1 , Mart'in Abadi 2
- Mobile Values, New Names, and Secure Communication Mart n Abadi
- Taming the Adversary Martn Abadi
- How to Tell an Airport from a Home: Techniques and Applications
- Security Protocols: Principles and Calculi Tutorial Notes
- Bankable Postage for Network Services Martn Abadi1
- On TLA as a Logic Mart'in Abadi 1 and Stephan Merz 2
- Faithful Ideal Models for Recursive Polymorphic Types \Lambda
- Types for Safe Locking Cormac Flanagan and Martn Abadi
- Reasoning About Secrecy for Active Networks
- An OldFashioned Recipe for Real Time Mart'in Abadi and Leslie Lamport
- Semantics of Transactional Memory and Automatic Mutual Exclusion
- Access Control in a Core Calculus of Dependency
- Computational Secrecy by Typing for the Pi Calculus Martin Abadi1,2
- Reconciling Two Views of Cryptography (The Computational Soundness of Formal Encryption)
- SRC Technical Note September 4, 1997
- Formal Security Analysis of Basic NetworkAttached Storage
- On SDSI's Linked Local Name Spaces Martn Abadi
- Towards a Declarative Language and System for Secure Networking
- Formal Eavesdropping and its Computational Interpretation
- Password-Based Encryption Analyzed Martin Abadi1
- Authentication and Delegation with Smartcards
- Authentication in the Taos Operating System EDWARD WOBBER, MART ' IN ABADI, MICHAEL BURROWS,
- Composing Specifications MART ' IN ABADI and LESLIE LAMPORT
- Subtyping and Parametricity Gordon Plotkin \Lambda Mart'in Abadi y Luca Cardelli y
- April 17, 1998 Protection in
- The Scope of a Logic of Authentication Michael Burrows \Lambda Mart'in Abadi \Lambda Roger Needham y
- A Core Calculus of Dependency Martn Abadi
- Certified Email with a Light On-line Trusted Third Party: Design and Implementation
- A Model for Formal Parametric Polymorphism: A PER Interpretation for System R
- Explicit Substitutions M. Abadi \Lambda L. Cardelli \Lambda P.L. Curien y J.J. L'evy z
- Secure circuit evaluation A protocol based on hiding information from an oracle \Lambda
- February 21, 1994 Extensible Syntax with Lexical Scoping
- Deciding knowledge in security protocols under equational theories
- Automated Verification of Selected Equivalences for Security Protocols Bruno Blanchet
- A Logic of Object-Oriented Programs Martin Abadi1
- Security Analysis of Cryptographically Controlled Access to XML Documents
- A logic of objectoriented programs Mart'in Abadi and K. Rustan M. Leino
- Secrecy Types for Asymmetric Communication Mart n Abadi
- Object Types against Races Cormac Flanagan and Martn Abadi
- Models and Proofs of Protocol Security: A Progress Report
- De-anonymizing the Internet Using Unreliable IDs Yinglian Xie, Fang Yu, and Martn Abadi
- Types for Safe Locking: Static Race Detection for Java
- CS 263. Design of Programming Languages Mart'in Abadi
- Logic in Access Control (Tutorial Notes)
- Moderately Hard, Memory-bound Functions MARTIN ABADI
- Built-in Object Security Martin Abadi
- Security Analysis of Cryptographically Controlled Access to XML Documents
- Automated Verification of Selected Equivalences for Security Protocols
- Just Fast Keying in the Pi Calculus Martin Abadi
- Computer-Assisted Verification of a Protocol for Certified Email
- Lampson et al, Authentication in Distributed Systems 1 Authentication in Distributed Systems
- Searching the Searchers with SearchAudit John P. John
- Unified Declarative Platform for Secure Networked Information Systems
- Code-Carrying Authorization Sergio Maffeis2,3, Martin Abadi1,2, Cedric Fournet1, and Andrew D. Gordon1
- Variations in Access Control Logic Martin Abadi1,2
- Policies and Proofs for Code Auditing Nathan Whitehead1
- Secrecy by Typing and File-Access Control Avik Chaudhuri Martin Abadi
- Deciding knowledge in security protocols under (many more) equational theories
- Language-Based Enforcement of Privacy Policies Katia Hayati and Martin Abadi
- Trusted Computing, Trusted Third Parties, and Verified Communications
- Just Fast Keying in the Pi Calculus Martin Abadi1
- Logic in Access Control Martin Abadi
- Access Control based on Execution History Martin Abadi
- On Access Control, Data Integration, and Their Languages
- A Model of Dynamic Separation for Transactional Memory
- Perspectives on Transactional Memory Martin Abadi1,2
- Implementation and Use of Transactional Memory with Dynamic Separation
- Transactional Memory with Strong Atomicity Using Off-the-Shelf Memory Protection Hardware
- Choice in Dynamic Linking Martin Abadi1
- Automatic Mutual Exclusion and Atomicity Checks
- Formal Analysis of Dynamic, Distributed File-System Access Controls
- Open Systems in TLA Mart'in Abadi and Leslie Lamport
- Authentication primitives and their compilation Mart n Abadi
- Conjoining Specifications Mart'in Abadi and Leslie Lamport
- A Model of Dynamic Separation for Transactional Memory
- A TLA Solution to the RPCMemory Specification Problem
- 1 Introduction 1 2 The General Case 2
- A Logical View of Composition Mart'in Abadi and Gordon D. Plotkin
- Deciding knowledge in security protocols under equational theories
- A Semantics for Static Type Inference in a Nondeterministic Language
- A Semantics for a Logic of Authentication (Extended Abstract)
- Errata for ``The Power of Temporal Proofs'' September 8, 1989
- Nordic Journal of Computing A Bisimulation Method for Cryptographic Protocols
- A Logic of Authentication Michael Burrows Mart'in Abadi Roger Needham
- A TopDown Look at a Secure Message Martn Abadi 1 , Cedric Fournet 2 , and Georges Gonthier 3#
- On Generating Solved Instances of Computational Problems (Extended Abstract)
- Dynamic Typing in a Statically Typed Language \Lambda
- Preserving Liveness: Comments on ``Safety and Liveness from a Methodological Point of View''
- Virus-Antivirus Co-evolution Symantec Research Labs
- Heat-seeking Honeypots: Design and Experience John P. John
- Private Authentication Martin Abadi
- A MODEL OF COOPERATIVE THREADS MARTIN ABADI AND GORDON D. PLOTKIN
- GDP Festschrift ENTCS, to appear Access Control in a
- Under consideration for publication in Math. Struct. in Comp. Science ##closed relations and admissibility
- By Reason and Authority: A System for Authorization of ProofCarrying Code Nathan Whitehead
- A Logical View of Composition and Refinement Mart'in Abadi \Lambda Gordon D. Plotkin y
- June 11, 1998 A Type System for Java Bytecode Subroutines
- Security Protocols and Specifications Martn Abadi
- Formal, Informal, and Null Methods Position statement on formal methods and security
- Security Protocols and their Properties # Martn Abadi
- Network Security (assorted topics)
- On Protection by Layout Randomization Martin Abadi
- Analysis and Caching of Dependencies Mart'in Abadi
- Explicit Communication Revisited: Two New Attacks on Authentication Protocols
- Analyzing Security Protocols with Secrecy Types and Logic Programs
- BCiC: A System for Code Authentication and Verification
- January 25, 1998 A Calculus for Cryptographic Protocols
- AC: Composable Asynchronous IO for Native Languages Martin Abadi
- deSEO: Combating Search-Result Poisoning John P. John,
- Position Paper: Differential Privacy with Information Flow Control
