← SearchMAKING PROOF-BASED VERIFIABLE COMPUTATION PRACTICAL$246,128FY2014Department of DefenseDODNew York University, New York NYInvestigatorsView source on USAspending →