As health data are very sensitive, there is a need to prevent and control the health data with
end-to-end security solutions. In general, a number of authentication and authorization …

Tight security is increasingly gaining importance in real-world cryptography, as it allows to
choose cryptographic parameters in a way that is supported by a security proof, without the …

We propose the first tight security proof for the ordinary two-message signed Diffie–Hellman
key exchange protocol in the random oracle model. Our proof is based on the strong …

We introduce PQNoise, a post-quantum variant of the Noise framework. We demonstrate
that it is possible to replace the Diffie-Hellman key-exchanges in Noise with KEMs in a …

Group time-based one-time passwords (GTOTP) is a novel lightweight cryptographic
primitive for achieving anonymous client authentication, which enables the efficient …

The Noise protocol framework is a suite of channel establishment protocols, of which each
individual protocol ensures various security properties of the transmitted messages, but …

Abstract Transport Layer Security (TLS) is the cryptographic backbone of secure
communication on the Internet. In its latest version 1.3, the standardization process has …

A Web application is one of the most used technology nowadays due to its flexibility in
delivering services to society. It also plays a good portion in enhancing our daily life since it …

Maintaining privacy on the Internet with the presence of powerful adversaries such as nation-
state attackers is a challenging topic, and the Tor project is currently the most important tool …

This chapter explains the elements of key exchange, specifically the steps in a key
exchange protocol, the parties that are involved and the messages which may be sent. It …