AllgemeinKolloquium „Verification of Network Security Properties with NetKAT“
Einladung zu einem gemeinsamen Kolloquium des Department Informatik, des GRK 2475 (Cyberkriminalität und forensische Informatik) und des SFB/TR 89 (Invasive Computing) am Dienstag, 13.07.2021, 18:15 Uhr online via Zoom: https://fau.zoom.us/j/93355339391 Referent: Prof. Dr. Dexter Kozen, Cornell University, Ithaca, NY, USA Titel: Verification of Network Security Properties with NetKAT Abstract: Networks have received widespread attention in […]Einladung zu einem gemeinsamen Kolloquium des Department Informatik, des GRK 2475 (Cyberkriminalität und forensische Informatik) und des SFB/TR 89 (Invasive Computing) am Dienstag, 13.07.2021, 18:15 Uhr online via Zoom: https://fau.zoom.us/j/93355339391 Referent: Prof. Dr. Dexter Kozen, Cornell University, Ithaca, NY, USA Titel: Verification of Network Security Properties with NetKAT Abstract: Networks have received widespread attention in […]