Cornelius Diekmann

Hello World
by Cornelius Diekmann and Lars Hupel

LOFT — Verified Migration of Linux Firewalls to SDN
by Julius Michaelis and Cornelius Diekmann

Iptables Semantics
by Cornelius Diekmann and Lars Hupel

Routing
by Julius Michaelis and Cornelius Diekmann

Simple Firewall
by Cornelius Diekmann, Julius Michaelis and Maximilian P. L. Haslbeck

IP Addresses
by Cornelius Diekmann, Julius Michaelis and Lars Hupel

Network Security Policy Verification
by Cornelius Diekmann