This tutorial deals with the increasing number of cyber attacks in industrial control system
which lead to increasing economical damage. The authors focus on the most relevant topics …

Conventional cybersecurity neglects the Internet of Things' physicality. We propose a
cognitive protection system capable of using system models to ensure command safety …

We introduce a run-time security monitor for embedded system applications that detects both
known and unknown computational cyber-attacks. Our security monitor is rigorous (ie sound …

Safety is a critical requirement for IoT systems and services in numerous application
domains, such as health, transportation, energy, and manufacturing. Security is a …

Conventional approaches for ensuring the security of application software at run-time,
through monitoring, either produce (high rates of) false alarms (eg intrusion detection …

In this paper, we present our results on the formal reliability analysis of the behavioral
correctness of our cognitive middleware ARMET. The formally assured behavioral …

We present our ongoing work and initial results towards the (behavioral) correctness
analysis of the cognitive middleware AWDRAT. Since, the (provable) behavioral correctness …

Testing and monitoring constitute two required technologies for robust cyber-physical and
IoT systems. Testing is fundamental to the system design process as well as to its …

Conventional cybersecurity neglects the Internet of Things' physicality. We propose a
“Cognitive Protection System” capable of using system models to ensure command safety …

In this paper, we present our ongoing work and formalism of a novel data classification
method (Abstract Data Machine) for reliable software systems. Most of the approaches for …