Dienstag, 05.09.2023, 14:00 bis 14:30, Raum U1.039, Informatikzentrum Poppelsdorf, Friedrich-Hirzebruch-Allee 8
In Kalender eintragen

Annika Friederichs: "Automatisierte Sicherheitsprüfung für Softwareprotokolle anhand des Tamarin-Provers"

(Abschlussvortrag Bachelorarbeit)

Everybody is cordially invited to attend.