Hyperion is a software system for static analysis of compiled software, enabling the detection of undesirable behavior or the demonstration of correct behavior.
ORNL is developing quantum information tools to help secure the electric grid. Researchers are working to extend the range and reduce the cost of quantum key distribution.