Towards Automated Safety Vetting of PLC Code in Real-World Plants.
Mu ZhangChien-Ying ChenBin-Chou KaoYassine QamsaneYuru ShaoYikai LinElaine ShiSibin MohanKira BartonJames R. MoyneZ. Morley MaoPublished in: IEEE Symposium on Security and Privacy (2019)