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