DevOps Chat Podcast: $2M DARPA Award Sparks Behavior Testing With ForAllSecure's Mayhem Solution
ForAllSecure
AUGUST 16, 2019
” Mayhem has moved on from capture the flag contests to observing and finding vulnerabilities in DoD software and is working its way to corporate systems. The second that we did is, we really took a page from surprisingly formal verification. Like, you see it executes this system call, that system call.
Let's personalize your content