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

Project Details

Performance Period

Jun 16, 2021

Institution(s)

North Carolina State University

Sponsor(s)

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.