TY  - RPRT
TI  - Secure System Composition and Type Checking using Cryptographic Proofs [Slides]
AU  - Barrack, Daniel Abraham
PY  - 2022
DO  - 10.2172/1876757
UR  - https://www.osti.gov/biblio/1876757
ID  - 1876757
ER  -