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.
Quantum computing promises a platform for efficiently solving certain types problems thought to be intractable for traditional computers. The number of qubits needed to be competitive with classical computers varies dramatically depending on the problem. This project seeks to determine the maximum quantum operation rate for a given cooling capacity.
Developing a ground-based, quantum-secured, authenticated time distribution system for the energy grid.