Synthesizing Inline Security Monitors for ICS Using Generative AI and FormalBench.

George E. Raptis, Muhammad Taimoor Khan, Christos Koulamas, Dimitrios Serpanos

Browse the full IECON paper archive.