GIMLI

Generischer Integritätsschutz für lauffähigen Maschinencode durch die LLVM-IR

Start: 09/2025

End: 03/2027

GIMLI erforscht Verfahren, mit denen Schutzmechanismen nachträglich in bereits kompilierte Software integriert werden können – unabhängig vom Quellcode oder der verwendeten Compiler-Toolchain. Dazu wird Maschinencode in die Zwischensprache LLVM-IR zurückgeführt, analysiert und gezielt um Funktionen wie Lizenzierungsschutz oder Watermarking erweitert.

GIMLI stärkt den Schutz bestehender Software vor unlizenziertem Gebrauch, Manipulation und unerlaubter Weiterverbreitung. Das Projekt macht Softwareschutz flexibler, robuster und breiter einsetzbar und schafft damit Mehrwert für Produktschutz, Nachverfolgbarkeit und Cybersicherheit.

Role of the FZI

Das FZI Forschungszentrum Informatik bearbeitet die im Projekt relevanten wissenschaftlichen Fragestellungen; insbesondere wird die konzeptionelle Entwicklung des LLVM-Übersetzers sowie des Watermarking-Verfahrens wissenschaftlich begleitet. Federführend wird das FZI den State of the Art in Softwareanalyse- und Debuggingtechniken weiterentwickeln und dabei insbesondere auch den technisch-wissenschaftlichen Herausforderungen im Softwareschutzkontext Rechnung tragen.

Contact person

Niklas Goerke

Department Manager

Division: Cybersecurity and Law

+49 721 9654-643

goerke@fzi.de

Headquarters Karlsruhe

Research focus

Security and Resilience

Security and resilience for the digital future: Our research strengthens the cybersecurity, safety, and data protection of businesses and governments.

To the research focus

Project partners:

WIBU-SYSTEMS AG