CROSS post-quantum signature buffer overflow
Integer underflow of mlen in crypto_sign_open() in the CROSS reference implementation leads to a heap buffer overflow during signature verification.
// Cryptography & PQC
Review of cryptographic implementations and the code around them: post-quantum and classical schemes, TLS stacks, signature verification and key handling. The area behind most of the published CVEs. Typical engagement window: 3 to 4 weeks.
A post-quantum cryptography audit from XSource Security reviews the implementation, not the maths: signature and KEM code, TLS stacks, serialization and key handling, and the error paths around them. This is the area behind most of the published CVEs on this site, and every finding is reproduced before it is written up.
Teams integrating post-quantum cryptography, maintaining a TLS or crypto library, or embedding signature verification in a boot chain. The CROSS and Mbed TLS CVEs and the merged oqs-provider fixes listed below are the public record of the same method applied to reference implementations.
One researcher runs each engagement end to end: scoping, review, reproducing every finding and writing the report. Scope, access, findings, questions and retest results are handled in writing.
The report is written to be handed straight to whoever asked for it: customer security questionnaires, SOC 2 / ISO 27001 evidence requests, ISO/IEC 42001 and NIST AI RMF work for AI systems, procurement or investor review.
Public, credited research in the same area as this service. All Cryptography & PQC disclosures →
Integer underflow of mlen in crypto_sign_open() in the CROSS reference implementation leads to a heap buffer overflow during signature verification.
Insufficient protection of serialized SSL session/context data can lead to memory-safety issues when restoring tampered or corrupted state. Credited jointly with Haruto Kimura (Stella).
FFDH key exchange lacks contributory-behaviour / peer-key validation, enabling protocol-level abuse. Found independently by Eva Crystal (0xiviel).
Out-of-bounds read in mbedtls_ccm_finish(): an oversized tag_len in the multipart CCM API exposes adjacent CCM context data. Discovered through the Intigriti Trusted Firmware program.
Possible buffer overflow in mbedtls_ecdh_calc_secret() when the output buffer is too small - up to remote code execution.
LMS verification did not bind the signature and public key to the parameter set of the object in use. Reported publicly in issue #2568 and credited as an independent report in the joint advisory; CVE-2026-104255 assigned.
// scope & quote
Send the repository or product, the component you care about most, the build under review and the window you have in mind. A written scope and a fixed price come back before any work begins.