Tuesday, 05.09.2023, 14:00 to 14:30, Raum U1.039, Informatikzentrum Poppelsdorf, Friedrich-Hirzebruch-Allee 8
Add to Calendar

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

(Abschlussvortrag Bachelorarbeit)

Everybody is cordially invited to attend.