@misc{indiciaeac33d7a73371,
  title = {Formal Methods for Provably Secure Software and Firmware},
  author = {Whyatt, Marie V. and Powers, Caitlyn B. and Pollans, Emma L. and Van Vaerenbergh, Brandon J. and Peterson, Joshua A. and Martinez, Raul Y.},
  year = {2024},
  url = {https://www.osti.gov/biblio/2472787},
  note = {Source identifier: 2472787}
}