Imagen de Portada

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

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

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

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

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)

High Memory Masked Convolutional Codes for PQC
por: Ariel, Meir
Publicado: (2025)

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

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

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

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

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

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

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

Post Quantum Cryptography (PQC) Signatures Without Trapdoors
por: Buchanan, William J
Publicado: (2025)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Mask-Free Privacy Extraction and Rewriting: A Domain-Aware Approach via Prototype Learning
por: Li, Xiaodong, et al.
Publicado: (2026)