TY  - RPRT
TI  - Verifiable Security Templates for Hardware
AU  - Harrison, Bill
AU  - Allwein, Gerard
PY  - 2020
DO  - 10.23919/date48585.2020.9116342
UR  - https://www.osti.gov/biblio/1884040
ID  - 1884040
ER  -