Imagen de Portada

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

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Iskander, Ray, Kirah, Khaled
Formato:	Preprint
Publicado:	2026
Materias:	Cryptography and Security
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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