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:

Video 7 – Is it time to stop talking about PQC?

In this clip, Ben and Ali discuss the terminology of ‘post-quantum’. Is it still relevant? Is it misleading?

Video 8 – PQC in silicon

In this clip, Ben and Ali talk about PQShield’s silicon implementation of PQC – showing that we haven’t just designed PQC solutions, we’ve actually built our hardware IP onto a physical chip!

Video 9 – Standardization – what’s next?

In this video, Ben and Ali discuss NIST’s timeline, including FALCON, Round 4 KEMs, the necessary mix of lattice, code-based and hash algorithms, as well as the ongoing effort to select digital signatures.

HPKA: A High-Performance CRYSTALS-Kyber Accelerator Exploring Efficient Pipelining

This work explores several architectural optimizations and proposes a high-performance and area-time (AT) product efficient hardware accelerator for Kyber.

Masking the GLP Lattice-Based Signature Scheme at Any Order

In this paper, we describe the first masked implementation of a lattice-based signature scheme.

Anonymous Reputation Systems with Revocation, Revisited

In this work, we revisit ARS. Our contributions are threefolds: First, we show that all previous definitions of ARS allow the users’ purchase history to leak.

Compact NIZKs from Standard Assumptions on Bilinear Maps

The main focus of this work is on exploring short pairing-based NIZKs for all NP languages based on standard assumptions.

Plover: Masking-Friendly Hash-and-Sign Lattice Signatures

We introduce a toolkit for transforming lattice-based hash-and-sign signature schemes into masking-friendly signatures secure in the t-probing mod

Threshold Raccoon: Practical Threshold Signatures from Standard Lattice Assumptions

Threshold signatures improve both availability and security of digital signatures by splitting the signing key into N shares handed out to different parties.

Raccoon: A Masking-Friendly Signature Proven in the Probing Model

This paper presents Raccoon, a lattice-based signature scheme submitted to the NIST 2022 call for additional post-quantum signatures.

How Multi-Recipient KEMs can help the Deployment of Post-Quantum Cryptography

The main purpose of this work is to raise awareness about a primitive that can provide large efficiency gains in post-quantum cryptography: multi-recipient KEMs, ormKEMs.

Optimizations and Practicality of High-Security CSIDH

In this work, we assess the real-world practicality of CSIDH, an isogeny-based non-interactive key exchange.