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

Abstract

UNIFICATION IN SYMBOLIC METHODS FOR THE VERIFICATION OF AUTOMATICALLY SYNTHESIZED CRYPTOSYSTEMS I ACCORDANCE WITH THE STATEMENT OF WORK

Document Details

Document Type
DoD Grant Award
Publication Date
Jul 07, 2020
Source ID
N00173191G012

Entities

People

  • Shannon Robinson

Organizations

  • Clarkson University
  • United States Naval Research Laboratory
  • United States Navy