Add to ORKGWe consider machine-aided verification of suitably constructed abstractions of security protocols, such that the verified properties are valid for the concrete implementation of the protocol with respect to cryptographic definitions
We present a large class of security protocol abstractions with the aim of improving the scope and e...
We propose a class of protocol transformations, which can be used to (1) develop (families of) secur...
Security protocols are a core part of distributed computing systems, and are part of our everyday li...
We consider machine-aided verification of suitably constructed abstractions of security protocols, ...
In this thesis, we show how formal methods can be used for the cryptographically sound verification ...
We consider abstract specifications of cryptographic protocols which are both suitable for formal v...
We present a technique for cryptographic protocol verification, based on an intermediate representat...
We use two authentication primitives proposed recently as a linguistic support for enforcing authent...
We advocate here the use of two authentication primitives we recently propose in a calculus for dist...
This paper presents a novel approach for concisely abstracting authentication protocols and for subs...
We use two authentication primitives proposed recently as a linguistic support for enforcing auth...
Security protocols are one of the imperative steps in creating and ensuring the secure communication...
Security protocols are critical components for the construction of secure Internet services but thei...
Digital communication is secured by applying cryptographic functions, most notably encryption using ...
We present a large class of security protocol abstractions with the aim of improving the scope and e...
We present a large class of security protocol abstractions with the aim of improving the scope and e...
We propose a class of protocol transformations, which can be used to (1) develop (families of) secur...
Security protocols are a core part of distributed computing systems, and are part of our everyday li...
We consider machine-aided verification of suitably constructed abstractions of security protocols, ...
In this thesis, we show how formal methods can be used for the cryptographically sound verification ...
We consider abstract specifications of cryptographic protocols which are both suitable for formal v...
We present a technique for cryptographic protocol verification, based on an intermediate representat...
We use two authentication primitives proposed recently as a linguistic support for enforcing authent...
We advocate here the use of two authentication primitives we recently propose in a calculus for dist...
This paper presents a novel approach for concisely abstracting authentication protocols and for subs...
We use two authentication primitives proposed recently as a linguistic support for enforcing auth...
Security protocols are one of the imperative steps in creating and ensuring the secure communication...
Security protocols are critical components for the construction of secure Internet services but thei...
Digital communication is secured by applying cryptographic functions, most notably encryption using ...
We present a large class of security protocol abstractions with the aim of improving the scope and e...
We present a large class of security protocol abstractions with the aim of improving the scope and e...
We propose a class of protocol transformations, which can be used to (1) develop (families of) secur...
Security protocols are a core part of distributed computing systems, and are part of our everyday li...