Martín Abadi - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 28 from 28

2008

A Model of Dynamic Separation for Transactional MemoryMartín Abadi, Tim Harris, Katherine F. Moore. concur 2008: 6-20 [doi]

2005

Formal security analysis of basic network-attached storageAvik Chaudhuri, Martín Abadi. ccs 2005: 43-52 [doi]

2003

A Logic of Object-Oriented ProgramsMartín Abadi, K. Rustan M. Leino. BIRTHDAY 2003: 11-41 [doi]

2002

Reconciling Two Views of Cryptography (The Computational Soundness of Formal Encryption)Martín Abadi, Phillip Rogaway. joc, 15(2):103-127, 2002. [doi]

2001

Leslie Lamport s properties and actionsMartín Abadi. podc 2001: 15 [doi]

Formal Eavesdropping and Its Computational InterpretationMartín Abadi, Jan Jürjens. tacs 2001: 82-94 [doi]

Computing Symbolic Models for Verifying Cryptographic ProtocolsMarcelo P. Fiore, Martín Abadi. csfw 2001: 160-173 [doi]

1998

A Bisimulation Method for Cryptographic ProtocolsMartín Abadi, Andrew D. Gordon. ESOP 1998: 12-26 [doi]

On SDSI s Linked Local Name SpacesMartín Abadi. jcs, 6(1-2):3-22, 1998.

Panel Introduction: Varieties of AuthenticationRoberto Gorrieri, Paul F. Syverson, Martín Abadi, Riccardo Focardi, Dieter Gollmann, Gavin Lowe, Catherine Meadows. csfw 1998: 79-82 [doi]

1997

Reasoning about Cryptographic Protocols in the Spi CalculusMartín Abadi, Andrew D. Gordon. concur 1997: 59-73

1996

A Theory of ObjectsMartín Abadi, Luca Cardelli. Monographs in Computer Science, Springer, April 1996.

Secure Network ObjectsLeendert van Doorn, Martín Abadi, Michael Burrows, Edward Wobber. sp 1996: 211-221 [doi]

1995

An Imperative Object Calculus (Invited Paper)Martín Abadi, Luca Cardelli. tapos, 1(3):151-166, 1995.

Dynamic Typing in Polymorphic LanguagesMartín Abadi, Luca Cardelli, Benjamin C. Pierce, Didier Rémy. JFP, 5(1):111-130, 1995.

1994

Decomposing Specifications of Concurrent SystemsMartín Abadi, Leslie Lamport. procomet 1994: 327-340

Subtyping and ParametricityGordon D. Plotkin, Martín Abadi, Luca Cardelli. lics 1994: 310-319

1993

A Calculus for Access Control in Distributed SystemsMartín Abadi, Michael Burrows, Butler W. Lampson, Gordon D. Plotkin. TOPLAS, 15(4):706-734, 1993. [doi]

A Logic for Parametric PolymorphismGordon D. Plotkin, Martín Abadi. tlca 1993: 361-375

1992

The Geometry of Optimal Lambda ReductionGeorges Gonthier, Martín Abadi, Jean-Jacques Lévy. POPL 1992: 15-26

1991

Faithful Ideal Models for Recursive Polymorphic TypesMartín Abadi, Benjamin C. Pierce, Gordon D. Plotkin. ijfcs, 2(1):1-21, 1991.

Dynamic Typing in a Statically Typed LanguageMartín Abadi, Luca Cardelli, Benjamin C. Pierce, Gordon D. Plotkin. TOPLAS, 13(2):237-268, 1991. [doi]

Authentication and Delegation with Smart-cardsMartín Abadi, Michael Burrows, C. Kaufman, Butler W. Lampson. tacs 1991: 326-345

1990

A Per Model of Polymorphism and Recursive TypesMartín Abadi, Gordon D. Plotkin. lics 1990: 355-365

Secure Circuit EvaluationMartín Abadi, Joan Feigenbaum. joc, 2(1):1-12, 1990.

Explicit SubstitutionsMartín Abadi, Luca Cardelli, Pierre-Louis Curien, Jean-Jacques Lévy. POPL 1990: 31-46

1989

Dynamic Typing in a Statically-Typed LanguageMartín Abadi, Luca Cardelli, Benjamin C. Pierce, Gordon D. Plotkin. POPL 1989: 213-227

Faithful Ideal Models for Recursive Polymorphic TypesMartín Abadi, Benjamin C. Pierce, Gordon D. Plotkin. lics 1989: 216-225

Sign in or sign up to see more results.

runs on WebDSL