148 matches found
[SECURITY] Fedora 44 Update: zenon-0.8.5-41.fc44
Zenon is an automated theorem prover for first order classical logic with equality, based on the tableau method. Zenon can read input files in TPTP, Coq, Focal, and its own Zenon format. Zenon can directly generate Coq proofs proof scripts or proof terms, which can be reinserted into Coq...
Fedora 44 : flocq / gappalib-coq / rocq / rocq-stdlib / why3 / zenon (2026-62bbabcf11)
The remote Fedora 44 host has packages installed that are affected by multiple vulnerabilities as referenced in the FEDORA-2026-62bbabcf11 advisory. See https://rocq-prover.org/doc/v9.3/refman/changes.htmlversion-9-3 for changes in rocq 9.3.0. See...
[SECURITY] Fedora 45 Update: zenon-0.8.5-45.fc45
Zenon is an automated theorem prover for first order classical logic with equality, based on the tableau method. Zenon can read input files in TPTP, Coq, Focal, and its own Zenon format. Zenon can directly generate Coq proofs proof scripts or proof terms, which can be reinserted into Coq...
COPA-DATA zenon Remote Transport Service Missing Authentication for Critical Function (CVE-2025-8754)
Binary data copadatazenoncve-2025-8754.nbin...
Copa-Data zenon - Login Panel Detection
Copa-Data zenon is an industrial automation platform used in manufacturing, energy, and infrastructure. The zenon Web Server and Smart Server expose a browser-based HMI interface for remote monitoring and control of SCADA processes. !/usr/bin/env python3 -- coding: utf-8 -- """Copa-Data zenon is ...
ABB Ability zenon Auth Bypass DoS
The vulnerability of the software platform for operating data management in ABB Ability zenon relates to the absence of authentication for critical functions. Exploiting this vulnerability could allow a malicious actor to trigger service failures remotely...
EUVD-2011-4460
Malware in sbrugna...
EUVD-2011-4459
Malware in sbrugna...
EUVD-2014-2383
Malware in sbrugna...
EUVD-2019-6590
Malware in sbrugna...
EUVD-2014-2382
Malware in sbrugna...
EUVD-2023-43990
Malicious code in bioql PyPI...
EUVD-2024-47087
Malicious code in bioql PyPI...
EUVD-2023-43991
Malicious code in bioql PyPI...
EUVD-2022-37744
Malicious code in bioql PyPI...
EUVD-2022-37743
Malicious code in bioql PyPI...
EUVD-2023-43992
Malicious code in bioql PyPI...
EUVD-2023-43989
Malicious code in bioql PyPI...