Publications

In this work, we introduce mask compression. This conceptually simple technique is based on standard, non-masked symmetric cryptography.

The Signal protocol is a secure instant messaging protocol that underlies the security of numerous applications such as WhatsApp, Skype, Facebook Messenger among many others.

In this work, we provide a simple and novel attack on blind signatures based on identification protocols performing parallel repetition to reduce the soundness error.

Yesterday NIST published their finalized post-quantum cryptography (PQC) standards. This paper discusses the standards in more detail and what comes next.

Converting CryptoVerif models to EasyCrypt: getting the best of both worlds.

T-out-of-N threshold signatures have recently seen a renewed interest, with various types now available, each offering different tradeoffs. However, one property that has remained elusive is adaptive security.

We propose a new framework based on random submersions for constructing verifiable short secret sharing and showcase it to construct efficient threshold lattice-based signatures in the hash-and-sign paradigm, when based on noise flooding.

In this work, we construct the first efficient two-round lattice-based threshold signature without relying on FHE or HTDC.

In this paper, we construct the first provably-secure isogeny-based (partially) blind signature scheme. (journal version)

This whitepaper summarises the current state of the PQC standards and the governmental regulations. It especially highlights the US Commercial National Security Algorithm Suite (CNSA) 2.0 which mandates software/firmware1 signing to use quantum-safe signatures as the default option by 2025, and as the only option by 2030.

Using computer-assisted proof tools to ensure security and correctness of Kyber and NIST-standard ML-KEM.

Protecting the Military against the Quantum Threat to Today’s Cryptography.