1 paper
Saranachon Iammongkol, Zhiyi Huang, David Eyers
Commercial security gateways repeatedly ship implementation bugs in the code path between the network and the policy decision: hand-written enforcement logic that diverges from the…