Cornelius Diekmann

icon location Munich, Germany icon location Proving stuff in Isabelle. Computer networks and security.

Results 4 repositories owned by Cornelius Diekmann

Iptables_Semantics

94
Stars
12
Forks
Watchers

Verified iptables Firewall Ruleset Analysis

verified publisher icon diekmann

net-network

41
Stars
5
Forks
Watchers

Public collection of firewall dumps.

verified publisher icon diekmann

wasm-fizzbuzz

1.5k
Stars
56
Forks
Watchers

WebAssembly from Scratch: From FizzBuzz to DooM.

verified publisher icon diekmann

BACnetSim

16
Stars
3
Forks
Watchers

A scala BACnet simulator using bacnet4J

verified publisher icon diekmann