ForAllSecure

AUGUST 22, 2020

So the first one was based off of CLI, which is a open source symbolic executer. So, it’s not surprising that Mike Walker, former project manager at DARPA at the time, was also a former Capture the Flag organizer and player. It was still a proof of concept for autonomous program analysis. So, sorry.

System 52

System Research Security Operating Systems 52

ForAllSecure

AUGUST 21, 2020

So the first one was based off of CLI, which is a open source symbolic executer. So, it’s not surprising that Mike Walker, former project manager at DARPA at the time, was also a former Capture the Flag organizer and player. It was still a proof of concept for autonomous program analysis. So, sorry.

System 52

System Research Security Operating Systems 52

ForAllSecure

AUGUST 21, 2020

So the first one was based off of CLI, which is a open source symbolic executer. So, it’s not surprising that Mike Walker, former project manager at DARPA at the time, was also a former Capture the Flag organizer and player. It was still a proof of concept for autonomous program analysis. So, sorry.

System 52

System Research Security Operating Systems 52