TAS::57 3600::TAS "REALIZING THE PROMISE OF PROOF-BASED VERIFIABLE COMPUTATION" (THE GRANTEE'S TECHNICAL PROPOSAL, DATED 17 FEB 2015)

$750,000FY2015Department of the Air ForceDOD

New York University, New York NY

Investigators