Prime-Field PINI: Machine-Checked Composition Theorems for Post-Quantum NTT Masking
Fuente:
arXiv
Guardado en:
| Autores principales: | Iskander, Ray, Kirah, Khaled |
|---|---|
| Formato: | Preprint |
| Publicado: |
2026
|
| Materias: | |
| Acceso en línea: | |
| Etiquetas: |
Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
|
Ejemplares similares
Fresh Masking Makes NTT Pipelines Composable: Machine-Checked Proofs for Arithmetic Masking in PQC Hardware
por: Iskander, Ray, et al.
Publicado: (2026)
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)
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)
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)
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)
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)
por: Iskander, Ray, et al.
Publicado: (2026)
Lightweight Fault Detection Architecture for NTT on FPGA
por: Paul, Rourab, et al.
Publicado: (2025)
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)
por: Nabeel, Mohammed, et al.
Publicado: (2026)
Energy-Efficient NTT Sampler for Kyber Benchmarked on FPGA
por: Baidya, Paresh, et al.
Publicado: (2025)
por: Baidya, Paresh, et al.
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)
por: Tan, Weihang, et al.
Publicado: (2023)
Ramp Up NTT in Record Time using GPU-Accelerated Algorithms and LLM-based Code Generation
por: Cui, Yu, et al.
Publicado: (2025)
por: Cui, Yu, et al.
Publicado: (2025)
HF-NTT: Hazard-Free Dataflow Accelerator for Number Theoretic Transform
por: Meng, Xiangchen, et al.
Publicado: (2024)
por: Meng, Xiangchen, et al.
Publicado: (2024)
GDNTT: an Area-Efficient Parallel NTT Accelerator Using Glitch-Driven Near-Memory Computing and Reconfigurable 10T SRAM
por: Ding, Hengyu, et al.
Publicado: (2025)
por: Ding, Hengyu, et al.
Publicado: (2025)
Trojan-Resilient NTT: Protecting Against Control Flow and Timing Faults on Reconfigurable Platforms
por: Paul, Rourab, et al.
Publicado: (2026)
por: Paul, Rourab, et al.
Publicado: (2026)
Vectorised Hashing Based on Bernstein-Rabin-Winograd Polynomials over Prime Order Fields
por: Nath, Kaushik, et al.
Publicado: (2025)
por: Nath, Kaushik, et al.
Publicado: (2025)
Post-Quantum Cryptography
por: Pranjal, et al.
Publicado: (2024)
por: Pranjal, et al.
Publicado: (2024)
The Equivalence of Fast Algorithms for Convolution, Parallel FIR Filters, Polynomial Modular Multiplication, and Pointwise Multiplication in DFT/NTT Domain
por: Parhi, Keshab K.
Publicado: (2025)
por: Parhi, Keshab K.
Publicado: (2025)
Computational Attestations of Polynomial Integrity Towards Verifiable Machine-Learning
por: Ray, Dustin, et al.
Publicado: (2025)
por: Ray, Dustin, et al.
Publicado: (2025)
Post Quantum Migration of Tor
por: Berger, Denis, et al.
Publicado: (2025)
por: Berger, Denis, et al.
Publicado: (2025)
Composition Theorems for f-Differential Privacy
por: Fernandes, Natasha, et al.
Publicado: (2025)
por: Fernandes, Natasha, et al.
Publicado: (2025)
Explicit cost analysis of Toom-4 multiplication for incomplete NTT in lattice-based cryptography
por: Oku, Sakura, et al.
Publicado: (2026)
por: Oku, Sakura, et al.
Publicado: (2026)
Post-Quantum Blockchain: Challenges and Opportunities
por: Al-Janabi, Sufyan
Publicado: (2025)
por: Al-Janabi, Sufyan
Publicado: (2025)
Post-Quantum Stealth Address Protocols
por: Mikic, Marija, et al.
Publicado: (2025)
por: Mikic, Marija, et al.
Publicado: (2025)
Post-Quantum Cryptography: Securing Digital Communication in the Quantum Era
por: Mamatha, G S, et al.
Publicado: (2024)
por: Mamatha, G S, et al.
Publicado: (2024)
Proximity Gaps Conjecture Fails Near Capacity over Prime Fields
por: Kambiré, Antonio
Publicado: (2026)
por: Kambiré, Antonio
Publicado: (2026)
MQTT Across a Raspberry Pi 5 IoT Network Utilizing Quantum-resistant Signature Algorithms
por: Feingold, Ray, et al.
Publicado: (2026)
por: Feingold, Ray, et al.
Publicado: (2026)
Post-Quantum Security of Block Cipher Constructions
por: Alagic, Gorjan, et al.
Publicado: (2025)
por: Alagic, Gorjan, et al.
Publicado: (2025)
Extensible Post Quantum Cryptography Based Authentication
por: Riva-Cambrin, Homer A., et al.
Publicado: (2025)
por: Riva-Cambrin, Homer A., et al.
Publicado: (2025)
Hybrid Horizons: Policy for Post-Quantum Security
por: Jaikissoon, Anais
Publicado: (2025)
por: Jaikissoon, Anais
Publicado: (2025)
Homomorphic Encryption Based on Post-Quantum Cryptography
por: Chen, Abel C. H.
Publicado: (2024)
por: Chen, Abel C. H.
Publicado: (2024)
Shaping a Quantum-Resistant Future: Strategies for Post-Quantum PKI
por: D'Onghia, Grazia, et al.
Publicado: (2026)
por: D'Onghia, Grazia, et al.
Publicado: (2026)
Post-Quantum Cryptography and Quantum-Safe Security: A Comprehensive Survey
por: Chhetri, Gaurab, et al.
Publicado: (2025)
por: Chhetri, Gaurab, et al.
Publicado: (2025)
Experimenting with D-Wave Quantum Annealers on Prime Factorization problems
por: Ding, Jingwen, et al.
Publicado: (2024)
por: Ding, Jingwen, et al.
Publicado: (2024)
A Quantum "Lifting Theorem" for Constructions of Pseudorandom Generators from Random Oracles
por: Katz, Jonathan, et al.
Publicado: (2024)
por: Katz, Jonathan, et al.
Publicado: (2024)
On Implementing Hybrid Post-Quantum End-to-End Encryption
por: Gandhi, Aditi, et al.
Publicado: (2026)
por: Gandhi, Aditi, et al.
Publicado: (2026)
Post-Quantum Entropy as a Service for Embedded Systems
por: Blanco-Romero, Javier, et al.
Publicado: (2026)
por: Blanco-Romero, Javier, et al.
Publicado: (2026)
Homomorphic Encryption Based on Lattice Post-Quantum Cryptography
por: Chen, Abel C. H.
Publicado: (2024)
por: Chen, Abel C. H.
Publicado: (2024)
Introducing Post-Quantum algorithms in Open RAN interfaces
por: Otero-García, Pedro, et al.
Publicado: (2025)
por: Otero-García, Pedro, et al.
Publicado: (2025)
Post Quantum Cryptography (PQC) Signatures Without Trapdoors
por: Buchanan, William J
Publicado: (2025)
por: Buchanan, William J
Publicado: (2025)
On Scalable Integrity Checking for Secure Cloud Disks
por: Burke, Quinn, et al.
Publicado: (2024)
por: Burke, Quinn, et al.
Publicado: (2024)
Ejemplares similares
-
Fresh Masking Makes NTT Pipelines Composable: Machine-Checked Proofs for Arithmetic Masking in PQC Hardware
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) -
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) -
Partial Number Theoretic Transform Masking in Post-Quantum Cryptography (PQC) Hardware: A Security Margin Analysis
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)