Publications

This white paper exposes evaluation pitfalls of benchmarking ML-DSA, and introduces a standardized, dataset-driven methodology to guarantee predictable PQC performance.

Roddy Kok, lead consultant at the Cybersecurity Agency of Singapore, explains the operational frameworks and 2031 timelines for securing critical national infrastructure against quantum threats.

This paper shows that post-quantum cryptographic masking schemes proven secure under the t-probing model can still be vulnerable in practice, as non-uniform share distributions require unrealistically high noise levels to ensure real security.

We helped build the first formally verified hash-based signature tool (XMSS/XMSS^MT) using Jasmin for AMD64. By linking low-level code to machine-checked EasyCrypt security proofs, we guarantee absolute functional correctness and cryptographic safety against attacks.

Wei Yuan, Lab Manager at Applus+ Laboratories, explains the certification challenges of the 2026 European Digital Identity Wallet mandate and why secure implementation is critical for post-quantum digital identity.

Discrete Gaussian sampling in lattice cryptography is vulnerable to power analysis attacks. Existing masked samplers are slow and rely on costly comparison trees. This paper introduces a rejection-based sampler using bitslicing that is 4–20x faster.

Eric Amador explains how pqctoday.com uses AI and WebAssembly to remove friction from testing quantum-safe algorithms. Learn how different organizational personas can map out global migration timelines and prepare for upcoming compliance mandates.

Physical attacks (SCA, FIA) threaten crypto hardware. CPC gadgets use the limited CINI model. This work introduces gCINI, a generalized definition. We prove its security and composability, demonstrating a more efficient AES S-box verified via VERICA.

The episode discusses India’s ambitious roadmap for quantum migration. The guests from DSCI explore the aggressive 2029 deadline for critical infrastructure and the broader strategy for building a quantum resilient society.

We present the first threshold signature scheme fully compatible with ML-DSA. It is robust, scalable, and optimized for small groups, proving practical for crypto wallets, TLS, and Tor in real-world benchmarks.

Antti Ropponen, Global Quantum Safe Transformation Leader at IBM Consulting, explains why the current shift toward post-quantum cryptography mirrors the early days of cloud migration.

PQShield's Lapiha and Prest proposed a lattice-based TKEM from a TIBE and signatures, but with 540 KiB ciphertexts. We optimize it via random oracles, approximate computing, and NTRU trapdoors, reducing ciphertext size 18x to under 30 KiB.