@misc{indiciae7920005e16ec,
  title = {Exploring Applied Cryptosystems to Formally Verify Security in Cyber-Physical Systems},
  author = {Logsdon, Sara Rose},
  year = {2022},
  url = {https://www.osti.gov/biblio/1880065},
  note = {Source identifier: 1880065}
}