PfComp: A Verified Compiler for Packet Filtering Leveraging Binary Decision Diagrams
| Title: | PfComp: A Verified Compiler for Packet Filtering Leveraging Binary Decision Diagrams |
|---|---|
| Authors: | Chavanon, Clément; Besson, Frédéric; Ninet, Tristan |
| Source: | Proceedings of the 13th ACM SIGPLAN International Conference on Certified Programs and Proofs. :89-102 |
| Availability: | http://dl.acm.org/doi/10.1145/3636501.3636954 |
| Database: | ACM Full-Text Collection |