Team TECHx: DARPA's Cyber Grand Challenge HD

The TECHx team consists of leading software analysis experts from GrammaTech, Inc. and the University of Virginia. The team is led by Dr. David Melski (PI) and Professors Jack Davidson and John Knight (co-PIs). GrammaTech and UVA are co-developers of an automatic software-hardening technology called PEASOUP ("Preventing Exploits of Software Of Uncertain Provenance"). PEASOUP uses a combination of automatic binary analysis, repair, confinement, and diversification to prevent exploits of important classes of vulnerabilities, including those based on memory-safety, command-injection, and number-handling weaknesses. Cyber Reasoning System: Xandra For more information on the Cyber Grand Challenge visit: http://www.cybergrandchallenge.com/. #DARPACGC