Visible to the public Reasoning about Accidental and Malicious Misuse via Formal MethodsConflict Detection Enabled

Project Details

Performance Period

Jun 16, 2021


North Carolina State University


National Security Agency

Ranked 61 out of 118 Group Projects in this group.
2671 related hits.

This project seeks to aid security analysts in identifying and protecting against accidental and malicious actions by users or software through automated reasoning on unified representations of user expectations and software implementation to identify misuses sensitive to usage and machine context.