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 | 28/08/2025

Post-Quantum Prep Without the Panic: Don’t Delay Your Upgrade to TLS 1.3

What if quantum computing feels years away, but your migration to post-quantum cryptography needs to start today? In this episode of Shielded we welcome Kevin Hilscher, Senior Director of Product Management at DigiCert.

Designing for Breakage: What Cybersecurity Leaders Must Plan For

In this episode of Shielded, we welcome Yolanda Reid, former IBM Consulting leader and U.S. defense veteran, to explain why PQC is not a patch, but a permanent shift in how we secure systems, train teams, and think about risk.

The Crypto Agility Paradox: When Hardware Becomes Your Security Bottleneck

In this episode of Shielded, we are joined by Cassie Crossley, Vice President of Supply Chain Security in the Global Cybersecurity & Product Security Office at Schneider Electric. Cassie shares the hard-earned lessons from a multi-year crypto agility program in one of the world’s largest OT environments.

Filter by:

Formal Verification – why does it matter for PQC?

Formal verification has become increasingly important in the realm of cryptographic primitives, which serve as the foundational elements of secure communication systems. As cryptographic algorithms underpin the confidentiality, integrity, and authenticity of digital information, any flaw in their implementation can lead to catastrophic security breaches.

Episode 1: Inside Cloudflare’s Post-Quantum Journey: Bas Westerbaan on Real-World Implementation

In the premier episode of Shielded: The Last Line of Cyber Defense, host Johannes Lintzen is joined by Bas Westerbaan, Cloudflare, to discuss why organizations must act now on post-quantum cryptography.

A comparative analysis of open-source and commercial PQC solutions

In this article, we’ll explore some of the key considerations to be made when it comes to the comparison of open source with commercially-licensed IP.

Identity and payments: preparing for the quantum threat

With the world relying increasingly on digital payments, online authorization, and cloud-based access, we need cryptography to be smarter and more prescient than ever.

Recursive Lattice Reduction

We propose a recursive lattice reduction framework for finding short non-zero vectors or dense sublattices of a lattice.

A Tight Security Proof for SPHINCS+, Formally Verified

In this work, we formally prove a tight security bound for SPHINCS+ using the EasyCrypt proof assistant, establishing greater confidence in the general security of the scheme and that of the parameter sets considered for standardization.

Group signatures and more from isogenies and lattices: generic, simple, and efficient

We construct an efficient dynamic group signature (or more generally an accountable ring signature) from isogeny and lattice assumptions.

The Cost of Maintaining Keys in Dynamic Groups with Applications to Multicast Encryption and Group Messaging

In this work we prove lower bounds on the (communication) cost of maintaining a shared key among a dynamic group of users. Being "dynamic'' means one can add and remove users from the group.

Tighter Adaptive IBEs and VRFs: Revisiting Waters’ Artificial Abort

In this paper, we analyze proofs based on the partitioning technique through a new lens.

Open-source or commercial PQC libraries: How do I choose?

In this video, Ben Packman, PQShield's Chief Strategy Officer talks with our Senior Product Manager, Michele Sartori about some of the key differences between open-source and closed-source solutions for post-quantum cryptography.

Post-quantum cryptography and secure boot

In this video, Axel Y Poschmann, PQShield's VP of Product and Ben Packman, Chief Strategy Officer discuss some of the current issues around deploying post-quantum secure boot.

PQShield: at the heart of the PQC conversation

Team PQShield includes some incredible people. We're the largest collaboration of commercially-based post-quantum cryptographers anywhere in the world.