2026· International Conference on Security and Cryptography· pp. 69-80· 0 citations· 30 references
Computer Science
TL;DR
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 checks.
Abstract
: Digital certificates are one of the main tools to provide data and public key authentication, but their use in a Public Key Infrastructure (PKI) relies on the trustworthiness of each individual Certification Authority (CA), which may be compromised or act maliciously. Certificate Transparency (CT) mitigates this risk by requiring all issued certificates to be publicly logged, enabling the detection of unauthorized certificates. In this work, we present 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. Our monitor executes a comprehensive set of security checks, inspecting certificates for cryptographic weaknesses, syntactic inconsistencies, and potentially malicious contents, providing real-time insights into the security of the Web PKI ecosystem. We implement and evaluate our monitor on live CT log streams, analyzing its computational overhead, memory requirements, and scalability as certificate volumes increase. We quantify the resources needed to perform these analyses in real time and show that, with the proposed optimizations, our monitor is capable of keeping up with the current certificate issuance rates while performing all security checks.
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.
This paper presents an architecture for verifiable container image distribution that addresses key-management challenges and enables policy-enforced admission-time verification, and implements a proof-of-concept integrated with GitHub Actions and GitLab Runners that mitigates common supply-chain attacks under a realist...
N. Fotiou, Lefteris Georgiadis, Ignacio Lacalle et al.· 0 citations
A secure CI/CD update workflow that combines keyless Cosign signing (OIDC/Fulcio), immutable SHA-256 digest–based image addressing, mandatory pre-deployment signature verification, and freshness controls against rollback attacks is presented, while permitting controlled rollback only to previously verified versions.
An automated formal verification study of the Secure Aggregation protocol using ProVerif is presented, demonstrating how automated formal verification can support trustworthy and verifiable federated learning software systems.
Yuping Yan, Zi-Cen Zhao, Ming Fei et al.· International Conference on...· 0 citations
This work introduces a confidential software-based HSM ( ccHSM) designed to provide strong isolation and scalable key management without the need for dedicated hardware, and shows that ccHSM doesn’t suffer substantial performance trade-offs while significantly reducing cost relative to conventional hardware and cloud-b...
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
We use cookies to run the site and, with your consent, for analytics and to show ads.
See our Cookie Policy.