The PATCH lab, headed by Prof. Dr. Johannes Kinder, is working on securing software through automated methods. We build systems to analyze software and understand its properties and purpose, and to harden software against attacks.

PATCH is part of the Institute for System Security and the Research Institute CODE at Bundeswehr University Munich.