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.
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· Indian Journal of Computer S...· 0 citations
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.· arXiv.org· 1 citation
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...
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.
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...
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.