THIS IS A CONTINUATION OF N00014-14-1-0469 MAKING PROOF-BASED VERIFIABLE COMPUTATION PRACTICAL

$178,492FY2016Department of the NavyDOD

New York University, New York NY

Investigators