1. Hrishikesh B. Acharya and Mohamed G. Gouda. 2009. Linear-Time Verification of Firewalls. In ICNP. 133--140. 10.1109/ICNP.2009.5339691 Hrishikesh B. Acharya and Mohamed G. Gouda. 2009. Linear-Time Verification of Firewalls. In ICNP . 133--140. 10.1109/ICNP.2009.5339691
2. Life on the Edge: Unraveling Policies into Configurations
3. Control plane compression