243 matches found
project_bias
projectbias A high-performance, bias-free cryptographic stream engine written in Ada and formally verified with SPARK. The engine guarantees zero statistical bias when mapping raw entropy into custom alphabets by discarding modulo-biased values, drawing security bytes directly from native OS kern...
Paying in ADA: Cardano’s vision for the future of payroll
Cardano payroll could support ADA salaries and automated payments, but employers must address price volatility, tax obligations, wallet security and compliance...
Win32_Hash
win32hash Password hashing and verification for Windows, written in Ada/SPARK. It derives a hash with PBKDF2-HMAC-SHA256 through the Windows CNG API bcrypt, generates a random salt, stores it as Base64, and wipes every secret it touches. Almost all of the code is proved with GNATprove; the few...
1xn-vmcp (>=0.5.2, <=0.6.1), a2c-smcp (>=0.1.1rc0, <=0.1.5) +853 more potentially affected by CVE-2026-52869 via mcp (>=1.0.0, <=1.27.1)
mcp PYPI version =1.0.0, =0.5.2, =0.1.1rc0, =0.0.2, =0.2.0, =1.2.3, =0.1.1, =0.11.3, =0.11.8, =0.1.0, =0.1.31 and more Source cves: CVE-2026-52869 Source advisory: OSV:PYSEC-2026-3482...
1xn-vmcp (>=0.5.2, <=0.6.1), a2c-smcp (>=0.1.1rc0, <=0.1.5) +1090 more potentially affected by CVE-2026-59950 via mcp (>=1.0.0, <=1.28.0)
mcp PYPI version =1.0.0, =0.5.2, =0.1.1rc0, =0.0.2, =0.2.0, =0.1.7rc1, =1.2.3, =0.5.0, =0.1.1, =0.11.3, =0.11.8, =0.11.9 and more Source cves: CVE-2026-59950 Source advisory: GHSA-VJ7Q-GJH5-988W...
The Prover Is the Judge: Verified Security Software from AI Coding Agents in Ada/SPARK
AI coding agents produce code faster than humans can review it. In our approach, the prover is the judge of whether the code is correct. Under a verifier-driven loop, AI agents wrote and verified bare-metal security software in Ada/SPARK spanning classical and post-quantum cryptography, TLS 1.3,...
embedding-ada (>=0.1.3, <=0.1.7), jpl-rosa (>=1.0.5, <=1.0.6) potentially affected by CVE-2026-26013 via langchain-core (0.2.34)
langchain-core PYPI version 0.2.34 is affected by a known vulnerability. The following packages have a transitive dependency on langchain-core and may be impacted: - embedding-ada =0.1.3, =1.0.5, =1.0.6 Source cves: CVE-2026-26013 Source advisory: OSV:PYSEC-2026-2562...
CVE-2026-9199: Missing Authorization
The Equalize Digital Accessibility Checker – WCAG, ADA, EAA and Section 508 compliance plugin for WordPress is vulnerable to authorization bypass in all versions up to, and including, 1.42.1. This is due to the plugin not properly verifying that a user is authorized to perform an action. This mak...
CVE-2026-9015: Missing Authorization
The Equalize Digital Accessibility Checker – WCAG, ADA, EAA and Section 508 compliance plugin for WordPress is vulnerable to authorization bypass in all versions up to, and including, 1.42.0. This is due to the plugin not properly verifying that a user is authorized to perform an action. This mak...
embedding-ada (>=0.1.3, <=0.1.7), jpl-rosa (>=1.0.5, <=1.0.6) potentially affected by CVE-2026-34070 via langchain-core (0.2.34)
langchain-core PYPI version 0.2.34 is affected by a known vulnerability. The following packages have a transitive dependency on langchain-core and may be impacted: - embedding-ada =0.1.3, =1.0.5, =1.0.6 Source cves: CVE-2026-34070 Source advisory: OSV:PYSEC-2026-2193...
embedding-ada (>=0.1.3, <=0.1.7), jpl-rosa (>=1.0.5, <=1.0.6) potentially affected by CVE-2026-34070 via langchain-core (0.2.34)
langchain-core PYPI version 0.2.34 is affected by a known vulnerability. The following packages have a transitive dependency on langchain-core and may be impacted: - embedding-ada =0.1.3, =1.0.5, =1.0.6 Source cves: CVE-2026-34070 Source advisory: OSV:GHSA-QH6H-P6C9-FF54...
embedding-ada (>=0.1.3, <=0.1.7), jpl-rosa (>=1.0.5, <=1.0.6) potentially affected by CVE-2026-26013 via langchain-core (0.2.34)
langchain-core PYPI version 0.2.34 is affected by a known vulnerability. The following packages have a transitive dependency on langchain-core and may be impacted: - embedding-ada =0.1.3, =1.0.5, =1.0.6 Source cves: CVE-2026-26013 Source advisory: OSV:GHSA-2G6R-C272-W58R...
Siemens SIMATIC S7-1500 Out-of-bounds Write (CVE-2023-39128)
GNU gdb GDB 13.0.50.20220805-git was discovered to contain a stack overflow via the function adadecode at /gdb/ada-lang.c. This plugin only works with Tenable.ot. Please visit https://www.tenable.com/products/tenable-ot for more information. %NASLMINLEVEL 80900 C Tenable, Inc. include'compat.inc'...
EUVD-2025-139188
Malicious code in nuyar-adamr-ada npm...
Malicious code in kapai-afammnaaa-ada (npm)
--- -= Per source details. Do not edit below this line.=- Source: amazon-inspector 2f1398ab1e2130ffb120f2067556bac20522bd85abc1b2fa34754bf9b849a255 This package appears to be part of the tea.xyz token reward campaign that flooded npm. These packages typically contain autopublish scripts auto.js,...
EUVD-2004-2455
Malware in sbrugna...
EUVD-2002-0268
Malware in sbrugna...
EUVD-2014-1233
Malware in sbrugna...