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