@misc{indiciaec85285037126,
  title = {Oses for High Consequence Applications; Might SeL4 benefit Nuclear Weapons?.},
  author = {Evans, Noah},
  year = {2022},
  doi = {10.2172/2005694},
  url = {https://www.osti.gov/biblio/2005694},
  note = {Source identifier: 2005694}
}