Xandra: An Autonomous Cyber Battle System for the Cyber Grand Challenge
Howard: A Dynamic Excavator for Reverse Engineering Data Structures