• Synthesizing Inline Security M...

Treffer: Synthesizing Inline Security Monitors for ICS Using Generative AI and FormalBench

Title:
Synthesizing Inline Security Monitors for ICS Using Generative AI and FormalBench
Authors:
Raptis, George E., Taimoor Khan, Muhammad, Koulamas, Christos, Serpanos, Dimitrios
Source:
IECON 2025 – 51st Annual Conference of the IEEE Industrial Electronics Society IEEE Industrial Electronics Society, IECON 2025 – 51st Annual Conference of the. :1-6 Oct, 2025
Relation:
IECON 2025 – 51st Annual Conference of the IEEE Industrial Electronics Society
Database:
IEEE Xplore Digital Library