| 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 |