dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Martín Abadi Home Page Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2011
204Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTim Harris, Martín Abadi, Rebecca Isaacs, Ross McIlroy: AC: composable asynchronous IO for native languages. OOPSLA 2011: 903-920
203Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJohn P. John, Fang Yu, Yinglian Xie, Arvind Krishnamurthy, Martín Abadi: deSEO: Combating Search-Result Poisoning. USENIX Security Symposium 2011
202Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJohn P. John, Fang Yu, Yinglian Xie, Arvind Krishnamurthy, Martín Abadi: Heat-seeking honeypots: design and experience. WWW 2011: 207-216
201Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartín Abadi, Andrew Birrell, Tim Harris, Michael Isard: Semantics of transactional memory and automatic mutual exclusion. ACM Trans. Program. Lang. Syst. 33(1): 2 (2011)
2010
200Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartín Abadi, Gordon D. Plotkin: On Protection by Layout Randomization. CSF 2010: 337-351
199Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndreas Pitsillidis, Yinglian Xie, Fang Yu, Martín Abadi, Geoffrey M. Voelker, Stefan Savage: How to tell an airport from a home: techniques and applications. HotNets 2010: 13
198Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartín Abadi: The Fine Print of Security. LICS 2010: 110
197Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJohn P. John, Fang Yu, Yinglian Xie, Martín Abadi, Arvind Krishnamurthy: Searching the Searchers with SearchAudit. USENIX Security Symposium 2010: 127-142
196Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartín Abadi, Tim Harris, Katherine F. Moore: A model of dynamic separation for transactional memory. Inf. Comput. 208(10): 1093-1117 (2010)
195Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMathieu Baudet, Bogdan Warinschi, Martín Abadi: Guessing attacks and the computational soundness of static equivalence. Journal of Computer Security 18(5): 909-968 (2010)
194Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartín Abadi, Gordon D. Plotkin: A Model of Cooperative Threads Logical Methods in Computer Science 6(4): (2010)
2009
193Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartín Abadi, Bruno Blanchet, Hubert Comon-Lundh: Models and Proofs of Protocol Security: A Progress Report. CAV 2009: 35-49
192Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartín Abadi, Andrew Birrell, Tim Harris, Johnson Hsieh, Michael Isard: Implementation and Use of Transactional Memory with Dynamic Separation. CC 2009: 63-77
191Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartín Abadi, Tim Harris: Perspectives on Transactional Memory. CONCUR 2009: 1-14
190Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartín Abadi: Logic in Access Control (Tutorial Notes). FOSAD 2009: 145-165
189Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWenchao Zhou, Yun Mao, Boon Thau Loo, Martín Abadi: Unified Declarative Platform for Secure Netwoked Information Systems. ICDE 2009: 150-161
188Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartín Abadi, Gordon D. Plotkin: A model of cooperative threads. POPL 2009: 29-40
187Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartín Abadi, Tim Harris, Mojtaba Mehrara: Transactional memory with strong atomicity using off-the-shelf memory protection hardware. PPOPP 2009: 185-196
186Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYinglian Xie, Fang Yu, Martín Abadi: De-anonymizing the internet using unreliable IDs. SIGCOMM 2009: 75-86
185Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartín Abadi, Mihai Budiu, Úlfar Erlingsson, Jay Ligatti: Control-flow integrity principles, implementations, and applications. ACM Trans. Inf. Syst. Secur. 13(1): (2009)
2008
184Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartín Abadi: The good, the bad, and the provable. ACM Conference on Computer and Communications Security 2008: 1
183Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartín Abadi, Tim Harris, Katherine F. Moore: A Model of Dynamic Separation for Transactional Memory. CONCUR 2008: 6-20
182Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartín Abadi: Automatic Mutual Exclusion and Atomicity Checks. Concurrency, Graphs and Models 2008: 510-526
181Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartín Abadi: Variations in Access Control Logic. DEON 2008: 96-109
180Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSergio Maffeis, Martín Abadi, Cédric Fournet, Andrew D. Gordon: Code-Carrying Authorization. ESORICS 2008: 563-579
179Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDeepak Garg, Martín Abadi: A Modal Deconstruction of Access Control Logics. FoSSaCS 2008: 216-230
178Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartín Abadi, Andrew Birrell, Tim Harris, Michael Isard: Semantics of transactional memory and automatic mutual exclusion. POPL 2008: 63-74
177Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartín Abadi, Bogdan Warinschi: Security analysis of cryptographically controlled access to XML documents. J. ACM 55(2): (2008)
176Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBruno Blanchet, Martín Abadi, Cédric Fournet: Automated verification of selected equivalences for security protocols. J. Log. Algebr. Program. 75(1): 3-51 (2008)
2007
175Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNathan Whitehead, Jordan Johnson, Martín Abadi: Policies and Proofs for Code Auditing. ATVA 2007: 1-14
174Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTed Wobber, Aydan R. Yumerefendi, Martín Abadi, Andrew Birrell, Daniel R. Simon: Authorizing applications in singularity. EuroSys 2007: 355-368
173Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartín Abadi: Security Protocols: Principles and Calculi. FOSAD 2007: 1-23
172Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartín Abadi, Bruno Blanchet, Cédric Fournet: Just fast keying in the pi calculus. ACM Trans. Inf. Syst. Secur. 10(3): (2007)
171Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartín Abadi, Jens Palsberg: Editorial. ACM Trans. Program. Lang. Syst. 29(3): (2007)
170Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartín Abadi: Access Control in a Core Calculus of Dependency. Electr. Notes Theor. Comput. Sci. 172: 5-31 (2007)
169Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartín Abadi, Phillip Rogaway: Reconciling Two Views of Cryptography (The Computational Soundness of Formal Encryption). J. Cryptology 20(3): 395 (2007)
2006
168Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartín Abadi, Ricardo Corin, Cédric Fournet: Computational Secrecy by Typing for the Pi Calculus. APLAS 2006: 253-269
167Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMihai Budiu, Úlfar Erlingsson, Martín Abadi: Architectural support for software-based protection. ASID 2006: 42-51
166Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAvik Chaudhuri, Martín Abadi: Secrecy by Typing and File-Access Control. CSFW 2006: 112-123
165Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAvik Chaudhuri, Martín Abadi: Formal Analysis of Dynamic, Distributed File-System Access Controls. FORTE 2006: 99-114
164Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartín Abadi, Mathieu Baudet, Bogdan Warinschi: Guessing Attacks and the Computational Soundness of Static Equivalence. FoSSaCS 2006: 398-412
163Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartín Abadi: Access control in a core calculus of dependency. ICFP 2006: 263-273
162Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLÚlfar Erlingsson, Martín Abadi, Michael Vrable, Mihai Budiu, George C. Necula: XFI: Software Guards for System Address Spaces. OSDI 2006: 75-88
161Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartín Abadi, Cormac Flanagan, Stephen N. Freund: Types for safe locking: Static race detection for Java. ACM Trans. Program. Lang. Syst. 28(2): 207-255 (2006)
160Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartín Abadi, Véronique Cortier: Deciding knowledge in security protocols under equational theories. Theor. Comput. Sci. 367(1-2): 2-32 (2006)
2005
159Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJens Palsberg, Martín Abadi: Proceedings of the 32nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2005, Long Beach, California, USA, January 12-14, 2005 ACM 2005
158no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartín Abadi, Luca de Alfaro: CONCUR 2005 - Concurrency Theory, 16th International Conference, CONCUR 2005, San Francisco, CA, USA, August 23-26, 2005, Proceedings Springer 2005
157Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartín Abadi, Mihai Budiu, Úlfar Erlingsson, Jay Ligatti: Control-flow integrity. ACM Conference on Computer and Communications Security 2005: 340-353
156Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartín Abadi, Véronique Cortier: Deciding Knowledge in Security Protocols under (Many More) Equational Theories. CSFW 2005: 62-76
155Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAvik Chaudhuri, Martín Abadi: Formal security analysis of basic network-attached storage. FMSE 2005: 43-52
154Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartín Abadi, Andrew Birrell, Ted Wobber: Access Control in a World of Software Diversity. HotOS 2005
153Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartín Abadi, Bogdan Warinschi: Password-Based Encryption Analyzed. ICALP 2005: 664-676
152Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartín Abadi, Mihai Budiu, Úlfar Erlingsson, Jay Ligatti: A Theory of Secure Control Flow. ICFEM 2005: 111-124
151Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBruno Blanchet, Martín Abadi, Cédric Fournet: Automated Verification of Selected Equivalences for Security Protocols. LICS 2005: 331-340
150Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartín Abadi, Bogdan Warinschi: Security analysis of cryptographically controlled access to XML documents. PODS 2005: 108-117
149Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartín Abadi, Michael Burrows, Mark S. Manasse, Ted Wobber: Moderately hard, memory-bound functions. ACM Trans. Internet Techn. 5(2): 299-327 (2005)
148Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartín Abadi, Bruno Blanchet: Analyzing security protocols with secrecy types and logic programs. J. ACM 52(1): 102-146 (2005)
147Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartín Abadi, Greg Morrisett, Andrei Sabelfeld: "Language-Based Security". J. Funct. Program. 15(2): 129 (2005)
146Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartín Abadi, Bruno Blanchet: Computer-assisted verification of a protocol for certified email. Sci. Comput. Program. 58(1-2): 3-27 (2005)
2004
145Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNathan Whitehead, Martín Abadi, George C. Necula: By Reason and Authority: A System for Authorization of Proof-Carrying Code. CSFW 2004: 236-250
144Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartín Abadi, Bruno Blanchet, Cédric Fournet: Just Fast Keying in the Pi Calculus. ESOP 2004: 340-354
143Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartín Abadi, Ted Wobber: A Logical Account of NGSCB. FORTE 2004: 1-12
142Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartín Abadi, Georges Gonthier, Benjamin Werner: Choice in Dynamic Linking. FoSSaCS 2004: 12-26
141Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartín Abadi, Véronique Cortier: Deciding Knowledge in Security Protocols Under Equational Theories. ICALP 2004: 46-58
140Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNathan Whitehead, Martín Abadi: BCiC: A System for Code Authentication and Verification. LPAR 2004: 110-124
139Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKatia Hayati, Martín Abadi: Language-Based Enforcement of Privacy Policies. Privacy Enhancing Technologies 2004: 302-313
138no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartín Abadi: Trusted Computing, Trusted Third Parties, and Verified Communications. SEC 2004: 291-308
137Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartín Abadi, Cédric Fournet: Private authentication. Theor. Comput. Sci. 322(3): 427-476 (2004)
2003
136Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartín Abadi, Andrew Birrell, Michael Burrows, Frank Dabek, Ted Wobber: Bankable Postage for Network Services. ASIAN 2003: 72-90
135Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartín Abadi: Built-in Object Security. ECOOP 2003: 1
134Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartín Abadi: Logic in Access Control. LICS 2003: 228-
133Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartín Abadi, Cédric Fournet: Access Control Based on Execution History. NDSS 2003
132Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartín Abadi, Michael Burrows, Ted Wobber: Moderately Hard, Memory-Bound Functions. NDSS 2003
131Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartín Abadi, Bruno Blanchet: Computer-Assisted Verification of a Protocol for Certified Email. SAS 2003: 316-335
130Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartín Abadi, K. Rustan M. Leino: A Logic of Object-Oriented Programs. Verification: Theory and Practice 2003: 11-41
129Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPankaj Kakkar, Carl A. Gunter, Martín Abadi: Reasoning About Secrecy for Active Networks. Journal of Computer Security 11(2): 245-287 (2003)
128Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartín Abadi, Bruno Blanchet: Secrecy types for asymmetric communication. Theor. Comput. Sci. 3(298): 387-415 (2003)
2002
127Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCédric Fournet, Martín Abadi: Hiding Names: Private Authentication in the Applied Pi Calculus. ISSS 2002: 317-338
126Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartín Abadi, Bruno Blanchet: Analyzing security protocols with secrecy types and logic programs. POPL 2002: 33-44
125Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartín Abadi: Private Authentication. Privacy Enhancing Technologies 2002: 27-40
124Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartín Abadi, Neal Glew: Certified email with a light on-line trusted third party: design and implementation. WWW 2002: 387-395
123Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartín Abadi, Leonid Libkin, Frank Pfenning: Editorial. ACM Trans. Comput. Log. 3(3): 335-335 (2002)
122Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartín Abadi, Cédric Fournet, Georges Gonthier: Secure Implementation of Channel Abstractions. Inf. Comput. 174(1): 37-83 (2002)
121Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartín Abadi, Phillip Rogaway: Reconciling Two Views of Cryptography (The Computational Soundness of Formal Encryption). J. Cryptology 15(2): 103-127 (2002)
2001
120Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarcelo P. Fiore, Martín Abadi: Computing Symbolic Models for Verifying Cryptographic Protocols. CSFW 2001: 160-173
119Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartín Abadi, Bruno Blanchet: Secrecy Types for Asymmetric Communication. FoSSaCS 2001: 25-41
118Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartín Abadi: Leslie Lamport's properties and actions. PODC 2001: 15
117Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartín Abadi, Cédric Fournet: Mobile values, new names, and secure communication. POPL 2001: 104-115
116Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartín Abadi, Jan Jürjens: Formal Eavesdropping and Its Computational Interpretation. TACS 2001: 82-94
2000
115Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartín Abadi: Taming the Adversary. CRYPTO 2000: 353-358
114Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPankaj Kakkar, Carl A. Gunter, Martín Abadi: Reasoning about Secrecy for Active Networks. CSFW 2000: 118-129
113Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartín Abadi, Phillip Rogaway: Reconciling Two Views of Cryptography (The Computational Soundness of Formal Encryption). IFIP TCS 2000: 3-22
112Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartín Abadi, Cédric Fournet, Georges Gonthier: Authentication Primitives and Their Compilation. POPL 2000: 302-315
111Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartín Abadi: top-top-closed relations and admissibility. Mathematical Structures in Computer Science 10(3): 313-320 (2000)
1999
110Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCormac Flanagan, Martín Abadi: Object Types against Races. CONCUR 1999: 288-303
109Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCormac Flanagan, Martín Abadi: Types for Safe Locking. ESOP 1999: 91-108
108Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartín Abadi, Cédric Fournet, Georges Gonthier: A Top-Down Look at a Secure Message. FSTTCS 1999: 122-141
107Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartín Abadi: Security Protocols and Specifications. FoSSaCS 1999: 1-13
106Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartín Abadi, Cédric Fournet, Georges Gonthier: Secure Communications Processing for Distributed Languages. IEEE Symposium on Security and Privacy 1999: 74-88
105Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartín Abadi, Anindya Banerjee, Nevin Heintze, Jon G. Riecke: A Core Calculus of Dependency. POPL 1999: 147-160
104Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartín Abadi: Protection in Programming-Language Translations. Secure Internet Programming 1999: 19-34
103Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLeendert van Doorn, Martín Abadi, Michael Burrows, Edward Wobber: Secure Network Objects. Secure Internet Programming 1999: 395-412
102Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRaymie Stata, Martín Abadi: A Type System for Java Bytecode Subroutines. ACM Trans. Program. Lang. Syst. 21(1): 90-137 (1999)
101Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartín Abadi: Secrecy in Programming-Language Semantics. Electr. Notes Theor. Comput. Sci. 20: 80-94 (1999)
100Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartín Abadi, Andrew D. Gordon: A Calculus for Cryptographic Protocols: The spi Calculus. Inf. Comput. 148(1): 1-70 (1999)
1998
99Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartín Abadi: Two Facets of Authentication. CSFW 1998: 27-32
98Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoberto Gorrieri, Paul F. Syverson, Martín Abadi, Riccardo Focardi, Dieter Gollmann, Gavin Lowe, Catherine Meadows: Panel Introduction: Varieties of Authentication. CSFW 1998: 79-82
97Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartín Abadi: Protection in Programming-Language Translations: Mobile Object Systems (Abstract). ECOOP Workshops 1998: 291
96Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartín Abadi, Andrew D. Gordon: A Bisimulation Method for Cryptographic Protocols. ESOP 1998: 12-26
95Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartín Abadi: Protection in Programming-Language Translations. ICALP 1998: 868-883
94Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartín Abadi, Cédric Fournet, Georges Gonthier: Secure Implementation of Channel Abstractions. LICS 1998: 105-116
93Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRaymie Stata, Martín Abadi: A Type System for Java Bytecode Subroutines. POPL 1998: 149-160
92Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartín Abadi, Andrew Birrell, Raymie Stata, Edward Wobber: Secure Web Tunneling. Computer Networks 30(1-7): 531-539 (1998)
91Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartín Abadi: On SDSI's Linked Local Name Spaces. Journal of Computer Security 6(1-2): 3-22 (1998)
90no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartín Abadi, Andrew D. Gordon: A Bisimulation Method for Cryptographic Protocols. Nord. J. Comput. 5(4): 267- (1998)
1997
89no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartín Abadi, Takayasu Ito: Theoretical Aspects of Computer Software, Third International Symposium, TACS '97, Sendai, Japan, September 23-26, 1997, Proceedings Springer 1997
88Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartín Abadi, Andrew D. Gordon: A Calculus for Cryptographic Protocols: The Spi Calculus. ACM Conference on Computer and Communications Security 1997: 36-47
87Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartín Abadi, Andrew D. Gordon: Reasoning about Cryptographic Protocols in the Spi Calculus. CONCUR 1997: 59-73
86Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartín Abadi: On SDSI's Linked Local Name Spaces. CSFW 1997: 98-108
85Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartín Abadi: Secrecy by Typing inSecurity Protocols. TACS 1997: 611-638
84Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartín Abadi, K. Rustan M. Leino: A Logic of Object-Oriented Programs. TAPSOFT 1997: 682-696
83Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartín Abadi, Cédric Fournet, Georges Gonthier: Secure Implementation of Channel Abstractions. Electr. Notes Theor. Comput. Sci. 10: 202-203 (1997)
82Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartín Abadi: Explicit Communication Revisited: Two New Attacks on Authentication Protocols. IEEE Trans. Software Eng. 23(3): 185-186 (1997)
1996
81no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartín Abadi, Luca Cardelli: A theory of objects. Springer 1996: I-XIII, 1-396
80Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartín Abadi, Butler W. Lampson, Jean-Jacques Lévy: Analysis and Caching of Dependencies. ICFP 1996: 83-91
79Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLeendert van Doorn, Martín Abadi, Michael Burrows, Edward Wobber: Secure Network Objects. IEEE Symposium on Security and Privacy 1996: 211-221
78Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartín Abadi, Marcelo P. Fiore: Syntactic Considerations on Recursive Types. LICS 1996: 242-252
77no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartín Abadi, Stephan Merz: On TLA as a logic. NATO ASI DPD 1996: 235-271
76Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartín Abadi, Luca Cardelli, Ramesh Viswanathan: An Interpretation of Objects and Object Types. POPL 1996: 396-409
75Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartín Abadi, Luca Cardelli: On Subtyping and Matching. ACM Trans. Program. Lang. Syst. 18(4): 401-423 (1996)
74Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartín Abadi, Roger M. Needham: Prudent Engineering Practice for Cryptographic Protocols. IEEE Trans. Software Eng. 22(1): 6-15 (1996)
73Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartín Abadi, Luca Cardelli: A Theory of Primitive Objects: Untyped and First-Order Systems. Inf. Comput. 125(2): 78-102 (1996)
1995
72Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartín Abadi, Luca Cardelli: On Subtyping and Matching. ECOOP 1995: 145-167
71Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartín Abadi, Stephan Merz: An Abstract Account of Composition. MFCS 1995: 499-508
70Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartín Abadi, Luca Cardelli: An Imperative Object Calculus. TAPSOFT 1995: 471-485
69Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoberto Bellucci, Martín Abadi, Pierre-Louis Curien: A Model for Formal Parametric Polymorphism: A PER Interpretation for System R. TLCA 1995: 32-46
68Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartín Abadi, Leslie Lamport: Conjoining Specifications. ACM Trans. Program. Lang. Syst. 17(3): 507-534 (1995)
67Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartín Abadi, Luca Cardelli, Benjamin C. Pierce, Didier Rémy: Dynamic Typing in Polymorphic Languages. J. Funct. Program. 5(1): 111-130 (1995)
66Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartín Abadi, Luca Cardelli: A Theory of Primitive Objects: Second-Order Systems. Sci. Comput. Program. 25(2-3): 81-116 (1995)
65no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJohn Lamping, Martín Abadi: Methods as Assertions. TAPOS 1(1): 5-18 (1995)
64no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartín Abadi, Luca Cardelli: An Imperative Object Calculus (Invited Paper). TAPOS 1(3): 151-166 (1995)
1994
63Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJohn Lamping, Martín Abadi: Methods as Assertions. ECOOP 1994: 60-80
62Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartín Abadi, Luca Cardelli: A Theory of Primitive Objects - Scond-Order Systems. ESOP 1994: 1-25
61Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartín Abadi, Leslie Lamport, Stephan Merz: A TLA Solution to the RPC-Memory Specification Problem. Formal Systems Specification 1994: 21-66
60Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGordon D. Plotkin, Martín Abadi, Luca Cardelli: Subtyping and Parametricity LICS 1994: 310-319
59Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartín Abadi, Luca Cardelli: A Semantics of Object Types LICS 1994: 332-341
58Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartín Abadi, Leslie Lamport: Open Systems in TLA. PODC 1994: 81-90
57no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartín Abadi, Leslie Lamport: Decomposing Specifications of Concurrent Systems. PROCOMET 1994: 327-340
56Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartín Abadi, Luca Cardelli: A Theory of Primitive Objects - Untyped and First-Order Systems. TACS 1994: 296-320
55Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEdward Wobber, Martín Abadi, Michael Burrows: Authentication in the Taos Operating System. ACM Trans. Comput. Syst. 12(1): 3-32 (1994)
54Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartín Abadi, Leslie Lamport: An Old-Fashined Recipe for Real-Time. ACM Trans. Program. Lang. Syst. 16(5): 1543-1571 (1994)
53Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartín Abadi: A Semantics for Static Type Inference in a Nondeterministic Language Inf. Comput. 109(1/2): 300-306 (1994)
52Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartín Abadi, Joseph Y. Halpern: Decidability and Expressiveness for First-Order Logics of Probability Inf. Comput. 112(1): 1-36 (1994)
51Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartín Abadi: Baby Modula-3 and a Theory of Objects. J. Funct. Program. 4(2): 249-283 (1994)
1993
50Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuca Cardelli, Florian Matthes, Martín Abadi: Extensible Grammars for Language Specialization. DBPL 1993: 11-31
49Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartín Abadi, Luca Cardelli, Pierre-Louis Curien: Formal Parametric Polymorphism. POPL 1993: 157-170
48Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEdward Wobber, Martín Abadi, Michael Burrows, Butler W. Lampson: Authentication in the Taos Operating System. SOSP 1993: 256-269
47Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGordon D. Plotkin, Martín Abadi: A Logic for Parametric Polymorphism. TLCA 1993: 361-375
46Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartín Abadi, Leslie Lamport: Composing Specifications. ACM Trans. Program. Lang. Syst. 15(1): 73-132 (1993)
45Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartín Abadi, Michael Burrows, Butler W. Lampson, Gordon D. Plotkin: A Calculus for Access Control in Distributed Systems. ACM Trans. Program. Lang. Syst. 15(4): 706-734 (1993)
44Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartín Abadi, Michael Burrows, C. Kaufman, Butler W. Lampson: Authentification and Delegation with Smart-Cards. Sci. Comput. Program. 21(2): 93-113 (1993)
43Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartín Abadi, Gordon D. Plotkin: A Logical View of Composition. Theor. Comput. Sci. 114(1): 3-30 (1993)
42Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartín Abadi, Luca Cardelli, Pierre-Louis Curien: Formal Parametric Polymorphism. Theor. Comput. Sci. 121(1&2): 9-58 (1993)
1992
41Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGeorges Gonthier, Martín Abadi, Jean-Jacques Lévy: Linear Logic Without Boxes LICS 1992: 223-234
40Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGeorges Gonthier, Martín Abadi, Jean-Jacques Lévy: The Geometry of Optimal Lambda Reduction. POPL 1992: 15-26
39Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLButler W. Lampson, Martín Abadi, Michael Burrows, Edward Wobber: Authentication in Distributed Systems: Theory and Practice. ACM Trans. Comput. Syst. 10(4): 265-310 (1992)
1991
38Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartín Abadi, Michael Burrows, Butler W. Lampson, Gordon D. Plotkin: A Calculus for Access Control in Distributed Systems. CRYPTO 1991: 1-23
37Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartín Abadi, Mark R. Tuttle: A Semantics for a Logic of Authentication (Extended Abstract). PODC 1991: 201-216
36Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartín Abadi, Gordon D. Plotkin: A Logical View of Composition and Refinement. POPL 1991: 323-332
35Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartín Abadi, Leslie Lamport: An Old-Fashioned Recipe for Real Time. REX Workshop 1991: 1-27
34Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLButler W. Lampson, Martín Abadi, Michael Burrows, Edward Wobber: Authentication in Distributed Systems: Theory and Practice. SOSP 1991: 165-182
33Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartín Abadi, Michael Burrows, C. Kaufman, Butler W. Lampson: Authentication and Delegation with Smart-cards. TACS 1991: 326-345
32Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartín Abadi, Luca Cardelli, Benjamin C. Pierce, Gordon D. Plotkin: Dynamic Typing in a Statically Typed Language. ACM Trans. Program. Lang. Syst. 13(2): 237-268 (1991)
31Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartín Abadi, Bowen Alpern, Krzysztof R. Apt, Nissim Francez, Shmuel Katz, Leslie Lamport, Fred B. Schneider: Preserving Liveness: Comments on ``Safety and Liveness from a Methodological Point of View''. Inf. Process. Lett. 40(3): 141-142 (1991)
30no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartín Abadi, Benjamin C. Pierce, Gordon D. Plotkin: Faithful Ideal Models for Recursive Polymorphic Types. Int. J. Found. Comput. Sci. 2(1): 1-21 (1991)
29Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartín Abadi, Luca Cardelli, Pierre-Louis Curien, Jean-Jacques Lévy: Explicit Substitutions. J. Funct. Program. 1(4): 375-416 (1991)
28Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartín Abadi, Leslie Lamport: The Existence of Refinement Mappings. Theor. Comput. Sci. 82(2): 253-284 (1991)
1990
27Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartín Abadi: An Axiomatization of Lamport's Temporal Logic of Actions. CONCUR 1990: 57-69
26Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartín Abadi, Gordon D. Plotkin: A Per Model of Polymorphism and Recursive Types LICS 1990: 355-365
25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartín Abadi, Luca Cardelli, Pierre-Louis Curien, Jean-Jacques Lévy: Explicit Substitutions. POPL 1990: 31-46
24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael Burrows, Martín Abadi, Roger M. Needham: A Logic of Authentication. ACM Trans. Comput. Syst. 8(1): 18-36 (1990)
23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartín Abadi, Zohar Manna: Nonclausal Deduction in First-Order Temporal Logic J. ACM 37(2): 279-317 (1990)
22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartín Abadi, Joan Feigenbaum: Secure Circuit Evaluation. J. Cryptology 2(1): 1-12 (1990)
21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael Burrows, Martín Abadi, Roger M. Needham: Rejoinder to Nessett. Operating Systems Review 24(2): 39-40 (1990)
20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartín Abadi: Corrigendum: The Power of Temporal Proofs. Theor. Comput. Sci. 70(2): 275 (1990)
1989
19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartín Abadi, Joseph Y. Halpern: Decidability and Expressiveness for First-Order Logics of Probability (Extended Abstract) FOCS 1989: 148-153
18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartín Abadi, Leslie Lamport, Pierre Wolper: Realizable and Unrealizable Specifications of Reactive Systems. ICALP 1989: 1-17
17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartín Abadi, Benjamin C. Pierce, Gordon D. Plotkin: Faithful Ideal Models for Recursive Polymorphic Types LICS 1989: 216-225
16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartín Abadi, Luca Cardelli, Benjamin C. Pierce, Gordon D. Plotkin: Dynamic Typing in a Statically-Typed Language. POPL 1989: 213-227
15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartín Abadi, Leslie Lamport: Composing Specifications. REX Workshop 1989: 1-41
14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael Burrows, Martín Abadi, Roger M. Needham: A Logic of Authentication. SOSP 1989: 1-13
13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartín Abadi, Joan Feigenbaum, Joe Kilian: On Hiding Information from an Oracle. J. Comput. Syst. Sci. 39(1): 21-50 (1989)
12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartín Abadi, Zohar Manna: Temporal Logic Programming. J. Symb. Comput. 8(3): 277-295 (1989)
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartín Abadi: The Power of Temporal Proofs. Theor. Comput. Sci. 65(1): 35-83 (1989)
1988
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartín Abadi, Eric Allender, Andrei Z. Broder, Joan Feigenbaum, Lane A. Hemachandra: On Generating Solved Instances of Computational Problems. CRYPTO 1988: 297-310
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartín Abadi, Leslie Lamport: The Existence of Refinement Mappings LICS 1988: 165-175
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartín Abadi, Joan Feigenbaum: A Simple Protocol for Secure Circuit Evaluation. STACS 1988: 264-272
7no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael Burrows, Martín Abadi, Roger M. Needham: Authentication: A Practical Study in Belief and Action. TARK 1988: 325-342
1987
6no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartín Abadi: The Power of Temporal Proofs LICS 1987: 123-130
5no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartín Abadi, Zohar Manna: Temporal Logic Programming. SLP 1987: 4-16
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartín Abadi, Joan Feigenbaum, Joe Kilian: On Hiding Information from an Oracle (Extended Abstract) STOC 1987: 195-203
1986
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartín Abadi, Zohar Manna: Modal Theorem Proving. CADE 1986: 172-189
2no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartín Abadi, Zohar Manna: A Timely Resolution LICS 1986: 176-186
1985
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartín Abadi, Zohar Manna: Nonclausal Temporal Deduction. Logic of Programs 1985: 1-15

Coauthor Index

1Luca de Alfaro [158]
2Eric Allender [10]
3Bowen Alpern [31]
4Krzysztof R. Apt [31]
5Anindya Banerjee [105]
6Mathieu Baudet [164] [195]
7Roberto Bellucci [69]
8Andrew Birrell [92] [136] [154] [174] [178] [192] [201]
9Bruno Blanchet [119] [126] [128] [131] [144] [146] [148] [151] [172] [176] [193]
10Andrei Z. Broder [10]
11Mihai Budiu [152] [157] [162] [167] [185]
12Michael Burrows [7] [14] [21] [24] [33] [34] [38] [39] [44] [45] [48] [55] [79] [103] [132] [136] [149]
13Luca Cardelli [16] [25] [29] [32] [42] [49] [50] [56] [59] [60] [62] [64] [66] [67] [70] [72] [73] [75] [76] [81]
14Avik Chaudhuri [155] [165] [166]
15Hubert Comon-Lundh (Hubert Comon) [193]
16Ricardo Corin [168]
17Véronique Cortier [141] [156] [160]
18Pierre-Louis Curien [25] [29] [42] [49] [69]
19Frank Dabek [136]
20Leendert van Doorn [79] [103]
21Úlfar Erlingsson [152] [157] [162] [167] [185]
22Joan Feigenbaum [4] [8] [10] [13] [22]
23Marcelo P. Fiore [78] [120]
24Cormac Flanagan [109] [110] [161]
25Riccardo Focardi [98]
26Cédric Fournet [83] [94] [106] [108] [112] [117] [122] [127] [133] [137] [144] [151] [168] [172] [176] [180]
27Nissim Francez [31]
28Stephen N. Freund [161]
29Deepak Garg [179]
30Neal Glew [124]
31Dieter Gollmann [98]
32Georges Gonthier [40] [41] [83] [94] [106] [108] [112] [122] [142]
33Andrew D. Gordon (Andy Gordon) [87] [88] [90] [96] [100] [180]
34Roberto Gorrieri [98]
35Carl A. Gunter [114] [129]
36Joseph Y. Halpern [19] [52]
37Tim Harris [178] [183] [187] [191] [192] [196] [201] [204]
38Katia Hayati [139]
39Nevin Heintze [105]
40Lane A. Hemaspaandra (Lane A. Hemachandra) [10]
41Johnson Hsieh [192]
42Rebecca Isaacs [204]
43Michael Isard [178] [192] [201]
44Takayasu Ito [89]
45John P. John [197] [202] [203]
46Jordan Johnson [175]
47Jan Jürjens [116]
48Pankaj Kakkar [114] [129]
49Shmuel Katz [31]
50C. Kaufman [33] [44]
51Joe Kilian [4] [13]
52Arvind Krishnamurthy [197] [202] [203]
53John Lamping [63] [65]
54Leslie Lamport [9] [15] [18] [28] [31] [35] [46] [54] [57] [58] [61] [68]
55Butler W. Lampson [33] [34] [38] [39] [44] [45] [48] [80]
56K. Rustan M. Leino [84] [130]
57Jean-Jacques Lévy [25] [29] [40] [41] [80]
58Leonid Libkin [123]
59Jay Ligatti (Jarred Ligatti) [152] [157] [185]
60Boon Thau Loo [189]
61Gavin Lowe [98]
62Sergio Maffeis [180]
63Mark S. Manasse (Mark Manasse) [149]
64Zohar Manna [1] [2] [3] [5] [12] [23]
65Yun Mao [189]
66Florian Matthes [50]
67Ross McIlroy [204]
68Catherine Meadows [98]
69Mojtaba Mehrara [187]
70Stephan Merz [61] [71] [77]
71Katherine F. Moore [183] [196]
72J. Gregory Morrisett (Greg Morrisett) [147]
73George C. Necula [145] [162]
74Roger M. Needham [7] [14] [21] [24] [74]
75Jens Palsberg [159] [171]
76Frank Pfenning [123]
77Benjamin C. Pierce [16] [17] [30] [32] [67]
78Andreas Pitsillidis [199]
79Gordon D. Plotkin [16] [17] [26] [30] [32] [36] [38] [43] [45] [47] [60] [188] [194] [200]
80Didier Rémy [67]
81Jon G. Riecke [105]
82Phillip Rogaway [113] [121] [169]
83Andrei Sabelfeld [147]
84Stefan Savage [199]
85Fred B. Schneider [31]
86Daniel R. Simon [174]
87Raymie Stata [92] [93] [102]
88Paul F. Syverson [98]
89Mark R. Tuttle [37]
90Ramesh Viswanathan [76]
91Geoffrey M. Voelker [199]
92Michael Vrable [162]
93Bogdan Warinschi [150] [153] [164] [177] [195]
94Benjamin Werner [142]
95Nathan Whitehead [140] [145] [175]
96Edward Wobber [34] [39] [48] [55] [79] [92] [103]
97Ted Wobber [132] [136] [143] [149] [154] [174]
98Pierre Wolper [18]
99Yinglian Xie [186] [197] [199] [202] [203]
100Fang Yu [186] [197] [199] [202] [203]
101Aydan R. Yumerefendi [174]
102Wenchao Zhou [189]

Colors in the list of coauthors

Home | Conferences | Journals | Series | FAQ — Search: Faceted | Free | Complete | Author
Last update Fri May 25 03:49:23 2012 CET by the DBLP Team — This material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page