PfComp: A Verified Compiler for Packet Filtering Leveraging Binary Decision Diagrams.
Clément ChavanonFrédéric BessonTristan NinetPublished in: CPP (2024)
Keyphrases
- binary decision diagrams
- packet filtering
- network security
- smart card
- boolean functions
- symbolic model checking
- data transfer
- planning problems
- knowledge compilation
- general purpose
- variable ordering
- model checking
- hardware and software
- computer networks
- information systems
- intrusion detection
- knowledge based systems
- dynamic programming
- database systems