HallMonitor: A Framework for Identifying Network Policy Violations in Software. - Daniel Olszewski; Weidong Zhu 002; Sandeep Sathyanarayana; Kevin R. B. Butler; Patrick Traynor (CNS, 2022)