Cover Image

Machine-Checked Cardinality Bounds for Masked Barrett Reduction: A 1-Bit Side-Channel Leakage Barrier in Post-Quantum Cryptographic Hardware

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Iskander, Ray, Kirah, Khaled
Format:	Preprint
Published:	2026
Subjects:	Cryptography and Security
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

The 1-Bit Barrier is Universal: k-Stage Pipeline Composition and Unified Leakage Bounds for Standard Modular Reductions in PQC Hardware
by: Iskander, Ray, et al.
Published: (2026)

Structural Dependency Analysis for Masked NTT Hardware: Scalable Pre-Silicon Verification of Post-Quantum Cryptographic Accelerators
by: Iskander, Ray, et al.
Published: (2026)

Prime-Field PINI: Machine-Checked Composition Theorems for Post-Quantum NTT Masking
by: Iskander, Ray, et al.
Published: (2026)

Fresh Masking Makes NTT Pipelines Composable: Machine-Checked Proofs for Arithmetic Masking in PQC Hardware
by: Iskander, Ray, et al.
Published: (2026)

Partial Number Theoretic Transform Masking in Post-Quantum Cryptography (PQC) Hardware: A Security Margin Analysis
by: Iskander, Ray, et al.
Published: (2026)

From Finite Enumeration to Universal Proof: Ring-Theoretic Foundations for PQC Hardware Masking Verification
by: Iskander, Ray, et al.
Published: (2026)

Automated Side-Channel Analysis of Cryptographic Protocol Implementations
by: Nasrabadi, Faezeh, et al.
Published: (2025)

Protecting Cryptographic Libraries against Side-Channel and Code-Reuse Attacks
by: Tsoupidi, Rodothea Myrsini, et al.
Published: (2024)

Hardware-Agnostic Modeling of Quantum Side-Channel Leakage via Conditional Dynamics and Learning from Full Correlation Data
by: Bell, Brennan, et al.
Published: (2026)

Rethinking Side-Channel Analysis: Automated Discovery and Analysis of Side-Channel Leakage with LLM-Assisted Agents
by: Xu, Zhen, et al.
Published: (2026)

The Inevitability of Side-Channel Leakage in Encrypted Traffic
by: Liu, Guangjie, et al.
Published: (2026)

Hybrid Cryptographic Monitoring System for Side-Channel Attack Detection on PYNQ SoCs
by: Chinnasami, Nishant, et al.
Published: (2025)

Hound: Locating Cryptographic Primitives in Desynchronized Side-Channel Traces Using Deep-Learning
by: Galli, Davide, et al.
Published: (2024)

Error Detection Schemes for Barrett Reduction of CT-BU on FPGA in Post Quantum Cryptography
by: Baidya, Paresh, et al.
Published: (2025)

Zebrafix: Mitigating Memory-Centric Side-Channel Leakage via Interleaving
by: Pätschke, Anna, et al.
Published: (2025)

POLARIS: Explainable Artificial Intelligence for Mitigating Power Side-Channel Leakage
by: Mahfuz, Tanzim, et al.
Published: (2025)

Understanding AI Methods for Intrusion Detection and Cryptographic Leakage
by: Zilouchian, Reza, et al.
Published: (2026)

Masking Countermeasures Against Side-Channel Attacks on Quantum Computers
by: LeGrow, Jason T., et al.
Published: (2025)

A Deep-Learning Technique to Locate Cryptographic Operations in Side-Channel Traces
by: Chiari, Giuseppe, et al.
Published: (2024)

Side-Channel Extraction of Dataflow AI Accelerator Hardware Parameters
by: Lomet, Guillaume, et al.
Published: (2025)

MECHA: Multithreaded and Efficient Cryptographic Hardware Access
by: Derry, Pratama, et al.
Published: (2025)

PQC-LEO: An Evaluation Framework for Post-Quantum Cryptographic Algorithms
by: Turino, Callum, et al.
Published: (2026)

A Hardware-Friendly Shuffling Countermeasure Against Side-Channel Attacks for Kyber
by: Xu, Dejun, et al.
Published: (2024)

Learning to Localize Leakage of Cryptographic Sensitive Variables
by: Gammell, Jimmy, et al.
Published: (2025)

Beyond TVLA: Anderson-Darling Leakage Assessment for Neural Network Side-Channel Leakage Detection
by: Mikulec, Ján, et al.
Published: (2026)

A Hybrid Chaos-Based Cryptographic Framework for Post-Quantum Secure Communications
by: Song, Kevin, et al.
Published: (2025)

Classifying Implementations of Cryptographic Primitives and Protocols that Use Post-Quantum Algorithms
by: Mallick, Tushin, et al.
Published: (2025)

Fundamental Limitations of Post-Quantum Cryptographic Architectures
by: Jung, Jiho, et al.
Published: (2026)

MaskedHLS: Domain-Specific High-Level Synthesis of Masked Cryptographic Designs
by: Sarma, Nilotpola, et al.
Published: (2024)

A Statistical Side-Channel Risk Model for Timing Variability in Lattice-Based Post-Quantum Cryptography
by: Mainali, Aayush, et al.
Published: (2025)

Thermal-Aware 3D Design for Side-Channel Information Leakage
by: Stow, Dylan, et al.
Published: (2025)

Rigorous Evaluation of Microarchitectural Side-Channels with Statistical Model Checking
by: Li, Weihang, et al.
Published: (2025)

A Comparative Study of Hybrid Post-Quantum Cryptographic X.509 Certificate Schemes
by: Chen, Abel C. H.
Published: (2025)

Entropy Accumulation under Post-Quantum Cryptographic Assumptions
by: Merkulov, Ilya, et al.
Published: (2023)

Backing the Wrong Horse: How Bit-Level Netlist Augmentation can Counter Power Side Channel Attacks
by: Asghar, Ali, et al.
Published: (2025)

The Quantum-Cryptographic Co-evolution
by: Kundu, Ashish, et al.
Published: (2026)

Evaluating Post-Quantum Cryptographic Algorithms on Resource-Constrained Devices
by: Lopez, Jesus, et al.
Published: (2025)

Machine Learning Power Side-Channel Attack on SNOW-V
by: Deepak, et al.
Published: (2025)

Cross-Scale Persistence Analysis of EM Side-Channels for Reference-Free Detection of Always-On Hardware Trojans
by: Tahghigh, Mahsa, et al.
Published: (2026)

A Survey of Post-Quantum Cryptography Support in Cryptographic Libraries
by: Ahmed, Nadeem, et al.
Published: (2025)