This paper surveys recent work on the design and analysis of key agreement protocols that
are based on the intractability of the Diffe-Hellman problem. The focus is on protocols that …

The Signal protocol is a cryptographic messaging protocol that provides end-to-end
encryption for instant messaging in WhatsApp, Wire, and Facebook Messenger among …

Abstract The Elliptic Curve Digital Signature Algorithm (ECDSA) is the elliptic curve
analogue of the Digital Signature Algorithm (DSA). It was accepted in 1999 as an ANSI …

The first edition of this book was published in 2003. Inevitably, certain parts of the book
became outdated quickly. At the same time new developments have continued apace …

We present the SIGMA family of key-exchange protocols and the “SIGn-and-MAc” approach
to authenticated Diffie-Hellman underlying its design. The SIGMA protocols provide perfect …

We present a general approach for the symbolic analysis of security protocols that use Diffie-
Hellman exponentiation to achieve advanced security properties. We model protocols as …

TLS was designed as a transparent channel abstraction to allow developers with no
cryptographic expertise to protect their application against attackers that may control some …

We present qTESLA, a post-quantum provably-secure digital signature scheme that exhibits
several attractive features such as simplicity, strong security guarantees against quantum …

The blockchain emerged as a novel distributed consensus scheme that allows transactions,
and any other data, to be securely stored and verified without the need of any centralized …

Many authentication schemes have been proposed for telecare medicine information
systems (TMIS) to ensure the privacy, integrity, and availability of patient records. These …