Schedule 32. Chaos Communication Congress

• Index
• Day 1
  2015-12-27
• Day 2
  2015-12-28
• Day 3
  2015-12-29
• Day 4
  2015-12-30
• Speakers
• Events

Version 1.5b Castle in the Sky

Speaker: Cornelius Diekmann

Proving stuff in Isabelle. Computer networks and security.

Events in this conference

Verified Firewall Ruleset Verification