2 papers
cs.CR2019
Detecting Safety and Security Faults in PLC Systems with Data Provenance
Abdullah Al Farooq, Jessica Marquard, Kripa George +1
Programmable Logic Controllers are an integral component for managing many different industrial processes (e.g., smart building management, power generation, water and wastewater m…
cs.CR2018
IoTC2: A Formal Method Approach for Detecting Conflicts in Large Scale IoT Systems
Abdullah Al Farooq, Ehab Al-Shaer, Thomas Moyer +1
Internet of Things (IoT) has become a common paradigm for different domains such as health care, transportation infrastructure, smart home, smart shopping, and e-commerce. With its…