05 Apr 2016 Semantics-Preserving Simplification of Real-World Firewall Rule Sets http://arxiv.org/abs/1604.00206 Semantics-Preserving…