ForAllsecure Unleashes
MAYHEM
Watch the team win the DARPA Cyber Grand Challenge, the world's first all-machine hacking contest.
SOFTWARE SHOULD BE SAFE
ForAllSecure is building autonomous cybersecurity tools for developers, enterprise IT, and end-users that automatically find and fix vulnerabilities in run-time executable software pre-production and when deployed.
Read about how we won the DARPA Cyber Grand Challenge, the world’s first all-machine hacking tournamentWe also believe maximizing human potential is required to secure the world’s software. We create problem-driven online and in-person hacking experiences to help you educate and promote security awareness in your team.
Recent press coverage

Innovations in Defense: Artificial Intelligence and the Challenge of Cybersecurity
March 27, 2017Mayhem Cyber Reasoning System, 2016. Hacked servers. Phishing scams. Computer viruses, trojan horses, and worms. Spam. Adware, spyware, and botnets. Not all innovations seek to benefit society. Mayhem, on exhibit in 1 West (the “Innovation Wing”) is the first artificial intelligence cyber defense system designed specifically to thwart attacks on our increasingly interconnected—and vulnerable—devices.
Read more
50 Smartest Companies 2017
June 27, 2017Each year we identify 50 companies creating new opportunities by combining important technologies and business savvy. Some are large companies that seem to be growing ever larger, like Amazon and Apple. Others, like IBM, or General Electric are old-guard giants betting on technology renewal. And the list is full of ambitious startups like SpaceX, which is changing the economics of space travel with reusable rockets; Face ++, a pioneer in face recognition technology; and additive-manufacturing firms Carbon and Desktop Metal. For additional perspective on the list, which starts below, please see our essay, "It Pays to Be Smart."
Read more
The tech behind the DARPA Grand Challenge winner will now be used by the Pentagon
August 14, 2017After witnessing the raw power of a machine that can fix its own software security flaws at DEF CON 24 more than one year ago, the Pentagon has officially purchased the revolutionary technology from a small, Pittsburgh-based firm.
Read more
Project Maven to Deploy Computer Algorithms to War Zone by Year’s End
August 15, 2017WASHINGTON, July 21, 2017 — Winning wars with computer algorithms and artificial intelligence were among the topics that Defense Department intelligence officials discussed during a recent Defense One Tech Summit here.
Read more