Freitag, 29.05.2020, 12:00 bis 12:30, Interessenten melden sich bitte bei matthew[@]cs.uni-bonn.de

Patrick Ovski: "Automatisiertes Verfahren zur Überführung von C-Programmcode in Kontrollflussgraphen"

(Abschlussvortrag im Rahmen der Projektgruppe IT-Sicherheit)

Everybody is cordially invited to attend.