Reasoning about Accidental and Malicious Misuse via Formal Methods
tearline
Submitted by najmeri on Wed, 09/25/2019 - 3:28pm
tearline
Submitted by najmeri on Wed, 09/25/2019 - 3:28pm
tearline
Submitted by najmeri on Tue, 06/25/2019 - 10:57pm
tearline
Submitted by najmeri on Tue, 06/25/2019 - 10:56pm
group_project
Submitted by najmeri on Tue, 04/09/2019 - 4:09pm
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.
tearline
Submitted by Katie Dey on Tue, 04/09/2019 - 3:55pm