WASPS
In today’s digital age, critical infrastructure relies heavily on software systems to function efficiently and effectively. From transportation networks to healthcare facilities, keeping this software protected and working flawlessly is vital to the safety and well-being of society as a whole.
Our team’s mission
Design and implement a fully automated cyber reasoning system (CRS) that can find, analyze and patch real-world software vulnerabilities. Building on our expertise in fuzzing and fault localization, in the AIxCC we will focus on using AI to analyze found bugs and create corresponding patches as well as building the infrastructure to automate the process fully.
Collaborative effort
Our team consists mainly of graduate and postgraduate students at the University of Bonn and Fraunhofer FKIE supported by Code Intelligence LLC. Our current business and research focus lies in making vulnerability detection as usable as possible, so the patching aspect of AIxCC is a great extension to our current work and a fascinating challenge.
AI-driven
Over the past several months we have spent significant effort working on large language model (LLM) based patching systems and we have exciting results that we would like to enter into DARPA's Artificial Intelligence Cyber Challenge (AIxCC).
AIxCC
We are participating in the Artificial Intelligence Cyber Challenge (AIxCC) with the goal of validating our system in the competition. Over the course of two years AIxCC serves as a platform to incentivize innovation and excellence. It facilitates collaboration with top AI companies that make their state-of-the-art technology available for the competitors.
Join us on our mission to secure the software that powers the world’s most essential services. Together, we will ensure that critical infrastructure remains resilient, reliable, and secure for generations to come.
