Copertina

Fresh Masking Makes NTT Pipelines Composable: Machine-Checked Proofs for Arithmetic Masking in PQC Hardware

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Iskander, Ray, Kirah, Khaled
Natura:	Preprint
Pubblicazione:	2026
Soggetti:	Cryptography and Security
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

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

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

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

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

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

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

High Memory Masked Convolutional Codes for PQC
di: Ariel, Meir
Pubblicazione: (2025)

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

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

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

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

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

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

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

Post Quantum Cryptography (PQC) Signatures Without Trapdoors
di: Buchanan, William J
Pubblicazione: (2025)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Composability in Watermarking Schemes
di: Liu, Jiahui, et al.
Pubblicazione: (2024)