Résultats de la recherche - Iskander, Ray

Tridirectional Discriminating-Power Formal Verification of Smart Contract Reentrancy Defense Against Production-Deployed Solidity Source par Iskander, Ray

Accéder au texte intégral

Partial Number Theoretic Transform Masking in Post-Quantum Cryptography (PQC) Hardware: A Security Margin Analysis par Iskander, Ray, Kirah, Khaled

Accéder au texte intégral

Structural Dependency Analysis for Masked NTT Hardware: Scalable Pre-Silicon Verification of Post-Quantum Cryptographic Accelerators par Iskander, Ray, Kirah, Khaled

Accéder au texte intégral

From Finite Enumeration to Universal Proof: Ring-Theoretic Foundations for PQC Hardware Masking Verification par Iskander, Ray, Kirah, Khaled

Accéder au texte intégral

Fresh Masking Makes NTT Pipelines Composable: Machine-Checked Proofs for Arithmetic Masking in PQC Hardware par Iskander, Ray, Kirah, Khaled

Accéder au texte intégral

Machine-Checked Cardinality Bounds for Masked Barrett Reduction: A 1-Bit Side-Channel Leakage Barrier in Post-Quantum Cryptographic Hardware par Iskander, Ray, Kirah, Khaled

Accéder au texte intégral

Prime-Field PINI: Machine-Checked Composition Theorems for Post-Quantum NTT Masking par Iskander, Ray, Kirah, Khaled

Accéder au texte intégral

The 1-Bit Barrier is Universal: k-Stage Pipeline Composition and Unified Leakage Bounds for Standard Modular Reductions in PQC Hardware par Iskander, Ray, Kirah, Khaled

Accéder au texte intégral