Skip to content
Conference Open access

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

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.

Read PDF

Similar papers

Preprint Aug 2026

Improving the Security of Containerized Workloads using Transparency and Traceability Services

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
2026

A cryptographically verified approach to secure Docker container updates in CI/CD pipelines

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.

Vitaliy Tymoshchuk, Dmytro Tymoshchuk, Mykola Mytnyk et al. · 0 citations
Aug 2026

Automated formal verification of secure aggregation protocols

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. · 0 citations
Conference Open access 2026

Confidential Key Management as a Service: Enhancing Availability and Isolation in Key Protection

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...

Ngoc Nhat Huyen Tran, Christof Fetzer · 0 citations
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

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