Showing 1 - 10 of 79 results for the Type - Poster
Determine if indicators for Insider Workplace Violence and Insider Cyber Sabotage can be identified
This poster describes CERT Division research on an automated and accurate statistical classifier.
Virtual System Integration
Detecting Counterfeit Electronics
Building Tools to Support Data Sampling and Visualization
Formally verify STACs at the source code level using deductive (aka auto-active) verification
Property Directed Test-case Generation