Cornelius Diekmann

Proving stuff in Isabelle. Computer networks and security.

• @popitter_net

Presentations:

• 2015-12-28 17:30 - 32C3 (2015) - Verified Firewall Ruleset Verification: Math, Functional Programming, Theorem Proving, and an Introduction to Isabelle/HOL