Florida International University
Edit Your Profile
FIU Discovery
Toggle navigation
Browse
Home
People
Organizations
Scholarly & Creative Works
Research Facilities
Support
IECON Proceedings Industrial Electronics Conference
Journal
Overview
Identifiers
View All
Overview
publication venue for
Synthesizing Inline Security Monitors for ICS Using Generative AI and FormalBench
2025
Applying Inline Monitoring to Detect Run-Time Security Incidents in Water Distribution Systems
2024
Identifiers
International Standard Serial Number (ISSN)
2162-4704
Electronic International Standard Serial Number (EISSN)
2577-1647