%0 Conference Paper %1 conf/eurosp/SunMLC21 %A Sun, Ruimin %A Mera, Alejandro %A Lu, Long %A Choffnes, David R. %B EuroS&P %D 2021 %I IEEE %K dblp %P 385-402 %T SoK: Attacks on Industrial Control Logic and Formal Verification-Based Defenses. %U http://dblp.uni-trier.de/db/conf/eurosp/eurosp2021.html#SunMLC21 %@ 978-1-6654-1491-3

@inproceedings{conf/eurosp/SunMLC21, added-at = {2023-09-30T00:00:00.000+0200}, author = {Sun, Ruimin and Mera, Alejandro and Lu, Long and Choffnes, David R.}, biburl = {https://www.bibsonomy.org/bibtex/2bd436d110407d760c1c1fe967d63182d/dblp}, booktitle = {EuroS&P}, crossref = {conf/eurosp/2021}, ee = {https://doi.org/10.1109/EuroSP51992.2021.00034}, interhash = {7651c6f74c008b59839f85fd828c9c2a}, intrahash = {bd436d110407d760c1c1fe967d63182d}, isbn = {978-1-6654-1491-3}, keywords = {dblp}, pages = {385-402}, publisher = {IEEE}, timestamp = {2024-04-09T18:22:03.000+0200}, title = {SoK: Attacks on Industrial Control Logic and Formal Verification-Based Defenses.}, url = {http://dblp.uni-trier.de/db/conf/eurosp/eurosp2021.html#SunMLC21}, year = 2021 }