Thursday, 09.03.2023, 16:00 to 16:15, Raum U.039, Informatikzentrum Poppelsdorf, Friedrich-Hirzebruch-Allee 8.
Add to Calendar

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

(Einleitungsvortrag Bachelorarbeit)

Everybody is cordially invited to attend.