Verified iptables Firewall Analysis and Verification

Overview of attention for article published in Journal of Automated Reasoning, January 2018

Altmetric Badge

About this Attention Score

Among the highest-scoring outputs from this source (#14 of 136)
Good Attention Score compared to outputs of the same age (65th percentile)
High Attention Score compared to outputs of the same age and source (80th percentile)

So far, Altmetric has seen 4 X posts from 4 X users, with an upper bound of 17,404 followers.

who is going to be the first one to verify all the various Kubernetes CNIs that (heavily) rely on iptables rules? :D