UNIFICATION IN SYMBOLIC METHODS FOR THE VERIFICATION OF AUTOMATICALLY SYNTHESIZED CRYPTOSYSTEMS.

$417,170FY2019Department of the NavyDOD

Clarkson University, Potsdam NY

Investigators

UNIFICATION IN SYMBOLIC METHODS FOR THE VERIFICATION OF AUTOMATICALLY SYNTHESIZED CRYPTOSYSTEMS. · GrantIndex