| Publication date | Communities | Collections | Article title | Author(s) | Journal/Conference |
|---|---|---|---|---|---|
| 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 |