Research Papers

In this work, we present two round-optimal blind signatures under standard assumptions in the ROM with different approaches: one achieves the smallest sum of the signature and communication sizes, while the other achieves the smallest signature size.

In this paper, we introduce a novel trapdoor generation technique for Prest's hybrid sampler over NTRU lattices.

In this paper, we show that Peregrine, one of the candidates in the ongoing Korean post-quantum cryptography competition, is no exception, by demonstrating a practical key recovery attack against it.

We present distributed key generation and decryption protocols for an additively homomorphic cryptosystem based on class groups, improving on a similar system proposed by Braun, Damgård, and Orlandi at CRYPTO '23.

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.

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.

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