@misc{indiciae00950c0fbb38, title = {A Modular Approach to Trusted System Design for Arms Control Treaty Verification.}, author = {Polack, John Kyle and Brubaker, Erik and Hamel, Michael C. and Helguero, Rachel Rae and Maierhafer, Daniel and Marleau, Peter and Padilla, Eduardo A. and Weber, Thomas M.}, year = {2020}, url = {https://www.osti.gov/biblio/1806271}, note = {Source identifier: 1806271} }