DSA Nonce Vulnerabilities: An Interactive Analysis

arXiv:2607.17107 · cs.CR · Submitted 2026-07-19 · Read on arXiv

Rundong Wei, Xiaomei Tian, Xiaoqi Li

cs.CR

Submitted: 2026-07-19

License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/

Terminology

• Verification — 34× in this paper · explained in 2 episodes
• Trace — 5× in this paper · explained in 2 episodes
• Consistency — 3× in this paper · explained in 3 episodes
• Core — 3× in this paper · explained in 2 episodes
• NIST-standardized Digital Signature Algorithm — 2× in this paper
• Benchmarking — 1× in this paper · explained in 3 episodes
• Embeddings — 1× in this paper · explained in 2 episodes
• Formal Verification — 1× in this paper · explained in 2 episodes
• Hidden Number Problem — 1× in this paper
• Hybrid Approach — 1× in this paper · explained in 4 episodes

Sources

• SmartBugBert: BERT-Enhanced Vulnerability Detection for Smart Contract Bytecode
• Exploring Vulnerabilities and Concerns in Solana Smart Contracts
• Pre-shared Key Agreement for Secure Public Wi-Fi
• Towards ECDSA key derivation from deep embeddings for novel Blockchain applications
• On a new fast public key cryptosystem
• Post-Quantum Blockchain: Challenges and Opportunities
• Towards Post-Quantum Secure Pharmacovigilance with ML-KEM and ML-DSA
• The Qey: Implementation and performance study of post quantum cryptography in FIDO2
• Penetration Testing for System Security: Methods and Practical Approaches

Related papers

• SoK: AI-Augmented Binary Reversing
• Relaxed Sender Anonymity for CBDC Interbank Settlement: A Zero-Knowledge Approach on Permissioned EVM
• Calibration-Family Overfit: Why Trusted Sabotage Monitors Don't Transfer Across Lineages
• Efficient Fuzzy PSI under One-Sided Assumptions
• Sealing the Audit-Runtime Gap for LLM Skills
• Token Composition: A Graph Based on EVM Logs