| 2012 | NOMS | End-to-end verification of QoS policies. | Adel El-Atawy, Taghrid Samak |
| 2011 | IWQoS | QoS policy verification for DiffServ networks. | Taghrid Samak, Adel El-Atawy, Ehab Al-Shaer |
| 2009 | ICNP | 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 |
| 2009 | INFOCOM | Building Covert Channels over the Packet Reordering Phenomenon. | Adel El-Atawy, Ehab Al-Shaer |
| 2009 | INFOCOM | Adaptive Early Packet Filtering for Defending Firewalls Against DoS Attacks. | Adel El-Atawy, Ehab Al-Shaer, Tung Tran, Raouf Boutaba |
| 2007 | ICNP | FireCracker: A Framework for Inferring Firewall Policies using Smart Probing. | Taghrid Samak, Adel El-Atawy, Ehab Al-Shaer |
| 2007 | INFOCOM | Using Online Traffic Statistical Matching for Optimizing Packet Filtering Performance. | Adel El-Atawy, Taghrid Samak, Ehab Al-Shaer, Hong Li |
| 2007 | INFOCOM | Ranking-Based Optimal Resource Allocation in Peer-to-Peer Networks. | Yonghe Yan, Adel El-Atawy, Ehab Al-Shaer |
| 2006 | INFOCOM | Adaptive Statistical Optimization Techniques for Firewall Packet Filtering. | Hazem H. Hamed, Adel El-Atawy, Ehab Al-Shaer |
| 2006 | NOMS | Fair Bandwidth Allocation under User Capacity Constraints. | Yonghe Yan, Adel El-Atawy, Ehab Al-Shaer |