research
∙
05/22/2021
Runtime Enforcement of Programmable Logic Controllers
With the advent of Industry 4.0, industrial facilities and critical infr...
share
research
∙
07/18/2020
A process calculus approach to correctness enforcement of PLCs (full version)
We define a simple process calculus, based on Hennessy and Regan's Timed...
research
∙
02/12/2019
A Formal Approach to Physics-Based Attacks in Cyber-Physical Systems (Extended Version)
We apply formal methods to lay and streamline theoretical foundations to...
research
∙
06/27/2018