ForAllSecure

AUGUST 22, 2020

Walker: We’re here today to talk about bringing autonomy to the sport of hackers to capture the flag. But the symbolic execution part ties into kind of a whole system. And how is it important to software security? To do that, they needed a proof of concept system. Host: Robert Vamosi. Pretty cool, eh?

System 52

System Research Security Operating Systems 52

ForAllSecure

AUGUST 21, 2020

Walker: We’re here today to talk about bringing autonomy to the sport of hackers to capture the flag. But the symbolic execution part ties into kind of a whole system. And how is it important to software security? To do that, they needed a proof of concept system. Host: Robert Vamosi. Pretty cool, eh?

System 52

System Research Security Operating Systems 52

ForAllSecure

AUGUST 21, 2020

Walker: We’re here today to talk about bringing autonomy to the sport of hackers to capture the flag. But the symbolic execution part ties into kind of a whole system. And how is it important to software security? To do that, they needed a proof of concept system. Host: Robert Vamosi. Pretty cool, eh?

System 52

System Research Security Operating Systems 52