Cornelius Diekmann

Homepages 🌐

• http://net.in.tum.de/~diekmann

Entries

2020

Hello World

by Cornelius Diekmann 🌐 and Lars Hupel 🌐

Mar 07

2016

LOFT — Verified Migration of Linux Firewalls to SDN

by Julius Michaelis 🌐 and Cornelius Diekmann 🌐

Oct 21

Iptables Semantics

by Cornelius Diekmann 🌐 and Lars Hupel 🌐

Sep 09

Routing

by Julius Michaelis 🌐 and Cornelius Diekmann 🌐

Aug 31

Simple Firewall

by Cornelius Diekmann 🌐, Julius Michaelis 🌐 and Max W. Haslbeck 🌐

Aug 24

IP Addresses

by Cornelius Diekmann 🌐, Julius Michaelis 🌐 and Lars Hupel 🌐

Jun 28

2014

Network Security Policy Verification

by Cornelius Diekmann 🌐

Jul 04