| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Martín Abadi, Andrew Birrell, Tim Harris, Michael Isard |
Semantics of transactional memory and automatic mutual exclusion.  |
ACM Trans. Program. Lang. Syst.  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | John P. John, Fang Yu, Yinglian Xie, Arvind Krishnamurthy, Martín Abadi |
Heat-seeking honeypots: design and experience. |
WWW |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | John P. John, Fang Yu, Yinglian Xie, Arvind Krishnamurthy, Martín Abadi |
deSEO: Combating Search-Result Poisoning. |
USENIX Security Symposium |
2011 |
DBLP BibTeX RDF |
|
| 1 | Tim Harris, Martín Abadi, Rebecca Isaacs, Ross McIlroy |
AC: composable asynchronous IO for native languages. |
OOPSLA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Mathieu Baudet, Bogdan Warinschi, Martín Abadi |
Guessing attacks and the computational soundness of static equivalence. |
Journal of Computer Security |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Martín Abadi, Tim Harris, Katherine F. Moore |
A model of dynamic separation for transactional memory. |
Inf. Comput. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Martín Abadi, Gordon D. Plotkin |
A Model of Cooperative Threads |
Logical Methods in Computer Science |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Andreas 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Martín Abadi, Gordon D. Plotkin |
On Protection by Layout Randomization. |
CSF |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | John P. John, Fang Yu, Yinglian Xie, Martín Abadi, Arvind Krishnamurthy |
Searching the Searchers with SearchAudit. |
USENIX Security Symposium |
2010 |
DBLP BibTeX RDF |
|
| 1 | Martín Abadi |
The Fine Print of Security. |
LICS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Martín Abadi, Mihai Budiu, Úlfar Erlingsson, Jay Ligatti |
Control-flow integrity principles, implementations, and applications. |
ACM Trans. Inf. Syst. Secur. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Martín Abadi, Tim Harris |
Perspectives on Transactional Memory. |
CONCUR |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Wenchao Zhou, Yun Mao, Boon Thau Loo, Martín Abadi |
Unified Declarative Platform for Secure Netwoked Information Systems. |
ICDE |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Martín Abadi, Gordon D. Plotkin |
A model of cooperative threads. |
POPL |
2009 |
DBLP DOI BibTeX RDF |
transaction, operational semantics, monad, denotational semantics |
| 1 | Martín Abadi |
Logic in Access Control (Tutorial Notes). |
FOSAD |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Yinglian Xie, Fang Yu, Martín Abadi |
De-anonymizing the internet using unreliable IDs. |
SIGCOMM |
2009 |
DBLP DOI BibTeX RDF |
attack forensics, accountability, botnet, blacklist |
| 1 | Martín Abadi, Andrew Birrell, Tim Harris, Johnson Hsieh, Michael Isard |
Implementation and Use of Transactional Memory with Dynamic Separation. |
CC |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Martín Abadi, Bruno Blanchet, Hubert Comon-Lundh |
Models and Proofs of Protocol Security: A Progress Report. |
CAV |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Martín Abadi, Tim Harris, Mojtaba Mehrara |
Transactional memory with strong atomicity using off-the-shelf memory protection hardware. |
PPOPP |
2009 |
DBLP DOI BibTeX RDF |
transactional memory, stm, memory protection, strong atomicity |
| 1 | Bruno Blanchet, Martín Abadi, Cédric Fournet |
Automated verification of selected equivalences for security protocols. |
J. Log. Algebr. Program. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Martín Abadi, Bogdan Warinschi |
Security analysis of cryptographically controlled access to XML documents. |
J. ACM |
2008 |
DBLP DOI BibTeX RDF |
XML, Access control, authorization, encryption |
| 1 | Martín Abadi, Tim Harris, Katherine F. Moore |
A Model of Dynamic Separation for Transactional Memory. |
CONCUR |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Martín Abadi |
Variations in Access Control Logic. |
DEON |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Martín Abadi, Andrew Birrell, Tim Harris, Michael Isard |
Semantics of transactional memory and automatic mutual exclusion. |
POPL |
2008 |
DBLP DOI BibTeX RDF |
STM, transactional memory, operational semantics |
| 1 | Martín Abadi |
Automatic Mutual Exclusion and Atomicity Checks. |
Concurrency, Graphs and Models |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Deepak Garg, Martín Abadi |
A Modal Deconstruction of Access Control Logics. |
FoSSaCS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Martín Abadi |
The good, the bad, and the provable. |
ACM Conference on Computer and Communications Security |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Sergio Maffeis, Martín Abadi, Cédric Fournet, Andrew D. Gordon |
Code-Carrying Authorization. |
ESORICS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Martín Abadi |
Access Control in a Core Calculus of Dependency. |
Electr. Notes Theor. Comput. Sci. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Martín Abadi, Jens Palsberg |
Editorial. |
ACM Trans. Program. Lang. Syst. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Martín Abadi, Phillip Rogaway |
Reconciling Two Views of Cryptography (The Computational Soundness of Formal Encryption). |
J. Cryptology |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Martín Abadi, Bruno Blanchet, Cédric Fournet |
Just fast keying in the pi calculus. |
ACM Trans. Inf. Syst. Secur. |
2007 |
DBLP DOI BibTeX RDF |
IP security, key exchange, process calculus |
| 1 | Nathan Whitehead, Jordan Johnson, Martín Abadi |
Policies and Proofs for Code Auditing. |
ATVA |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Martín Abadi |
Security Protocols: Principles and Calculi. |
FOSAD |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Ted Wobber, Aydan R. Yumerefendi, Martín Abadi, Andrew Birrell, Daniel R. Simon |
Authorizing applications in singularity. |
EuroSys |
2007 |
DBLP DOI BibTeX RDF |
application identity, access control, pattern matching, regular expressions, delegation, capabilities, channels |
| 1 | Martín Abadi, Véronique Cortier |
Deciding knowledge in security protocols under equational theories. |
Theor. Comput. Sci. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Martín Abadi, Cormac Flanagan, Stephen N. Freund |
Types for safe locking: Static race detection for Java. |
ACM Trans. Program. Lang. Syst. |
2006 |
DBLP DOI BibTeX RDF |
type system, Concurrent programs, type inference, race conditions |
| 1 | Avik Chaudhuri, Martín Abadi |
Formal Analysis of Dynamic, Distributed File-System Access Controls. |
FORTE |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Úlfar Erlingsson, Martín Abadi, Michael Vrable, Mihai Budiu, George C. Necula |
XFI: Software Guards for System Address Spaces. |
OSDI |
2006 |
DBLP BibTeX RDF |
|
| 1 | Mihai Budiu, Úlfar Erlingsson, Martín Abadi |
Architectural support for software-based protection. |
ASID |
2006 |
DBLP DOI BibTeX RDF |
control-flow integrity, software fault isolation, security, control-flow graph, hardware support, memory protection, binary rewriting |
| 1 | Avik Chaudhuri, Martín Abadi |
Secrecy by Typing and File-Access Control. |
CSFW |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Martín Abadi |
Access control in a core calculus of dependency. |
ICFP |
2006 |
DBLP DOI BibTeX RDF |
authorization, types |
| 1 | Martín Abadi, Ricardo Corin, Cédric Fournet |
Computational Secrecy by Typing for the Pi Calculus. |
APLAS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Martín Abadi, Mathieu Baudet, Bogdan Warinschi |
Guessing Attacks and the Computational Soundness of Static Equivalence. |
FoSSaCS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Martín Abadi, Bruno Blanchet |
Computer-assisted verification of a protocol for certified email. |
Sci. Comput. Program. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Martín Abadi, Michael Burrows, Mark S. Manasse, Ted Wobber |
Moderately hard, memory-bound functions. |
ACM Trans. Internet Techn. |
2005 |
DBLP DOI BibTeX RDF |
Spam |
| 1 | Martín Abadi, Bruno Blanchet |
Analyzing security protocols with secrecy types and logic programs. |
J. ACM |
2005 |
DBLP DOI BibTeX RDF |
secrecy properties, logic programming, Cryptographic protocols, typing, process calculi |
| 1 | Martín Abadi, Greg Morrisett, Andrei Sabelfeld |
"Language-Based Security". |
J. Funct. Program. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Martín Abadi, Luca de Alfaro (eds.) |
CONCUR 2005 - Concurrency Theory, 16th International Conference, CONCUR 2005, San Francisco, CA, USA, August 23-26, 2005, Proceedings |
CONCUR |
2005 |
DBLP BibTeX RDF |
|
| 1 | Martín Abadi, Mihai Budiu, Úlfar Erlingsson, Jay Ligatti |
A Theory of Secure Control Flow. |
ICFEM |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Martín Abadi, Bogdan Warinschi |
Password-Based Encryption Analyzed. |
ICALP |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Jens Palsberg, Martín Abadi (eds.) |
Proceedings of the 32nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2005, Long Beach, California, USA, January 12-14, 2005 |
POPL |
2005 |
DBLP BibTeX RDF |
|
| 1 | Martín Abadi, Andrew Birrell, Ted Wobber |
Access Control in a World of Software Diversity. |
HotOS |
2005 |
DBLP BibTeX RDF |
|
| 1 | Martín Abadi, Véronique Cortier |
Deciding Knowledge in Security Protocols under (Many More) Equational Theories. |
CSFW |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Bruno Blanchet, Martín Abadi, Cédric Fournet |
Automated Verification of Selected Equivalences for Security Protocols. |
LICS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Martín Abadi, Bogdan Warinschi |
Security analysis of cryptographically controlled access to XML documents. |
PODS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Avik Chaudhuri, Martín Abadi |
Formal security analysis of basic network-attached storage. |
FMSE |
2005 |
DBLP DOI BibTeX RDF |
full abstraction, secure storage, applied pi calculus |
| 1 | Martín Abadi, Mihai Budiu, Úlfar Erlingsson, Jay Ligatti |
Control-flow integrity. |
ACM Conference on Computer and Communications Security |
2005 |
DBLP DOI BibTeX RDF |
vulnerabilities, control-flow graph, binary rewriting, inlined reference monitors |
| 1 | Martín Abadi, Cédric Fournet |
Private authentication. |
Theor. Comput. Sci. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Martín Abadi, Ted Wobber |
A Logical Account of NGSCB. |
FORTE |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Martín Abadi |
Trusted Computing, Trusted Third Parties, and Verified Communications. |
SEC |
2004 |
DBLP BibTeX RDF |
|
| 1 | Nathan Whitehead, Martín Abadi |
BCiC: A System for Code Authentication and Verification. |
LPAR |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Martín Abadi, Véronique Cortier |
Deciding Knowledge in Security Protocols Under Equational Theories. |
ICALP |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Nathan Whitehead, Martín Abadi, George C. Necula |
By Reason and Authority: A System for Authorization of Proof-Carrying Code. |
CSFW |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Martín Abadi, Georges Gonthier, Benjamin Werner |
Choice in Dynamic Linking. |
FoSSaCS |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Martín Abadi, Bruno Blanchet, Cédric Fournet |
Just Fast Keying in the Pi Calculus. |
ESOP |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Katia Hayati, Martín Abadi |
Language-Based Enforcement of Privacy Policies. |
Privacy Enhancing Technologies |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Pankaj Kakkar, Carl A. Gunter, Martín Abadi |
Reasoning About Secrecy for Active Networks. |
Journal of Computer Security |
2003 |
DBLP BibTeX RDF |
|
| 1 | Martín Abadi, Bruno Blanchet |
Secrecy types for asymmetric communication. |
Theor. Comput. Sci. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Martín Abadi, Andrew Birrell, Michael Burrows, Frank Dabek, Ted Wobber |
Bankable Postage for Network Services. |
ASIAN |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Martín Abadi, K. Rustan M. Leino |
A Logic of Object-Oriented Programs. |
Verification: Theory and Practice |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Martín Abadi |
Logic in Access Control. |
LICS |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Martín Abadi, Bruno Blanchet |
Computer-Assisted Verification of a Protocol for Certified Email. |
SAS |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Martín Abadi |
Built-in Object Security. |
ECOOP |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Martín Abadi, Cédric Fournet |
Access Control Based on Execution History. |
NDSS |
2003 |
DBLP BibTeX RDF |
|
| 1 | Martín Abadi, Michael Burrows, Ted Wobber |
Moderately Hard, Memory-Bound Functions. |
NDSS |
2003 |
DBLP BibTeX RDF |
|
| 1 | Martín Abadi, Cédric Fournet, Georges Gonthier |
Secure Implementation of Channel Abstractions. |
Inf. Comput. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Martín Abadi, Phillip Rogaway |
Reconciling Two Views of Cryptography (The Computational Soundness of Formal Encryption). |
J. Cryptology |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Martín Abadi, Leonid Libkin, Frank Pfenning |
Editorial. |
ACM Trans. Comput. Log. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Martín Abadi, Bruno Blanchet |
Analyzing security protocols with secrecy types and logic programs. |
POPL |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Martín Abadi, Neal Glew |
Certified email with a light on-line trusted third party: design and implementation. |
WWW |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Cédric Fournet, Martín Abadi |
Hiding Names: Private Authentication in the Applied Pi Calculus. |
ISSS |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Martín Abadi |
Private Authentication. |
Privacy Enhancing Technologies |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Martín Abadi, Jan Jürjens |
Formal Eavesdropping and Its Computational Interpretation. |
TACS |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Martín Abadi, Cédric Fournet |
Mobile values, new names, and secure communication. |
POPL |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Marcelo P. Fiore, Martín Abadi |
Computing Symbolic Models for Verifying Cryptographic Protocols. |
CSFW |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Martín Abadi |
Leslie Lamport's properties and actions. |
PODC |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Martín Abadi, Bruno Blanchet |
Secrecy Types for Asymmetric Communication. |
FoSSaCS |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Martín Abadi |
top-top-closed relations and admissibility. |
Mathematical Structures in Computer Science |
2000 |
DBLP BibTeX RDF |
|
| 1 | Martín Abadi, Cédric Fournet, Georges Gonthier |
Authentication Primitives and Their Compilation. |
POPL |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Martín Abadi, Phillip Rogaway |
Reconciling Two Views of Cryptography (The Computational Soundness of Formal Encryption). |
IFIP TCS |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Pankaj Kakkar, Carl A. Gunter, Martín Abadi |
Reasoning about Secrecy for Active Networks. (PDF / PS) |
CSFW |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Martín Abadi |
Taming the Adversary. |
CRYPTO |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Martín Abadi, Andrew D. Gordon |
A Calculus for Cryptographic Protocols: The spi Calculus. |
Inf. Comput. |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Martín Abadi |
Secrecy in Programming-Language Semantics. |
Electr. Notes Theor. Comput. Sci. |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Raymie Stata, Martín Abadi |
A Type System for Java Bytecode Subroutines. |
ACM Trans. Program. Lang. Syst. |
1999 |
DBLP DOI BibTeX RDF |
Java, Java, bytecode verification |
| 1 | Cormac Flanagan, Martín Abadi |
Object Types against Races. |
CONCUR |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Martín Abadi, Cédric Fournet, Georges Gonthier |
Secure Communications Processing for Distributed Languages. (PDF / PS) |
IEEE Symposium on Security and Privacy |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Leendert van Doorn, Martín Abadi, Michael Burrows, Edward Wobber |
Secure Network Objects. |
Secure Internet Programming |
1999 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")