In this paper we present PQ-WireGuard, a post-quantum variant of the handshake in the
WireGuard VPN protocol (NDSS 2017). Unlike most previous work on post-quantum security …

We provide an extensive cryptographic analysis of Threema, a Swiss-based encrypted
messaging application with more than 10 million users and 7000 corporate customers. We …

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 …

Cryptographic communication protocols provide confidentiality, integrity and authentication
properties for end-to-end communication under strong corruption attacks, including, notably …

The Noise protocol framework defines a succinct notation and execution framework for a
large class of 59+ secure channel protocols, some of which are used in popular applications …

The Noise specification describes how to systematically construct a large family of Diffie-
Hellman based key exchange protocols, including the secure transports used by WhatsApp …

Abstract We introduce Corr GapCDH, the Gap C omputational D iffie-H ellman problem in
the multi-user setting with Corr uptions. In the random oracle model, our assumption tightly …

Anonymity is an (abstract) security goal that is especially important to threatened user
groups. Therefore, widely deployed communication protocols implement various measures …

The escalating demand for secure communication in the Internet of Things (IoT), particularly
in energy-sensitive devices such as smart meters, highlights a critical challenge: achieving …

Federated Learning is a form of privacy-preserving machine learning where multiple entities
train local models, which are then aggregated into a global model. Current forms of …