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 R. Moyne, Z. Morley Mao
VenueA*SP
Year2019
ProceedingsIEEE Symposium on Security and Privacy
DBLP recordconf/sp/ZhangCKQSLSMBMM19 ↗
Browse the full SP paper archive.