Pinned Repositories
fave-project
The FaVe project offers different tools to verify network configurations for security.
hassel-reproduction
This repository offers a scripted reproduction of the Internet2 and Stanford benchmarks for NetPlumber.
iptables-sefl
The iptables to SEFL (Symbolic Execution Friendly Language) compiler.
Symnet
cllorenz's Repositories
cllorenz/hassel-reproduction
This repository offers a scripted reproduction of the Internet2 and Stanford benchmarks for NetPlumber.
cllorenz/fave-project
The FaVe project offers different tools to verify network configurations for security.
cllorenz/iptables-sefl
The iptables to SEFL (Symbolic Execution Friendly Language) compiler.
cllorenz/Symnet