@InProceedings{XiangFC2021,
  author = 	 {Jian Xiang and Nathan Fulton and Stephen Chong},
  title = 	 {Relational Analysis of Sensor Attacks on Cyber-Physical Systems},
  year = 	 2021,
  month = 	 jun,
  booktitle =	 {Proceedings of the 34th {IEEE} Computer Security Foundations Symposium},
  publisher =    {IEEE Press},
  address = 	 {Piscataway, NJ, USA}
}