Version 1.5b Castle in the Sky
Speaker: Cornelius Diekmann
![C diekmannn scholarsmall](/congress/2015/Fahrplan/system/people/avatars/000/004/862/large/c_diekmannn_scholarsmall.jpg)
Proving stuff in Isabelle. Computer networks and security.
Events in this conference
![]() |
Verified Firewall Ruleset Verification |
Version 1.5b Castle in the Sky
Proving stuff in Isabelle. Computer networks and security.
![]() |
Verified Firewall Ruleset Verification |