Towards automated safety vetting of PLC code in real-world plants

Mu Zhang, Chien-Ying Chen, Bin-Chou Kao, Yassine Qamsane, Yuru Shao, Yikai Lin, Elaine Shi, Sibin Mohan, Kira Barton, James Moyne, others
January 2019
PDF
Type
Conference paper
Publication
2019 IEEE Symposium on Security and Privacy (SP)

Related