• Publications
  • Influence
Optimistic fair exchange of digital signatures
We present a new protocol that allows two players to exchange digital signatures over the Internet in a fair way, so that either each player gets the other's signature, or neither player does. TheExpand
Diffie-Hellman key distribution extended to group communication
This paper considers a class of protocols that are natural extensions of DiffieHellman to the n-party case and argues that these protocols are optimal with respect to certain aspects of protocol complexity. Expand
Asynchronous protocols for optimistic fair exchange
A set of optimistic fair exchange protocols which tolerate temporary failures in the communication channels to the third party, and a central feature of the protocols is that either player can asynchronously and unilaterally bring a protocol run to completion. Expand
A model for asynchronous reactive systems and its application to secure message transmission
We present a rigorous model for secure reactive systems in asynchronous networks with a sound cryptographic semantics, supporting abstract specifications and the composition of secure systems. ThisExpand
Key Agreement in Dynamic Peer Groups
This paper discusses all group key agreement operations and presents a concrete protocol suite, CLIQUES, which offers complete key agreement services and is based on multiparty extensions of the well-known Diffie-Hellman key exchange method. Expand
Optimistic protocols for fair exchange
A generic protocol for fair exchange of electronic goods with non-repudiation that does not involve a third party in the exchange in the fault-less case but only for recovery. Expand
Security and privacy challenges in industrial Internet of Things
This paper gives an introduction to industrial IoT systems, the related security and privacy challenges, and an outlook on possible solutions towards a holistic security framework for Industrial IoT systems. Expand
CLIQUES: a new approach to group key agreement
A protocol suite, called CLIQUES, is developed by extending the well known Diffie-Hellman key agreement method to support dynamic group operations to solve the problem of key agreement in a group setting with highly dynamic group member population. Expand
Refinement and extension of encrypted key exchange
This paper discusses a possible weakness in the proposed protocol, develops some enhancements and simplifications, and provides a security analysis of the resultant minimal EKE protocol, which yields a protocol with some interesting properties. Expand
The State of the Art in Electronic Payment Systems
An overview of electronic payment systems is provided, focusing on issues related to security, which can actually provide better security than traditional means of payments, in addition to flexibility. Expand