Open source software provided by MTG and Cryspen
This software tool helps analyze Post-Quantum (PQC) certificates and their public keys – an important step toward ensuring security in a post-quantum world.
JZLint 2.0 enables the so-called linting, i.e., checking certificates for errors and conformance with relevant specifications. This process is a key component in the issuance of digital certificates by public certificate authorities (CAs) that are trusted by common browsers. Certificates must be checked using linting before they are issued to ensure compliance with technical standards and security requirements.
The new version of JZLint extends linting to certificates that use post-quantum cryptographic algorithms. In addition to verifying the formal and technical properties of PQC certificates, the tool places particular emphasis on the quality of the public keys they contain. This in-depth analysis is supported by the library libcrux – a formally verified cryptographic library implemented in Rust and developed by Cryspen.
Origin of text: https://www.mtg.de/en/news/JZLint-2.0-New-Tool-for-Analyzing-PQC-Certificates/
Foto von Jakub Żerdzicki auf Unsplash