Cover Image

Fresh Masking Makes NTT Pipelines Composable: Machine-Checked Proofs for Arithmetic Masking in PQC 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

Prime-Field PINI: Machine-Checked Composition Theorems for Post-Quantum NTT Masking
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)

Structural Dependency Analysis for Masked NTT Hardware: Scalable Pre-Silicon Verification of Post-Quantum Cryptographic Accelerators
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)

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)

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)

High Memory Masked Convolutional Codes for PQC
by: Ariel, Meir
Published: (2025)

Masking Gaussian Elimination at Arbitrary Order, with Application to Multivariate- and Code-Based PQC
by: Norga, Quinten, et al.
Published: (2024)

LLM4PQC - Accurate and Efficient Synthesis of PQC Cores by Feedback-Driven LLMs
by: Perera, Buddhi, et al.
Published: (2026)

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)

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

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

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

Post Quantum Cryptography (PQC) Signatures Without Trapdoors
by: Buchanan, William J
Published: (2025)

Collaborative CP-NIZKs: Modular, Composable Proofs for Distributed Secrets
by: Alghazwi, Mohammed, et al.
Published: (2024)

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

SCE-NTT: A Hardware Accelerator for Number Theoretic Transform Using Superconductor Electronics
by: Razmkhah, Sasan, et al.
Published: (2025)

Equilibrium SAT based PQC: New aegis against quantum computing
by: Cho, Keum-Bae
Published: (2025)

PaReNTT: Low-Latency Parallel Residue Number System and NTT-Based Long Polynomial Modular Multiplication for Homomorphic Encryption
by: Tan, Weihang, et al.
Published: (2023)

ACE-GF-based Attestation Relay for PQC - Lightweight Mempool Propagation Without On-Path Proofs
by: Wang, Jian Sheng
Published: (2026)

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

PQC-Enhanced QKD Networks: A Layered Approach
by: Spooren, Paul, et al.
Published: (2026)

PQC Validator: Validating Post-Quantum Readiness in Cloud-Native 5G Core Networks
by: Chopra, Lakshya, et al.
Published: (2026)

Operationalising Post Quantum TLS Automated Configuration Profiling and Hybrid PQC Deployment in Financial Infrastructure
by: Balaji, Harish, et al.
Published: (2026)

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

aLEAKator: HDL Mixed-Domain Simulation for Masked Hardware \& Software Formal Verification
by: Amiot, Noé, et al.
Published: (2025)

RobustMask: Certified Robustness against Adversarial Neural Ranking Attack via Randomized Masking
by: Liu, Jiawei, et al.
Published: (2025)

Post-Quantum Cryptography(PQC): Generalized ElGamal Cipher over GL(8,F251)
by: Hecht, Pedro
Published: (2017)

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

MASCing: Configurable Mixture-of-Experts Behavior via Activation Steering Masks
by: Lintelo, Jona te, et al.
Published: (2026)

Backdooring Masked Diffusion Language Models
by: Cao, Daniel Yiming, et al.
Published: (2026)

Post-Quantum Cryptography (PQC) Network Instrument: Measuring PQC Adoption Rates and Identifying Migration Pathways
by: Sowa, Jakub, et al.
Published: (2024)

VA-DAR: A PQC-Ready, Vendor-Agnostic Deterministic Artifact Resolution for Serverless, Enumeration-Resistant Wallet Recovery
by: Wang, Jian Sheng
Published: (2026)

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

Trojan-Resilient NTT: Protecting Against Control Flow and Timing Faults on Reconfigurable Platforms
by: Paul, Rourab, et al.
Published: (2026)

Selective Masking Adversarial Attack on Automatic Speech Recognition Systems
by: Fang, Zheng, et al.
Published: (2025)

Beneath the Mask: Can Contribution Data Unveil Malicious Personas in Open-Source Projects?
by: Nealon, Ruby
Published: (2025)

ByteShield: Adversarially Robust End-to-End Malware Detection through Byte Masking
by: Gibert, Daniel, et al.
Published: (2025)

Composability in Watermarking Schemes
by: Liu, Jiahui, et al.
Published: (2024)