ForAllSecure has won a contract with the Defense Innovation Unit (DIU) for the deployment of its next-generation fuzzing solution.

Known as Mayhem, the solution will be implemented across the US Department of Defense’s (DoD) several branches.

Under the $45m contract, the company will integrate its software security solution into some critical systems of the DoD.

Currently, Mayhem is used by the Naval Sea Systems Command (NAVSEA), the Air Force 90th Cyberspace Operations Squadron, the Air Force 96th Cyberspace Test Group and the US Army Command, Control, Communication, Computers, Cyber, Intelligence, Surveillance and Reconnaissance Center (C5ISR).

The patented technology is the result of more than a decade of research at Carnegie Mellon University.

It brings together technologies of guided fuzzing and symbolic execution and offers continuous security when integrated into software development cycles.

How well do you really know your competitors?

Access the most comprehensive Company Profiles on the market, powered by GlobalData. Save hours of research. Gain competitive edge.

Company Profile – free sample

Thank you!

Your download email will arrive shortly

Not ready to buy yet? Download a free sample

We are confident about the unique quality of our Company Profiles. However, we want you to make the most beneficial decision for your business, so we offer a free sample that you can download by submitting the below form

By GlobalData
Visit our Privacy Policy for more information about our services, how we may use, process and share your personal data, including information of your rights in respect of your personal data and how you can unsubscribe from future marketing communications. Our services are intended for corporate subscribers and you warrant that the email address submitted is your corporate email address.

Guided fuzzing and symbolic execution are two dynamic application security testing (DAST) techniques.

ForAllSecure CEO David Brumley said: “Mayhem is the result of over two decades of research in how to identify critical software flaws first and not be slowed down by false positives. The benefits go beyond security.

“Mayhem automatically builds a test suite, lowering QA effort to create great and trustworthy software.

“Our work with the DoD has showcased the powerful benefits of automation in code testing, using the combined technologies of symbolic execution and advanced fuzzing.”

Following its win in the Defense Advanced Research Projects Agency (DARPA) Cyber Grand Challenge, the first prototype of Mayhem gained recognition in 2016.

To date, ForAllSecure has raised $15m Series A funding with New Enterprise Associates to expand Mayhem’s availability.