BRIDGING THE HARDWARE-SOFTWARE GAP: A PROOF-CARRYING APPROACH FOR COMPUTER SYSTEMS TRUST EVALUATION

$198,846FY2017Department of the ArmyDOD

University Of Florida, Gainesville FL

Investigators