Martín Abadi - researchr alias

researchr

You are not signed in
Sign in
Sign up

2011

Semantics of transactional memory and automatic mutual exclusionMartín Abadi, Andrew Birrell, Tim Harris, Michael Isard. TOPLAS, 33(1):2, 2011. [doi]

2010

2009

2008

The good, the bad, and the provableMartín Abadi. ccs 2008: 1 [doi]

Automatic Mutual Exclusion and Atomicity ChecksMartín Abadi. birthday 2008: 510-526 [doi]

Variations in Access Control LogicMartín Abadi. deon 2008: 96-109 [doi]

Semantics of transactional memory and automatic mutual exclusionMartín Abadi, Andrew Birrell, Tim Harris, Michael Isard. POPL 2008: 63-74 [doi]

Security analysis of cryptographically controlled access to XML documentsMartín Abadi, Bogdan Warinschi. JACM, 55(2), 2008. [doi]

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

Automated verification of selected equivalences for security protocolsBruno Blanchet, Martín Abadi, Cédric Fournet. jlp, 75(1):3-51, 2008. [doi]

A Modal Deconstruction of Access Control LogicsDeepak Garg, Martín Abadi. fossacs 2008: 216-230 [doi]

Code-Carrying AuthorizationSergio Maffeis, Martín Abadi, Cédric Fournet, Andrew D. Gordon. esorics 2008: 563-579 [doi]

2007

2006

Guessing Attacks and the Computational Soundness of Static EquivalenceMartín Abadi, Mathieu Baudet, Bogdan Warinschi. fossacs 2006: 398-412 [doi]

Computational Secrecy by Typing for the Pi CalculusMartín Abadi, Ricardo Corin, Cédric Fournet. aplas 2006: 253-269 [doi]

Access control in a core calculus of dependencyMartín Abadi. ICFP 2006: 263-273 [doi]

Types for safe locking: Static race detection for JavaMartín Abadi, Cormac Flanagan, Stephen N. Freund. TOPLAS, 28(2):207-255, 2006. [doi]

Deciding knowledge in security protocols under equational theoriesMartín Abadi, Véronique Cortier. TCS, 367(1-2):2-32, 2006. [doi]

Architectural support for software-based protectionMihai Budiu, Úlfar Erlingsson, Martín Abadi. asplos 2006: 42-51 [doi]

Secrecy by Typing and File-Access ControlAvik Chaudhuri, Martín Abadi. csfw 2006: 112-123 [doi]

Formal Analysis of Dynamic, Distributed File-System Access ControlsAvik Chaudhuri, Martín Abadi. forte 2006: 99-114 [doi]

XFI: Software Guards for System Address SpacesÚlfar Erlingsson, Martín Abadi, Michael Vrable, Mihai Budiu, George C. Necula. osdi 2006: 75-88 [doi]

2005

CONCUR 2005 - Concurrency Theory, 16th International Conference, CONCUR 2005, San Francisco, CA, USA, August 23-26, 2005, ProceedingsMartín Abadi, Luca de Alfaro, editors, Volume 3653 of Lecture Notes in Computer Science, Springer, 2005.

Moderately hard, memory-bound functionsMartín Abadi, Michael Burrows, Mark S. Manasse, Ted Wobber. ACM Trans. Internet Techn., 5(2):299-327, 2005. [doi]

Access Control in a World of Software DiversityMartín Abadi, Andrew Birrell, Ted Wobber. hotos 2005: [doi]

Deciding Knowledge in Security Protocols under (Many More) Equational TheoriesMartín Abadi, Véronique Cortier. csfw 2005: 62-76 [doi]

Computer-assisted verification of a protocol for certified emailMartín Abadi, Bruno Blanchet. SCP, 58(1-2):3-27, 2005. [doi]

Analyzing security protocols with secrecy types and logic programsMartín Abadi, Bruno Blanchet. JACM, 52(1):102-146, 2005. [doi]

Security analysis of cryptographically controlled access to XML documentsMartín Abadi, Bogdan Warinschi. pods 2005: 108-117 [doi]

Language-Based Security Martín Abadi, Greg Morrisett, Andrei Sabelfeld. JFP, 15(2):129, 2005. [doi]

Password-Based Encryption AnalyzedMartín Abadi, Bogdan Warinschi. icalp 2005: 664-676 [doi]

Control-flow integrityMartín Abadi, Mihai Budiu, Úlfar Erlingsson, Jay Ligatti. ccs 2005: 340-353 [doi]

A Theory of Secure Control FlowMartín Abadi, Mihai Budiu, Úlfar Erlingsson, Jay Ligatti. icfem 2005: 111-124 [doi]

Automated Verification of Selected Equivalences for Security ProtocolsBruno Blanchet, Martín Abadi, Cédric Fournet. lics 2005: 331-340 [doi]

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

Proceedings of the 32nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2005, Long Beach, California, USA, January 12-14, 2005Jens Palsberg, Martín Abadi, editors, ACM, 2005.

2004

Just Fast Keying in the Pi CalculusMartín Abadi, Bruno Blanchet, Cédric Fournet. ESOP 2004: 340-354 [doi]

Trusted Computing, Trusted Third Parties, and Verified CommunicationsMartín Abadi. sec 2004: 291-308

Choice in Dynamic LinkingMartín Abadi, Georges Gonthier, Benjamin Werner. fossacs 2004: 12-26 [doi]

A Logical Account of NGSCBMartín Abadi, Ted Wobber. forte 2004: 1-12 [doi]

Private authenticationMartín Abadi, Cédric Fournet. TCS, 322(3):427-476, 2004. [doi]

Deciding Knowledge in Security Protocols Under Equational TheoriesMartín Abadi, Véronique Cortier. icalp 2004: 46-58 [doi]

Language-Based Enforcement of Privacy PoliciesKatia Hayati, Martín Abadi. pet 2005: 302-313 [doi]

BCiC: A System for Code Authentication and VerificationNathan Whitehead, Martín Abadi. lpar 2005: 110-124 [doi]

By Reason and Authority: A System for Authorization of Proof-Carrying CodeNathan Whitehead, Martín Abadi, George C. Necula. csfw 2004: 236-250 [doi]

2003

Moderately Hard, Memory-Bound FunctionsMartín Abadi, Michael Burrows, Ted Wobber. ndss 2003: [doi]

Bankable Postage for Network ServicesMartín Abadi, Andrew Birrell, Michael Burrows, Frank Dabek, Ted Wobber. asian 2003: 72-90 [doi]

Secrecy types for asymmetric communicationMartín Abadi, Bruno Blanchet. TCS, 3(298):387-415, 2003. [doi]

Logic in Access ControlMartín Abadi. lics 2003: 228 [doi]

Computer-Assisted Verification of a Protocol for Certified EmailMartín Abadi, Bruno Blanchet. SAS 2003: 316-335 [doi]

Access Control Based on Execution HistoryMartín Abadi, Cédric Fournet. ndss 2003: [doi]

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

Built-in Object SecurityMartín Abadi. ECOOP 2003: 1 [doi]

Reasoning About Secrecy for Active NetworksPankaj Kakkar, Carl A. Gunter, Martín Abadi. jcs, 11(2):245-287, 2003.

2002

2001

2000

1999

Secure Communications Processing for Distributed LanguagesMartín Abadi, Cédric Fournet, Georges Gonthier. sp 1999: 74-88 [doi]

A Top-Down Look at a Secure MessageMartín Abadi, Cédric Fournet, Georges Gonthier. fsttcs 1999: 122-141 [doi]

A Core Calculus of DependencyMartín Abadi, Anindya Banerjee, Nevin Heintze, Jon G. Riecke. POPL 1999: 147-160 [doi]

Secrecy in Programming-Language SemanticsMartín Abadi. ENTCS, 20, 1999. [doi]

Protection in Programming-Language TranslationsMartín Abadi. ECOOPW 1999: 19-34

Security Protocols and SpecificationsMartín Abadi. fossacs 1999: 1-13

A Calculus for Cryptographic Protocols: The spi CalculusMartín Abadi, Andrew D. Gordon. iandc, 148(1):1-70, 1999.

Types for Safe LockingCormac Flanagan, Martín Abadi. ESOP 1999: 91-108 [doi]

Object Types against RacesCormac Flanagan, Martín Abadi. concur 1999: 288-303 [doi]

A Type System for Java Bytecode SubroutinesRaymie Stata, Martín Abadi. TOPLAS, 21(1):90-137, 1999. [doi]

Secure Network ObjectsLeendert van Doorn, Martín Abadi, Michael Burrows, Edward Wobber. ECOOPW 1999: 395-412

1998

PreviousNext