Please note that eDoc will be permanently shut down in the first quarter of 2021!      Home News About Us Contact Contributors Disclaimer Privacy Policy Help FAQ

Home
Search
Quick Search
Advanced
Fulltext
Browse
Collections
Persons
My eDoc
Session History
Login
Name:
Password:
Documentation
Help
Support Wiki
Direct access to
document ID:


          Display Documents


Institute:
Collection:
Print in Citation style Print version     Display:
Sort by: Display records with Fulltext only
Entries: 1-8  
 Basket 
Transition predicate abstraction and fair termination
Editors: Palsberg, Jens; Abadi, Martín
Authors: Podelski, Andreas; Rybalchenko, Andrey
Place of Publication: New York, USA
Publisher: ACM
Date of Publication (YYYY-MM-DD): 2005
Title of Proceedings: Proceedings of the 32nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2005
Start Page: 124
End Page: 139
Document Type: Conference-Paper
ID: 279118.0
Analyzing Security Protocols with Secrecy Types and Logic Programs
Authors: Abadi, Martín; Blanchet, Bruno
Date of Publication (YYYY-MM-DD): 2005
Title of Journal: Journal of the ACM
Volume: 52
Issue / Number: 1
Start Page: 102
End Page: 146
Document Type: Article
ID: 520662.0
Automated Verification of Selected Equivalences for Security Protocols
Authors: Blanchet, Bruno; Abadi, Martín; Fournet, Cédric
Place of Publication: Los Alamitos, USA
Publisher: IEEE
Date of Publication (YYYY-MM-DD): 2005
Title of Proceedings: 20th IEEE Symposium on Logic in Computer Science (LICS 2005)
Start Page: 331
End Page: 340
Document Type: Conference-Paper
ID: 520666.0
Computer-Assisted Verification of a Protocol for Certified Email
Authors: Abadi, Martín; Blanchet, Bruno
Date of Publication (YYYY-MM-DD): 2005
Title of Journal: Science of Computer Programming
Volume: 58
Issue / Number: 1-2
Start Page: 3
End Page: 27
Document Type: Article
ID: 520664.0
Just Fast {Keying} in the {Pi} Calculus
Authors: Abadi, Martín; Blanchet, Bruno; Fournet, Cédric
Place of Publication: Berlin, Germany
Publisher: Springer
Date of Publication (YYYY-MM-DD): 2004
Title of Proceedings: Programming Languages and Systems : 13th European Symposium on Programming (ESOP 2004)
Start Page: 340
End Page: 354
Title of Series: Lecture Notes in Computer Science
Document Type: Conference-Paper
ID: 520660.0
Computer-Assisted Verification of a Protocol for Certified Email
Authors: Abadi, Martín; Blanchet, Bruno
Place of Publication: Berlin, Germany
Publisher: Springer
Date of Publication (YYYY-MM-DD): 2003
Title of Proceedings: Static Analysis, 10th International Symposium, SAS'03
Start Page: 316
End Page: 335
Title of Series: Lecture Notes in Computer Science
Document Type: Conference-Paper
ID: 520655.0
Secrecy Types for Asymmetric Communication
Authors: Abadi, Martín; Blanchet, Bruno
Date of Publication (YYYY-MM-DD): 2003
Title of Journal: Theoretical Computer Science
Volume: 298
Issue / Number: 3
Start Page: 387
End Page: 415
Document Type: Article
ID: 520654.0
Analyzing Security Protocols with Secrecy Types and Logic Programs
Authors: Abadi, Martín; Blanchet, Bruno
Place of Publication: New York, USA
Publisher: ACM
Date of Publication (YYYY-MM-DD): 2002
Title of Proceedings: Conference Record of POPL 2002: The 29th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
Start Page: 33
End Page: 44
Document Type: Conference-Paper
ID: 520650.0
Entries: 1-8  
The scope and number of records on eDoc is subject to the collection policies defined by each institute - see "info" button in the collection browse view.