LLM-based Generation of Formal Specification for Run-time Security Monitoring of ICS Conference

Raptis, George E, Khan, Muhammad Taimoor, Koulamas, Christos et al. (2025). LLM-based Generation of Formal Specification for Run-time Security Monitoring of ICS . 963-968. 10.1109/CSR64739.2025.11130130

International Collaboration

cited authors

  • Raptis, George E; Khan, Muhammad Taimoor; Koulamas, Christos; Serpanos, Dimitrios

authors

date/time interval

  • August 4, 2025 -

publication date

  • January 1, 2025

keywords

  • Computer Science
  • Computer Science, Information Systems
  • Computer Science, Theory & Methods
  • Industrial Control Systems (ICS)
  • Java Modeling Language (JML)
  • Science & Technology
  • Technology
  • cyberphysical systems
  • formal specification
  • generative AI
  • inline monitors
  • large language models (LLMs)
  • runtime verification
  • security monitoring
  • water distribution systems

Location

  • GREECE

Digital Object Identifier (DOI)

International Standard Book Number (ISBN) 13

Conference

  • 2025 International Conference on Cyber Security and Resilience-CSR-Annual

publisher

  • IEEE

start page

  • 963

end page

  • 968