Publications

0

Peer-Reviewed
Papers

0

Further NIST PQC
Submissions

0

NIST PQC Standards
Co-Authored

0

Patents in
Process

0

Mature Products
Developed

0

Best Paper
Awards

SPOTLIGHT PUBLICATION | 14/08/2024

New Whitepaper: “The new NIST standards are here: what does it mean for PQC in 2024?”

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

Formally verifying Kyber Episode V: Machine-checked IND-CCA security and correctness of ML-KEM in EasyCrypt

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

Post-Quantum Cryptography for Defence and Governmental Applications: Overview and Use Cases

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

Filter by:

Post-Quantum Ciphertext Compression and Applications to Secure Group Messaging

A standard method to establish secure communications between two or more parties is to encrypt a common session key via a key encapsulation mechanism (or KEM).

Secure Update Propagation via Set-Homomorphic Signatures

In this document, we propose to use homomorphic signatures to maintain a consistent database across all nodes of distributed network.

Pyjamask: Block Cipher and Authenticated Encryption with Highly Efficient Masked Implementation

This paper introduces Pyjamask, a new block cipher family and authenticated encryption proposal submitted to the NIST lightweight cryptography standardization process.

Integral Matrix Gram Root and Lattice Gaussian Sampling Without Floats

In this paper, we give techniques to implement Gaussian sampling over general lattices without using FPA. To this end, we revisit the approach of Peikert, using perturbation sampling.

Lossy CSI-FiSh: Efficient Signature Scheme with Tight Reduction to Decisional CSIDH-512

In this paper, we propose an FS-style signature scheme, called Lossy CSI-FiSh, constructed using the CSIDH-512 parameters and with a security proof.

Isochronous Gaussian Sampling: From Inception to Implementation

We present a framework for Gaussian sampling that is extremely simple, and it is precisely this simplicity that allowed us to make it easy to implement, provably secure, portable, efficient, and provably resistant against timing attacks.

Unifying Leakage Models on a Rényi Day

In this work, we provide new strategies to prove the security of masked implementations.

Exploiting Determinism in Lattice-based Signatures: Practical Fault Attacks on pqm4 Implementations of NIST Candidates

In this paper, we analyze the implementation level fault vulnerabilities of deterministic lattice-based signature schemes.

BEARZ Attack FALCON: Implementation Attacks with Countermeasures on the FALCON Signature Scheme

This research proposes the first fault attack analysis of FALCON and finds its lattice trapdoor sampler is as vulnerable to fault attacks as the GPV sampler used in alternative signature schemes.

Round5: Compact and Fast Post-quantum Public-Key Encryption

We present the ring-based configuration of the NIST submission Round5, a Ring Learning with Rounding (RLWR)- based IND-CPA secure public-key encryption scheme.

More Efficient Algorithms for the NTRU Key Generation Using the Field Norm

This work shows how to speed up key generation for NTRU-based algorithms by 100x.

Anonymous Reputation Systems Achieving Full Dynamicity from Lattices

In this work, we revisit the Anonymous Reputation Systems presented by Blömer et al. in (FC’15).