Mu Zhang, Chien-Ying Chen, Bin-Chou Kao, Yassine Qamsane, Yuru Shao, Yikai Lin, Elaine Shi, Sibin Mohan, Kira Barton, James Moyne, others
(2019).
Towards automated safety vetting of PLC code in real-world plants.
2019 IEEE Symposium on Security and Privacy (SP).