Framework Notifies 'All Customers' of Data Breach Linked to Upstream Vendor Incident⭐7

Framework warns all customers of a data breach via Metabase vendor hack, exposing names, emails, phones, and addresses, but payment data remains safe.

LLM-driven, Formal Verification-Assisted Framework For Functional-Safety-Oriented Fault Criticality Assessment (ASU, TI)⭐8

ASU and TI propose an LLM-driven, formal verification-assisted framework for functional safety fault criticality assessment.