Buchumschlag

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

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Iskander, Ray, Kirah, Khaled
Format:	Preprint
Veröffentlicht:	2026
Schlagworte:	Cryptography and Security
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Prime-Field PINI: Machine-Checked Composition Theorems for Post-Quantum NTT Masking
von: Iskander, Ray, et al.
Veröffentlicht: (2026)

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

Machine-Checked Cardinality Bounds for Masked Barrett Reduction: A 1-Bit Side-Channel Leakage Barrier in Post-Quantum Cryptographic Hardware
von: Iskander, Ray, et al.
Veröffentlicht: (2026)

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

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

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

Accelerating Hardware Verification with Graph Models
von: Saravanan, Raghul, et al.
Veröffentlicht: (2024)

Mapping Quantum Threats: An Engineering Inventory of Cryptographic Dependencies
von: Benitez, Carlos
Veröffentlicht: (2025)

SCE-NTT: A Hardware Accelerator for Number Theoretic Transform Using Superconductor Electronics
von: Razmkhah, Sasan, et al.
Veröffentlicht: (2025)

MECHA: Multithreaded and Efficient Cryptographic Hardware Access
von: Derry, Pratama, et al.
Veröffentlicht: (2025)

PQC-LEO: An Evaluation Framework for Post-Quantum Cryptographic Algorithms
von: Turino, Callum, et al.
Veröffentlicht: (2026)

A Scalable Formal Verification Methodology for Data-Oblivious Hardware
von: Deutschmann, Lucas, et al.
Veröffentlicht: (2023)

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

Classifying Implementations of Cryptographic Primitives and Protocols that Use Post-Quantum Algorithms
von: Mallick, Tushin, et al.
Veröffentlicht: (2025)

Fundamental Limitations of Post-Quantum Cryptographic Architectures
von: Jung, Jiho, et al.
Veröffentlicht: (2026)

MaskedHLS: Domain-Specific High-Level Synthesis of Masked Cryptographic Designs
von: Sarma, Nilotpola, et al.
Veröffentlicht: (2024)

HF-NTT: Hazard-Free Dataflow Accelerator for Number Theoretic Transform
von: Meng, Xiangchen, et al.
Veröffentlicht: (2024)

Controller Datapath Aware Verification of Masked Hardware Generated via High Level Synthesis
von: Sarma, Nilotpola, et al.
Veröffentlicht: (2026)

Lightweight Fault Detection Architecture for NTT on FPGA
von: Paul, Rourab, et al.
Veröffentlicht: (2025)

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

A Hybrid Chaos-Based Cryptographic Framework for Post-Quantum Secure Communications
von: Song, Kevin, et al.
Veröffentlicht: (2025)

@NTT: Algorithm-Targeted NTT hardware acceleration via Design-Time Constant Optimization
von: Nabeel, Mohammed, et al.
Veröffentlicht: (2026)

Entropy Accumulation under Post-Quantum Cryptographic Assumptions
von: Merkulov, Ilya, et al.
Veröffentlicht: (2023)

Post-Quantum Cryptographic Analysis of Message Transformations Across the Network Stack
von: Kundu, Ashish, et al.
Veröffentlicht: (2026)

Energy-Efficient NTT Sampler for Kyber Benchmarked on FPGA
von: Baidya, Paresh, et al.
Veröffentlicht: (2025)

A Comparative Study of Hybrid Post-Quantum Cryptographic X.509 Certificate Schemes
von: Chen, Abel C. H.
Veröffentlicht: (2025)

The Quantum-Cryptographic Co-evolution
von: Kundu, Ashish, et al.
Veröffentlicht: (2026)

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

Structural Analysis of Cryptographic Sequences using Stringology-Based Fingerprinting
von: Kebande, Victor
Veröffentlicht: (2026)

REPQC: Reverse Engineering and Backdooring Hardware Accelerators for Post-quantum Cryptography
von: Pagliarini, Samuel, et al.
Veröffentlicht: (2024)

Evaluating Post-Quantum Cryptographic Algorithms on Resource-Constrained Devices
von: Lopez, Jesus, et al.
Veröffentlicht: (2025)

AI-Assisted Hardware Security Verification: A Survey and AI Accelerator Case Study
von: Hasan, Khan Thamid, et al.
Veröffentlicht: (2026)

Cryptographic Challenges: Masking Sensitive Data in Cyber Crimes through ASCII Art
von: Alejandre, Andres, et al.
Veröffentlicht: (2025)

Scalable Zero-Knowledge Proofs for Verifying Cryptographic Hashing in Blockchain Applications
von: Kuznetsov, Oleksandr, et al.
Veröffentlicht: (2024)

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

The Continuous Logarithm in the Complex Circle for Post-Quantum Cryptographic Algorithms
von: Gaber, Jaafar
Veröffentlicht: (2024)

A Survey of Post-Quantum Cryptography Support in Cryptographic Libraries
von: Ahmed, Nadeem, et al.
Veröffentlicht: (2025)

Governing Dynamic Capabilities: Cryptographic Binding and Reproducibility Verification for AI Agent Tool Use
von: Zhou, Ziling
Veröffentlicht: (2026)

Feature Homomorphism -- A Cryptographic Scheme For Data Verification Under Ciphertext-Only Conditions
von: Neng, Huang
Veröffentlicht: (2024)

Towards Efficient Verification of Constant-Time Cryptographic Implementations
von: Cai, Luwei, et al.
Veröffentlicht: (2024)