The Verification, Validation and Uncertainty Quantification (VVUQ) for machine learning project identified processes and techniques to conduct VVUQ on machine learning applications.
Filter Projects
Area of Research
Date
The Beholder system is a software client / server system that detects intrusion by monitoring the real-world execution time of critical kernel-level operations. Beholder was designed for use with critical infrastructure systems, especially in the power grid.
Hyperion is a software system for static analysis of compiled software, enabling the detection of undesirable behavior or the demonstration of correct behavior.