ForAllSecure was founded with the mission to make the world’s critical software safe. The company has been applying its patented technology from over a decade of CMU research to solving the difficult challenge of making software safer. ForAllSecure has partnered with Fortune 1000 companies in aerospace, automotive and high-tech industries, as well as the US Department of Defense to integrate Mayhem into software development cycles for continuous security. Profitable and revenue-funded, the company is scaling rapidly.
ForAllSecure’s patented technology comes from over a decade of research at CMU. Our academic beginnings have defined our values: a deep sense of curiosity, respect for others, and desire to grow in a collaborative environment.
DARPA Cyber Grand Challenge Winner
Mayhem was battle-tested at the DARPA Cyber Grand Challenge. Mayhem took first place and won the $2M grand prize.
ForAllSecure Partners with DIU
DIU partners with ForAllSecure to bring Mayhem, an assisted-intelligence application security testing solution, within the Department of Defense.
MIT Technology Review 50 Smartest Companies
MIT Technology Review names ForAllSecure in the 50 Smartest Companies list.
Join the ForAllSecure mission
Our commitment to high standards and integrity is reflected by the people at ForAllSecure. We love transforming challenges into opportunities that push us to reach our full potential.
We’re growing a team of individuals with a deep sense of curiosity, respect for others, and desire to grow in a collaborative environment.
Meet the leadership team
David co-founded ForAllSecure to automatically check and protect the world's software. ForAllSecure's products are based upon over 10 years of his research in program analysis. David is on leave as a tenured professor at Carnegie Mellon University, with appointments in Computer Science and Electrical and Computer Engineering. David's academic work has received the United States Presidential Early Career Award, a Sloan award, and numerous awards for publications in peer-reviewed venues.
Thanassis is an expert in program analysis, testing, and software security with over a decade of operational and academic experience. Prior to co-founding ForAllSecure, he was a researcher at Carnegie Mellon University, working on developing the first Mayhem prototype. Thanassis holds both a Ph.D and Master’s degree from Carnegie Mellon University and a Master's and Bachelor’s degrees from the National Technical University of Athens, all in Electrical and Computer Engineering.
Alex is a computer security researcher, specializing in automated program analysis and bug finding. He led the ForAllSecure team in the 2016 DARPA Cyber Grand Challenge, where ForAllSecure took 1st place. Alex holds a Bachelor's degree from EPFL and a Master's from Carnegie Mellon. Alex is a MIT Innovators Under 35 and Forbes 30 Under 30 laureate.
Manjunath joined ForAllSecure with 15 years of Engineering and R&D expertise in software development, and engineering leadership experience in cloud infrastructure software (IaaS, PaaS, SaaS) and enterprise web applications. He has held leadership positions at Coverity, Delphix, VMWare and most recently led the launch of Cloud Management Services at VMWare. Manjunath received his MS from San Jose State University and his Bachelor of Engineering Degree from India.
Board of Directors
Aaron Jacobson joined NEA in 2011 and is a Partner focused on investing in entrepreneurs seeking to build, scale, and secure the next-generation of SaaS applications, big data platforms, and cloud infrastructure. He serves on the board of Tigera and Illusive Networks, and is an observer at NGINX, Streamsets, Move Guides, Mimosa Networks, Juvo, and Built Robotics. In 2016, Aaron was named to Forbes Magazine’s “30 under 30” in Venture Capital and the Silicon Valley Business Journal’s "40 Under 40".
Aaron graduated Summa Cum Laude from the Jerome Fisher Program in Management and Technology at the University of Pennsylvania, where he earned dual Bachelor of Science degrees in Economics and Electrical Engineering, and carried a minor in Math.
Forest Baskett joined NEA in 1999 as a Venture Partner and became a General Partner in 2004. Forest focuses on information technology investments and serves on the Board of Directors for several private and public companies. Prior to NEA, Forest was Senior Vice President of R&D and Chief Technology Officer of Silicon Graphics Inc. He founded and directed the Western Research Laboratory of Digital Equipment Corporation before joining SGI. Forest was a Professor of Computer Science and Electrical Engineering at Stanford University. He received a BA in Mathematics from Rice University, a Ph.D. in Computer Science from the University of Texas at Austin and is a member of the National Academy of Engineering.
Let's Stay in Touch
Questions? We’d love to get back to you with an answer.
Subscribe to ForAllSecure
Want to stay updated on ForAllSecure news? Subscribe below!
In the news
Mayhem Hunts Software Bugs for the PentagonJune 1, 2020
Mayhem emerged from a 2016 government-sponsored contest at a Las Vegas casino hotel. Now it's used ... Read more
ForAllSecure Awarded $45 Million Contract to Deploy Mayhem Across Branches of U.S. Department of DefenseMay 11, 2020
ForAllSecure Awarded $45 Million Contract to Deploy Mayhem Across Branches of U.S. Department of Defense Read more
Critical RCE Bug Affects Millions of OpenWrt-based Network DevicesMarch 24, 2020
Critical RCE Bug Affects Millions of OpenWrt-based Network Devices Read more
ForAllSecure Announces FuzzCon 2020 Speakers and Agenda LineupJanuary 13, 2020
Industry's First Fuzzing Event Includes Experts from Fuzzbuzz, Fuzzing IO, Google, Microsoft, Synopsys, VDA Labs ... Read more
RSAC Sets Finalists for Innovation SandboxFebruary 6, 2020
The 10 finalists will each have three minutes to make their case for being the most ... Read more