Abdulrahman Mahmoud

First name

Abdulrahman

Last name

Mahmoud

Zhang, Shuyuan, Abdulrahman Mahmoud, Sharad Malik, and Sanjai Narain. 2012. “Verification and Synthesis of Firewalls Using SAT and QBF”. In Network Protocols (ICNP), 2012 20th IEEE International Conference on, 1–6. IEEE.

Reference Link