Verification and synthesis of firewalls using SAT and QBF.

Shuyuan Zhang, Abdulrahman Mahmoud, Sharad Malik, Sanjai Narain

Browse the full ICNP paper archive.