Search results

Publication date Communities Collections Article title Author(s) Journal/Conference
13 Mar 2021 SERC Institute for Infocomm Research SCOPE: Secure Compiling of PLCs in Cyber-Physical Systems Eyasu Getahun Chekole, Martín Ochoa, Sudipta Chattopadhyay International Journal of Critical Infrastructure Protection
10 Dec 2019 SERC Institute for Infocomm Research ICS-SEA: Formally Modeling the Conflicting Design Constraints in ICS Eyasu Getahun Chekole, Huaqun Guo ICSS: Proceedings of the Fifth Annual Industrial Control System Security (ICSS) Workshop