Forschung im Rahmen eines Projekts, in dem existierende Binärprogramme vollautomatisch modernisiert werden sollen (Behebung von Sicherheitslücken, Portierung auf neuere Prozessorarchitekturen und anschließender systematischer Prüfung, ob das modernisierte Programm in seiner Funktionalität das Ursprungsprogramm ersetzen kann). Das Forschungsgebiet liegt im “Computer Systems”-Bereich in der Schnittmenge zwischen Compil…