Skip to content
Preprint

Hidden Ciphers and Where to Find Them: Static Discovery and Assessment of Cryptographic Assets in Software

Aug 2026 · 0 citations · 31 references
Computer Science

TL;DR

Results show that classification-driven static discovery can provide practical cryptographic transparency for governance and post-quantum migration planning and be derived from an extensible scanner-independent rule repository from it.

Abstract

Modern software systems rely on cryptography for data protection, authentication, and trust establishment, yet organizations often lack a structured view of the cryptography deployed across source code, configuration, dependencies, and cryptographic files. This lack of visibility complicates security governance and post-quantum migration planning. This paper presents a static approach for discovering and assessing cryptographic assets in software systems. We introduce a classification of Crypto-Material, Crypto-Artifacts, and Crypto-Invocations, derive an extensible scanner-independent rule repository from it, and implement a static scanner that applies these rules to produce CBOM-oriented output. We evaluate the approach on a synthetic benchmark with known ground truth and on a real-world infrastructure of ten deployed services. The scanner achieves an F1 score of 0.75 for asset discovery and correctly annotates 91% of expected weaknesses and vulnerabilities. In the realworld setting, it processes 57 610 files in under six minutes and discovers 370 cryptographic assets, including six CVE-linked vulnerabilities and 52 post-quantum migration candidates. Real-world coverage is assessed against a manually compiled reference list rather than an exhaustive one. These results show that classification-driven static discovery can provide practical cryptographic transparency for governance and post-quantum migration planning.

View source

Similar papers

Review Open access Aug 2026

A Systematic Review of Java Security: Architecture, Cryptographic Services, Vulnerabilities, and Emerging Security Paradigms

This review investigates the security ecosystem of the Java platform by examining both its built-in protection mechanisms and the security challenges faced by modern Java applications, and outlines key secure software development practices that can strengthen application security.

Aali Rahman Md, Rani Khushboo, Irfan Alam Md · 0 citations
Review Jul 2026

ZKP Security Tools and Verification: Coverage, Effectiveness, Adoption, and Challenges

Light is shed on the state of ZKP security tooling and the need for better integration of security tooling with the development and auditing process is highlighted, and actionable insights are provided for researchers and practitioners.

Arman Kolozyan, Tom Sorger, A. Hicks et al. · 1 citation
Preprint Aug 2026

Static Detection of Post-Quantum Cryptographic Algorithms in Stripped Binaries for Digital Forensic Examination and Migration Assurance

Kestrel is presented, a static analysis method that identifies an algorithm from the number-theoretic transform constant tables its arithmetic depends on, and applies it to the standardised lattice schemes ML-KEM and ML-DSA, for which no prior method could confirm, from a shipped binary alone, that a quantum-vulnerable...

Muhammad Shaheer Bin Junaid · 0 citations
Jul 2026

DSA Nonce Vulnerabilities: An Interactive Analysis

A DSA signature analysis and visualisation platform tailored to CTF competitions that covers three representative nonce vulnerabilities: nonce reuse, linear nonce leakage, and HNP-based lattice attacks.

Rundong Wei, Xiaomei Tian, Xiaoqi Li · 0 citations
Conference Open access 2026

CT-Monitor++: Improving the Certificate Transparency Ecosystem with Cryptographic and Security Checks

This work presents the design of a CT monitor that goes beyond traditional domain-based tracking by performing systematic security analysis on all certificates recorded in public CT logs, and demonstrates that the monitor is capable of keeping up with the current certificate issuance rates while performing all security...

Simone Orlando, Alessandro Barenghi, Gerardo Pelosi · 0 citations
Jul 2026

SABLE: Minimalist Instruction-Level Authenticated Encryption for Constrained Confidential Computing

This work introduces and presents a design exploration of a RISC-V processor architecture (SABLE) that enables minimally invasive instruction-level authenticated encryption of programs and explores seven ILE micro-architectures from a single-cycle (combinational) design to six multi-cycle (sequential) variants.

Hamid Noori, Carlton Shepherd · 0 citations

We use cookies to run the site and, with your consent, for analytics and to show ads. See our Cookie Policy.