@misc{indiciae6e4c7efc7fc8,
  title = {SCOPE: Secure Compiling of PLCs in Cyber-Physical Systems},
  author = {Eyasu Getahun Chekole and Martin Ochoa and Sudipta Chattopadhyay},
  year = {2021},
  url = {https://arxiv.org/abs/2012.12529},
  note = {Source identifier: 2012.12529}
}