TL;DR
This paper introduces a machine-verifiable algorithm to certify the effectiveness of firewall rulesets against IP spoofing, with practical demonstrations in real-world scenarios.
Contribution
The paper presents a novel, sound algorithm for certifying IP spoofing protection in firewalls, validated through real-world applications.
Findings
Algorithm is machine-verifiably sound
Successfully applied in real-world scenarios
Enhances trust in firewall security measures
Abstract
We present an algorithm to certify IP spoofing protection of firewall rulesets. The algorithm is machine-verifiably proven sound and its use is demonstrated in real-world scenarios.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Code & Models
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
