ForAllSecure is a small and passionate team whose goal is to secure the world's software. Our binary analysis tools are checking the world’s software for security-critical bugs, and are being improved every day. If you share our passion for automated program analysis, you should talk to us
We are one of seven teams to move on to the final round of the DARPA Cyber Grand Challenge (CGC) after we captured the first spot in the qualification round. The CGC is a tournament for fully automated systems, like our own Mayhem. It is similar to Capture the Flag computer security tournaments and will give groundbreaking prototype systems a competition league of their own.
Many of our members have been deeply involved in Capture the Flag competitions. ForAllSecure believes these competitions provide the best way to train the next generation of computer security experts. We would love to add more people to our team who could help us develop platforms and material for Capture the Flag exercises.