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
Hyperion is a software system for static analysis of compiled software, enabling the detection of undesirable behavior or the demonstration of correct behavior.
An effective tool for managing and sharing documents and data is needed to effectively support spent fuel activities.
The Verification, Validation and Uncertainty Quantification (VVUQ) for machine learning project identified processes and techniques to conduct VVUQ on machine learning applications.