PfComp: A Verified Compiler for Packet Filtering Leveraging Binary Decision Diagrams. - Clément Chavanon; Frédéric Besson; Tristan Ninet (CPP, 2024)