cllorenz's repositories
fave-project
The FaVe project offers different tools to verify network configurations for security.
Language:HCL000
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.
Language:ScalaMIT000
Language:PHP000