AllgemeinColloquium “Verification of Network Security Properties with NetKAT”
Invitation to a colloquium organized by the Department of Computer Science and research training group „Cybercrime and Forensic Computing“: Tuesday, 13 July 2021, 18:15 CEST online via Zoom: https://fau.zoom.us/j/93355339391 Lecturer: Prof. Dr. Dexter Kozen, Cornell University, Ithaca, NY, USA Title: Verification of Network Security Properties with NetKAT Abstract: Networks have received widespread attention in recent years […]Invitation to a colloquium organized by the Department of Computer Science and research training group „Cybercrime and Forensic Computing“: Tuesday, 13 July 2021, 18:15 CEST online via Zoom: https://fau.zoom.us/j/93355339391 Lecturer: Prof. Dr. Dexter Kozen, Cornell University, Ithaca, NY, USA Title: Verification of Network Security Properties with NetKAT Abstract: Networks have received widespread attention in recent years […]