Search: “formal verification”

12 stories

Searchkeyword smart Sortlatest hot importance relevance

DomainAll Cyber AIWindow24h 3d 7d 30d AllIn the wild Important only Show duplicates

CategoryAll Vulnerability 37 Data breach 25 Policy & legal 20 Phishing & fraud 20 Industry 16 Malware 14 Research 13 Exploit / PoC 12 Ransomware 10 Threat actor 8 AI research 7 AI safety & security 6 Advisory 2 Model release 2

SeverityAll critical 65 high 34 medium 32 low 37 info 28

Apple open-sources quantum

CyberScoopMay 26, 19:40 UTC · May 26, 2026Exploit / PoC

60

White House: Use memory-safe programming languages to protect the nation

Help Net SecurityFeb 27, 00:00 UTC · Feb 27, 2024Exploit / PoC in the wild

60

Week in review: The future of Metasploit, detecting lateral movement, new issue of (IN)SECURE Magazine

Help Net SecurityJul 24, 00:00 UTC · Jul 24, 2022Exploit / PoC

60

OpenAI's rogue AI agent shows why we need federal rules for autonomous systems

CyberScoopJul 29, 10:00 UTC · Jul 29, 2026Exploit / PoC in the wild

60

Interesting Attack on the EMV Smartcard Payment Standard

Schneier on SecuritySep 15, 00:00 UTC · Sep 15, 2020Exploit / PoC

60

CERT-In Recommends 12-Hour Patching for Internet-Facing Flaws Amid AI

The Hacker NewsMay 26, 12:07 UTC · May 26, 2026Exploit / PoC in the wild

60

Department of Interior grounding drone fleet over cybersecurity concerns

CyberScoopJan 29, 18:21 UTC · Jan 29, 2020Exploit / PoC in the wild

60

Second flaw found in Swiss election system could change 'valid votes into nonsense,' researchers say

CyberScoopMar 25, 13:51 UTC · Mar 25, 2019Exploit / PoC in the wild

60

SolarWinds says fewer than 100 customers were impacted by supply chain attack

The RecordDec 9, 00:00 UTC · Dec 9, 2022Exploit / PoC

60

0x20k of Ghost Squad released ODay Exploit Targeting Apache Hadoop

Security AffairsNov 1, 14:34 UTC · Nov 1, 2018Exploit / PoC

60

Week in review: Microsoft fixes exploited Office zero-day, Fortinet patches FortiCloud SSO flaw

Help Net SecurityFeb 1, 00:00 UTC · Feb 1, 2026Exploit / PoC in the wildCVE-2026-21509 CVE-2026-24858 CVE-2025-8088+1 CVEs

60

⚡ Weekly Recap: Rogue AI Agents, Check Point Exploit, Slopsquatting, ClickFix Lures and More

The Hacker NewsJul 28, 05:26 UTC · Jul 28, 2026Exploit / PoC in the wildCVE-2026-16232 CVE-2025-66376 CVE-2026-54121+52 CVEs

60