Noé Amiot, Quentin Meunier, Karine Heydemann, Emmanuelle Encrenaz

aLEAKator: HDL Mixed-Domain Simulation for Masked Hardware & Software Formal Verification

Cryptography

Verifying the security of masked hardware and software implementations, under advanced leakage models, remains a significant challenge, esp...

Review:

The paper introduces "aLEAKator," a novel open-source framework tackling the critical and complex challenge of formally verifying the security of mask...

View Full Research

Florian Krieger, Christian Dobrouschek, Florian Hirner, Sujoy Sinha Roy

High-Performance SIMD Software for Spielman Codes in Zero-Knowledge Proofs

Informatics

We present the first high-performance SIMD software implementation of Spielman codes for their use in polynomial commitment schemes and zer...

View Full Research

Lili Tang, Rui Ding, Yao Sun, Xiaorui Gong

Memory Optimizations of Wagner’s Algorithm with Applications to Equihash

Cryptography

The Generalized Birthday Problem (GBP) serves as a cornerstone for a broad spectrum of cryptanalytic research. The classical solution, Wagn...

View Full Research

Hemin Rahimi, Amir Moradi

TSM+ and OTSM

Cyber

Among the countermeasures against side-channel analysis attacks, masking offers formal security guarantees and composability, yet remains c...

Review:

This work addresses critical limitations in the practical application of masking countermeasures against side-channel analysis attacks, particularly i...

View Full Research

Eros Camacho-Ruiz, Pablo Navarro-Torrero, Alejandro Cabrera Aldaya

A Framework for designing High-Order Side-Channel Protected Hardware Implementations of ML-KEM

Informatics

ML-KEM (formerly Kyber) has recently been adopted as FIPS 203 in the NIST Post-Quantum Cryptography standardization process. While existing...

Review:

This paper presents a significant contribution to the field of Post-Quantum Cryptography hardware implementations by addressing a critical security vu...

View Full Research

Hiroshi Amagasa, Rei Ueno, Naofumi Homma

AVX2 Implementation of QR-UOV for Modern x86 Processors

Cryptography

QR-UOV is a multivariate signature scheme selected as one of the candidates in the second round of the NIST PQC Additional Digital Signatur...

Review:

The paper "AVX2 Implementation of QR-UOV for Modern x86 Processors" presents a timely and highly relevant contribution to the field of post-quantum cr...

View Full Research

Stef Halmans, Christine van Vredendaal, Tobias Schneider, Frank Custers, Tim Güneysu

TWFalcon: Triple-Word Arithmetic for Falcon

Cryptography

The post-quantum signature scheme Falcon is an attractive scheme for constrained devices due to its compactness and verification performanc...

View Full Research

Yifan Dong, YoungBeom Kim, Jieyu Zheng, Zhichuang Liang, Boyue Fang, Seog Chung Seo, Maire O’Neill, Yunlei Zhao

Lightweight PQ KEM and Hybrid MQTT Protocol for 8-bit AVR Sensor Nodes

Cryptography

Most PQC schemes remain too resource-intensive for ultra-constrained 8-bit AVR wireless sensor nodes. In this work, we present a comprehens...

Review:

This paper tackles the critical challenge of deploying Post-Quantum Cryptography (PQC) on severely resource-constrained 8-bit AVR wireless sensor node...

View Full Research

DongHyun Shin, YoungBeom Kim, Ayesha Khalid, Maire O’Neill, Seog Chung Seo

Optimized Implementations of Keccak, Kyber, and Dilithium on the MSP430 Microcontroller

Informatics

Post-Quantum cryptography (PQC) typically requires more memory and computational power than conventional public-key cryptography. Until now...

View Full Research

Ruben Niederhagen, Hoang Nguyen Hien Pham

Improving ML-KEM and ML-DSA on OpenTitan

Cyber

This work improves upon the instruction set extension proposed in the paper “Towards ML-KEM and ML-DSA on OpenTitan”, in short OTBNTW, for...

Review:

This paper presents a compelling advancement in the hardware acceleration of post-quantum cryptographic schemes, ML-KEM and ML-DSA, on the OpenTitan p...

View Full Research