Tag: Implementing and Verifying Network Device Hardening