Mastodawn

CVE Alert: CVE-2025-55222 - Socomec - DIRIS Digiware M-70 - https://www.redpacketsecurity.com/cve-alert-cve-2025-55222-socomec-diris-digiware-m-70/

#OSINT #ThreatIntel #CyberSecurity #cve-2025-55222 #socomec #diris-digiware-m-70

CVE Alert: CVE-2025-55222 - Socomec - DIRIS Digiware M-70 - RedPacket Security

A denial of service vulnerability exists in the Modbus TCP and Modbus RTU over TCP USB Function functionality of Socomec DIRIS Digiware M-70 1.6.9. A

RedPacket Security

RedPacket Security Dec 1

CVE Alert: CVE-2025-55221 - Socomec - DIRIS Digiware M-70 - https://www.redpacketsecurity.com/cve-alert-cve-2025-55221-socomec-diris-digiware-m-70/

#OSINT #ThreatIntel #CyberSecurity #cve-2025-55221 #socomec #diris-digiware-m-70

CVE Alert: CVE-2025-55221 - Socomec - DIRIS Digiware M-70 - RedPacket Security

A denial of service vulnerability exists in the Modbus TCP and Modbus RTU over TCP USB Function functionality of Socomec DIRIS Digiware M-70 1.6.9. A

RedPacket Security

RedPacket Security Dec 1

CVE Alert: CVE-2025-54850 - Socomec - DIRIS Digiware M-70 - https://www.redpacketsecurity.com/cve-alert-cve-2025-54850-socomec-diris-digiware-m-70/

#OSINT #ThreatIntel #CyberSecurity #cve-2025-54850 #socomec #diris-digiware-m-70

CVE Alert: CVE-2025-54850 - Socomec - DIRIS Digiware M-70 - RedPacket Security

High risk: unauthenticated, network-based denial-of-service against DIRIS Digiware M-70 with potential for immediate availability impact; KEV/SSVC

RedPacket Security

RedPacket Security Dec 1

CVE Alert: CVE-2025-54851 - Socomec - DIRIS Digiware M-70 - https://www.redpacketsecurity.com/cve-alert-cve-2025-54851-socomec-diris-digiware-m-70/

#OSINT #ThreatIntel #CyberSecurity #cve-2025-54851 #socomec #diris-digiware-m-70

CVE Alert: CVE-2025-54851 - Socomec - DIRIS Digiware M-70 - RedPacket Security

A denial of service vulnerability exists in the Modbus TCP and Modbus RTU over TCP functionality of Socomec DIRIS Digiware M-70 1.6.9. A specially crafted

RedPacket Security

RedPacket Security Dec 1

CVE Alert: CVE-2025-54849 - Socomec - DIRIS Digiware M-70 - https://www.redpacketsecurity.com/cve-alert-cve-2025-54849-socomec-diris-digiware-m-70/

#OSINT #ThreatIntel #CyberSecurity #cve-2025-54849 #socomec #diris-digiware-m-70

CVE Alert: CVE-2025-54849 - Socomec - DIRIS Digiware M-70 - RedPacket Security

A denial of service vulnerability exists in the Modbus TCP and Modbus RTU over TCP functionality of Socomec DIRIS Digiware M-70 1.6.9. A specially crafted

RedPacket Security

RedPacket Security Dec 1

CVE Alert: CVE-2025-54848 - Socomec - DIRIS Digiware M-70 - https://www.redpacketsecurity.com/cve-alert-cve-2025-54848-socomec-diris-digiware-m-70/

#OSINT #ThreatIntel #CyberSecurity #cve-2025-54848 #socomec #diris-digiware-m-70

CVE Alert: CVE-2025-54848 - Socomec - DIRIS Digiware M-70 - RedPacket Security

A denial of service vulnerability exists in the Modbus TCP and Modbus RTU over TCP functionality of Socomec DIRIS Digiware M-70 1.6.9. A specially crafted

RedPacket Security

Boyd Stephen Smith Jr.Sep 17, 2024

Hey, #diris check out my Okasaki library. It's not necessarily where I want it, but it appears for build for Idris2 now, which is an improvement: https://gitlab.com/bss03/idris2-okasaki-pfds

You might find the pure functional data structures useful.

Boyd Stephen Smith Jr. / Okasaki-style Purely Functional Data Structures in Idris2 · GitLab

Idris2 port of older Idris implementation of the data structures from the appendix of Chris Okasaki's book Purely Functional Data Strcutures

GitLab