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:


          Institute: MPI für Informatik     Collection: Static Analysis Group     Display Documents


Institute:
Collection:
Print in Citation style Print version     Display:
Sort by: Display records with Fulltext only
Entries: 1-10  
 Basket 
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
Reconstruction of Attacks against Cryptographic Protocols
Authors: Allamigeon, Xavier; Blanchet, Bruno
Place of Publication: Los Alamitos, USA
Publisher: IEEE
Date of Publication (YYYY-MM-DD): 2005
Title of Proceedings: 18th IEEE Computer Security Foundations Workshop (CSFW-18)
Start Page: 140
End Page: 154
Document Type: Conference-Paper
ID: 520665.0
Verification of Cryptographic Protocols: Tagging Enforces Termination
Authors: Blanchet, Bruno; Podelski, Andreas
Date of Publication (YYYY-MM-DD): 2005
Title of Journal: Theoretical Computer Science
Volume: 333
Issue / Number: 1-2
Start Page: 67
End Page: 90
Document Type: Article
ID: 520663.0
Automatic Proof of Strong Secrecy for Security Protocols
Authors: Blanchet, Bruno
Place of Publication: Stuhlsatzenhausweg 85, 66123 Saarbrücken, Germany
Publisher: NWG 1 - Blanchet
Date of Publication (YYYY-MM-DD): 2004
Document Type: Report
ID: 520667.0
Automatic Proof of Strong Secrecy for Security Protocols
Authors: Blanchet, Bruno
Place of Publication: Piscataway, USA
Publisher: IEEE
Date of Publication (YYYY-MM-DD): 2004
Title of Proceedings: 2004 IEEE Symposium on Security and Privacy
Start Page: 86
End Page: 100
Document Type: Conference-Paper
ID: 520661.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
A Calculus for Secure Mobility
Authors: Blanchet, Bruno; Aziz, Benjamin
Place of Publication: Berlin, Germany
Publisher: Springer
Date of Publication (YYYY-MM-DD): 2003
Title of Proceedings: Advances in computing science, ASIAN 2003 : programming languages and distributed computation ; 8th Asian Computing Science Conference (ASIAN'03)
Start Page: 188
End Page: 204
Title of Series: Lecture Notes in Computer Science
Document Type: Conference-Paper
ID: 520659.0
A Static Analyzer for Large Safety-Critical Software
Authors: Blanchet, Bruno; Cousot, Patrick; Cousot, Radhia; Feret, Jérôme; Mauborgne, Laurent; Miné, Antoine; Monniaux, David; Rival, Xavier
Place of Publication: New York, USA
Publisher: ACM
Date of Publication (YYYY-MM-DD): 2003
Title of Proceedings: Proceedings of the ACM SIGPLAN 2003 Conference on Programming Language Design and Implementation (PLDI-03)
Start Page: 196
End Page: 207
Document Type: Conference-Paper
ID: 520656.0
Entries: 1-10  
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.