Adaptive Statistical Optimization Techniques for Firewall Packet Filtering. - Hazem H. Hamed; Adel El-Atawy; Ehab Al-Shaer (INFOCOM, 2006)

Fair Bandwidth Allocation under User Capacity Constraints. - Yonghe Yan; Adel El-Atawy; Ehab Al-Shaer (NOMS, 2006)

On Dynamic Optimization of Packet Matching in High-Speed Firewalls. - Hazem H. Hamed; Adel El-Atawy; Ehab Al-Shaer (IEEE J. Sel. Areas Commun., 2006)

A Novel Visualization Approach for Efficient Network-wide Traffic Monitoring. - Taghrid Samak; Adel El-Atawy; Ehab Al-Shaer; Mohamed A. Ismail (E2EMON, 2007)

FireCracker: A Framework for Inferring Firewall Policies using Smart Probing. - Taghrid Samak; Adel El-Atawy; Ehab Al-Shaer (ICNP, 2007)

Using Online Traffic Statistical Matching for Optimizing Packet Filtering Performance. - Adel El-Atawy; Taghrid Samak; Ehab Al-Shaer; Hong Li (INFOCOM, 2007)

Ranking-Based Optimal Resource Allocation in Peer-to-Peer Networks. - Yonghe Yan; Adel El-Atawy; Ehab Al-Shaer (INFOCOM, 2007)

An Automated Framework for Validating Firewall Policy Enforcement. - Adel El-Atawy; Taghrid Samak; Zein Wali; Ehab Al-Shaer; Frank Lin; Christopher Pham; Sheng Li (POLICY, 2007)

A game-theoretic model for capacity-constrained fair bandwidth allocation. - Yonghe Yan; Adel El-Atawy; Ehab Al-Shaer (Int. J. Netw. Manag., 2008)

Network Configuration in A Box: Towards End-to-End Verification of Network Reachability and Security. - Ehab Al-Shaer; Wilfredo Marrero; Adel El-Atawy; Khalid Elbadawi (ICNP, 2009)

Building Covert Channels over the Packet Reordering Phenomenon. - Adel El-Atawy; Ehab Al-Shaer (INFOCOM, 2009)

Adaptive Early Packet Filtering for Defending Firewalls Against DoS Attacks. - Adel El-Atawy; Ehab Al-Shaer; Tung Tran 002; Raouf Boutaba (INFOCOM, 2009)

Towards network security policy generation for configuration analysis and testing. - Taghrid Samak; Adel El-Atawy; Ehab Al-Shaer (SafeConfig, 2009)

Automated pseudo-live testing of firewall configuration enforcement. - Ehab Al-Shaer; Adel El-Atawy; Taghrid Samak (IEEE J. Sel. Areas Commun., 2009)

Review of An introduction to difference equations: third edition by Saber Elaydi. - Adel El-Atawy (SIGACT News, 2009)

An introduction to data structures and algorithms by James A. Storer Birhauser. - Adel El-Atawy (SIGACT News, 2010)

QoS policy verification for DiffServ networks. - Taghrid Samak; Adel El-Atawy; Ehab Al-Shaer (IWQoS, 2011)

End-to-end verification of QoS policies. - Adel El-Atawy; Taghrid Samak (NOMS, 2012)

Towards a Unified Modeling and Verification of Network and System Security Configurations. - Mohammed Noraden Alsaleh; Ehab Al-Shaer; Adel El-Atawy (SafeConfig, 2012)

A Novel Class of Robust Covert Channels Using Out-of-Order Packets. - Adel El-Atawy; Qi Duan; Ehab Al-Shaer (IEEE Trans. Dependable Secur. Comput., 2017)