LogiC-Diff: Embedding Security Properties Into AI-Enabled Cyber-Physical Systems

Name: LogiC-Diff: Embedding Security Properties Into AI-Enabled Cyber-Physical Systems
Uploaded: 2026-10-05T01:13:06.337074+00:00
Duration: 1112 s
Description: LOGIC-DIFF is a bi-stage diffusion framework that embeds Signal Temporal Logic (STL) specifications directly into AI forecasting to secure Cyber-Physical Systems against adversarial attacks. It works by using logic constraints to guide input repair and output refinement, ensuring the model generates predictions that satisfy physical safety rules during inference.

LOGIC-DIFF is a bi-stage diffusion framework that embeds Signal Temporal Logic (STL) specifications directly into AI forecasting to secure Cyber-Physical Systems against adversarial attacks. It works by using logic constraints to guide input repair and output refinement, ensuring the model generates predictions that satisfy physical safety rules during inference.

Open the full episode