Cover Image

Structural Dependency Analysis for Masked NTT Hardware: Scalable Pre-Silicon Verification of Post-Quantum Cryptographic Accelerators

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

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)

Machine-Checked Cardinality Bounds for Masked Barrett Reduction: A 1-Bit Side-Channel Leakage Barrier in Post-Quantum Cryptographic 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)

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)

Accelerating Hardware Verification with Graph Models
by: Saravanan, Raghul, et al.
Published: (2024)

Mapping Quantum Threats: An Engineering Inventory of Cryptographic Dependencies
by: Benitez, Carlos
Published: (2025)

SCE-NTT: A Hardware Accelerator for Number Theoretic Transform Using Superconductor Electronics
by: Razmkhah, Sasan, 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 Scalable Formal Verification Methodology for Data-Oblivious Hardware
by: Deutschmann, Lucas, et al.
Published: (2023)

Assessing the Performance of OpenTitan as Cryptographic Accelerator in Secure Open-Hardware System-on-Chips
by: Parisi, Emanuele, et al.
Published: (2024)

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)

HF-NTT: Hazard-Free Dataflow Accelerator for Number Theoretic Transform
by: Meng, Xiangchen, et al.
Published: (2024)

Controller Datapath Aware Verification of Masked Hardware Generated via High Level Synthesis
by: Sarma, Nilotpola, et al.
Published: (2026)

Lightweight Fault Detection Architecture for NTT on FPGA
by: Paul, Rourab, et al.
Published: (2025)

Ramp Up NTT in Record Time using GPU-Accelerated Algorithms and LLM-based Code Generation
by: Cui, Yu, et al.
Published: (2025)

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

@NTT: Algorithm-Targeted NTT hardware acceleration via Design-Time Constant Optimization
by: Nabeel, Mohammed, et al.
Published: (2026)

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

Post-Quantum Cryptographic Analysis of Message Transformations Across the Network Stack
by: Kundu, Ashish, et al.
Published: (2026)

Energy-Efficient NTT Sampler for Kyber Benchmarked on FPGA
by: Baidya, Paresh, et al.
Published: (2025)

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

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

GDNTT: an Area-Efficient Parallel NTT Accelerator Using Glitch-Driven Near-Memory Computing and Reconfigurable 10T SRAM
by: Ding, Hengyu, et al.
Published: (2025)

Structural Analysis of Cryptographic Sequences using Stringology-Based Fingerprinting
by: Kebande, Victor
Published: (2026)

REPQC: Reverse Engineering and Backdooring Hardware Accelerators for Post-quantum Cryptography
by: Pagliarini, Samuel, et al.
Published: (2024)

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

AI-Assisted Hardware Security Verification: A Survey and AI Accelerator Case Study
by: Hasan, Khan Thamid, et al.
Published: (2026)

Cryptographic Challenges: Masking Sensitive Data in Cyber Crimes through ASCII Art
by: Alejandre, Andres, et al.
Published: (2025)

Scalable Zero-Knowledge Proofs for Verifying Cryptographic Hashing in Blockchain Applications
by: Kuznetsov, Oleksandr, et al.
Published: (2024)

The Hashed Fractal Key Recovery (HFKR) Problem: From Symbolic Path Inversion to Post-Quantum Cryptographic Keys
by: Bouke, Mohamed Aly
Published: (2025)

The Continuous Logarithm in the Complex Circle for Post-Quantum Cryptographic Algorithms
by: Gaber, Jaafar
Published: (2024)

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

Governing Dynamic Capabilities: Cryptographic Binding and Reproducibility Verification for AI Agent Tool Use
by: Zhou, Ziling
Published: (2026)

Feature Homomorphism -- A Cryptographic Scheme For Data Verification Under Ciphertext-Only Conditions
by: Neng, Huang
Published: (2024)

Towards Efficient Verification of Constant-Time Cryptographic Implementations
by: Cai, Luwei, et al.
Published: (2024)