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.
Filter Projects
Area of Research
Date
Hyperion is a software system for static analysis of compiled software, enabling the detection of undesirable behavior or the demonstration of correct behavior.
The Verification, Validation and Uncertainty Quantification (VVUQ) for machine learning project identified processes and techniques to conduct VVUQ on machine learning applications.