Donnerstag, 09.03.2023, 16:00 bis 16:15, Raum U.039, Informatikzentrum Poppelsdorf, Friedrich-Hirzebruch-Allee 8.
In Kalender eintragen

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

(Einleitungsvortrag Bachelorarbeit)

Everybody is cordially invited to attend.