osec-2026-17
CVSS 5.9 osv_ocaml
Description
The scalar multiplication includes pre-computed tables for speedup (introduced in mirage-crypto-ec 0.11.3). The lookup algorithm for these tables performs secret-dependent reads instead of scanning the entire table. ## Solution Instead of using the index `n - 1`, where `n` is secret-dependent, use `i - 1`, as done in the Go reference implementation. If `n` is 0, there is a out-of-bounds read before the patch. ## Timeline - 2026-08-12: report by Eric Ebinger to security@ocaml.org - 2026-08-17: release of mirage-crypto-ec 2.4.0 and this advisory
Timeline
- Published
- unknown
- Last Modified
- unknown
CVSS Details
CVSS details not available.
Affected Products
No product information available.
Weaknesses (CWE)
References
No references available.
Linked Vulnerabilities
No linked vulnerabilities found.
{
"affected": [
{
"database_specific": {
"source": "https://github.com/ocaml/security-advisories/blob/generated-osv/2026/OSEC-2026-17.json"
},
"ecosystem_specific": {
"affected_bindings": [
"Mirage_crypto_ec.P256.Dh.share",
"Mirage_crypto_ec.P256.Dsa.generate",
"Mirage_crypto_ec.P256.Dsa.sign",
"Mirage_crypto_ec.P256.Dsa.pub_of_priv",
"Mirage_crypto_ec.P384.Dh.share",
"Mirage_crypto_ec.P384.Dsa.generate",
"Mirage_crypto_ec.P384.Dsa.sign",
"Mirage_crypto_ec.P384.Dsa.pub_of_priv",
"Mirage_crypto_ec.P521.Dh.share",
"Mirage_crypto_ec.P521.Dsa.generate",
"Mirage_crypto_ec.P521.Dsa.sign",
"Mirage_crypto_ec.P521.Dsa.pub_of_priv"
],
"opam_constraint": "mirage-crypto-ec {>= \"0.11.3\" & < \"2.4.0\"}"
},
"package": {
"ecosystem": "opam",
"name": "mirage-crypto-ec",
"purl": "pkg:opam/mirage-crypto-ec"
},
"ranges": [
{
"events": [
{
"introduced": "0.11.3"
},
{
"fixed": "2.4.0"
}
],
"type": "ECOSYSTEM"
},
{
"events": [
{
"introduced": "0"
},
{
"fixed": "1a61aeee7f593ec067612df1739ec905eab0450f"
}
],
"repo": "https://github.com/mirage/mirage-crypto",
"type": "GIT"
}
],
"versions": [
"0.11.3",
"1.0.0",
"1.1.0",
"1.2.0",
"2.0.0",
"2.0.1",
"2.0.2",
"2.0.3",
"2.1.0",
"2.2.0",
"2.3.0",
"v2.3.0",
"v2.2.0",
"v2.1.0",
"v2.0.3",
"v2.0.2",
"v2.0.1",
"v2.0.0",
"v1.2.0",
"v1.1.0",
"v1.0.1",
"v1.0.0",
"v0.11.3",
"v0.11.2",
"v0.11.1",
"v0.11.0",
"v0.10.7",
"v0.10.6",
"v0.10.5",
"v0.10.4",
"v0.10.3",
"v0.10.2",
"v0.10.1",
"v0.10.0",
"v0.9.2",
"v0.9.1",
"v0.9.0",
"v0.8.10",
"v0.8.9",
"v0.8.8",
"v0.8.7",
"v0.8.6",
"v0.8.5",
"v0.8.4",
"v0.8.3",
"v0.8.2",
"v0.8.1",
"v0.8.0",
"v0.7.0",
"v0.6.2",
"v0.6.1",
"v0.6.0"
]
}
],
"aliases": [
"CVE-2026-87737"
],
"credits": [
{
"name": "Eric Ebinger",
"type": "REPORTER"
},
{
"name": "Hannes Mehnert",
"type": "COORDINATOR"
},
{
"name": "Virgile Robles",
"type": "REMEDIATION_REVIEWER"
},
{
"name": "Eric Ebinger",
"type": "REMEDIATION_DEVELOPER"
}
],
"database_specific": {
"cwe": [
"CWE-208"
],
"human_link": "https://github.com/ocaml/security-advisories/tree/main/advisories/2026/OSEC-2026-17.md",
"osv": "https://github.com/ocaml/security-advisories/tree/generated-osv/2026/OSEC-2026-17.json"
},
"details": "The scalar multiplication includes pre-computed tables for speedup (introduced in mirage-crypto-ec 0.11.3). The lookup algorithm for these tables performs secret-dependent reads instead of scanning the entire table.\n\n## Solution\n\nInstead of using the index `n - 1`, where `n` is secret-dependent, use `i - 1`, as done in the Go reference implementation. If `n` is 0, there is a out-of-bounds read before the patch.\n\n## Timeline\n- 2026-08-12: report by Eric Ebinger to security@ocaml.org\n- 2026-08-17: release of mirage-crypto-ec 2.4.0 and this advisory",
"id": "OSEC-2026-17",
"modified": "2026-09-10T10:15:04.447706207Z",
"published": "2026-08-17T09:45:00Z",
"schema_version": "1.9.0",
"severity": [
{
"score": "CVSS:3.1/AV:N/AC:H/PR:N/UI:N/S:U/C:H/I:N/A:N",
"type": "CVSS_V3"
}
],
"summary": "Timing leak in NIST elliptic curves scalar multiplication"
}