Dataset - CKAN

Modelling and analyzing security protocols in cryptographic process calculi

In his habilitation theses Steve Kremer presents some selected research results in the area of formal analysis of security protocols. His contributions include...

HTML

Relating two Standard Notions of Secrecy

Two styles of definitions are usually considered to express that a security protocol preserves the confidentiality of a data s. Reachability-based secrecy means that s...

HTML

Group Key Agreement in Ad hoc Networks

As the ubiquitous and pervasive computing paradigms gain popularity, Mobile Ad hoc NETworks (MANET) are receiving the increased attention of the research community....

HTML

Strategy for Verifying Security Protocols with Unbounded Message Size

We present a system for automatically verifying cryptographic protocols. This system, named Casrul, manages the knowledge of principals and checks if the protocol is...

HTML

Automated Unbounded Verification of Security Protocols

We present a new model for automated verification of security protocols, permitting the use of an unbounded number of protocol runs. We prove its correctness,...

HTML

Compiling and Verifying Security Protocols

We propose a direct and fully automated translation from standard security protocol descriptions to rewrite rules. This compilation defines non-ambiguous operational...

HTML

Performance evaluations of a BSP algorithm for state space construction of se...

International audience

HTML

Handling Algebraic Properties in Automatic Analysis of Security Protocols

This paper extends the approximation-based theoretical framework in which the security problem secrecy preservation against an intruder may be semi-decided through a...

HTML

Automatic Verification of Security Protocols Using Approximations

Security protocols are widely used in open modern networks to ensure safe communications. It is now recognized that formal analysis can provide the level of assurance...

HTML

Computationally Sound, Automated Proofs for Security Protocols

Since the 1980s, two approaches have been developed for analyzing security protocols. One of the approaches relies on a computational model that considers issues of...

HTML

A Simple Constraint-solving Decision Procedure for Protocols with Exclusive or

We present a procedure for deciding security of protocols employing the Exclusive or operator. This procedure relies on a direct combination of a constraint solver for...