Category Archives: DARPA

The Problem with Dynamic Program Analysis March 9, 2016

How We Fared in the Cyber Grand Challenge July 15, 2015

Close Encounters with Symbolic Execution November 25, 2014

Speaker Lineup for THREADS ’14: Scaling Security October 2, 2014

ReMASTering Applications by Obfuscating during Compilation August 20, 2014

McSema is Officially Open Source! August 7, 2014

Dear DARPA: Challenge Accepted. June 3, 2014

Trail of Bits Releases Capture the Flag Field Guide May 20, 2014

Semantic Analysis of Native Programs with CodeReason February 23, 2014