Ray Iskander

Identifiers

• name variant Ray Iskander 0.60 · backfill

Papers (8)

1. Tridirectional Discriminating-Power Formal Verification of Smart Contract Reentrancy Defense Against Production-Deployed Solidity Source cs.CR · 2026 · author #1
2. The 1-Bit Barrier is Universal: k-Stage Pipeline Composition and Unified Leakage Bounds for Standard Modular Reductions in PQC Hardware cs.CR · 2026 · author #1
3. Prime-Field PINI: Machine-Checked Composition Theorems for Post-Quantum NTT Masking cs.CR · 2026 · author #1
4. Machine-Checked Cardinality Bounds for Masked Barrett Reduction: A 1-Bit Side-Channel Leakage Barrier in Post-Quantum Cryptographic Hardware cs.CR · 2026 · author #1
5. Fresh Masking Makes NTT Pipelines Composable: Machine-Checked Proofs for Arithmetic Masking in PQC Hardware cs.CR · 2026 · author #1
6. From Finite Enumeration to Universal Proof: Ring-Theoretic Foundations for PQC Hardware Masking Verification cs.CR · 2026 · author #1
7. Structural Dependency Analysis for Masked NTT Hardware: Scalable Pre-Silicon Verification of Post-Quantum Cryptographic Accelerators cs.CR · 2026 · author #1
8. Partial Number Theoretic Transform Masking in Post-Quantum Cryptography (PQC) Hardware: A Security Margin Analysis cs.CR · 2026 · author #1

Mentions

• 2606.01794 #1 · arxiv_oai · confidence 0.70 Ray Iskander

Frequent Coauthors

• Khaled Kirah 7 shared papers