@inproceedings{conf/icegov/Elbadawi11,
  added-at = {2011-12-02T00:00:00.000+0100},
  author = {Elbadawi, Ibrahim},
  biburl = {http://www.bibsonomy.org/bibtex/2493a4fc5a19b52a085149a5291eaf002/dblp},
  booktitle = {ICEGOV},
  crossref = {conf/icegov/2011},
  editor = {Estevez, Elsa and Janssen, Marijn},
  ee = {http://doi.acm.org/10.1145/2072069.2072155},
  interhash = {03d1c6e2344656b461e7380db111b760},
  intrahash = {493a4fc5a19b52a085149a5291eaf002},
  isbn = {9781-1-4503-0746-8},
  keywords = {dblp},
  pages = {387-388},
  publisher = {ACM},
  title = {Cloud computing for e-government in UAE: opportunities, challenges and service models.},
  url = {http://dblp.uni-trier.de/db/conf/icegov/icegov2011.html#Elbadawi11},
  year = 2011
}

@inproceedings{conf/globecom/ElbadawiY10,
  added-at = {2011-01-11T00:00:00.000+0100},
  author = {Elbadawi, Khalid and Yu, James},
  biburl = {http://www.bibsonomy.org/bibtex/2d681b4101026c90ed300c9556b80d126/dblp},
  booktitle = {GLOBECOM},
  crossref = {conf/globecom/2010},
  ee = {http://dx.doi.org/10.1109/GLOCOM.2010.5683110},
  interhash = {87ef5c29a8c81950862000e4d333f383},
  intrahash = {d681b4101026c90ed300c9556b80d126},
  isbn = {978-1-4244-5638-3},
  keywords = {dblp},
  pages = {1-6},
  publisher = {IEEE},
  title = {High Level Abstraction Modeling for Network Configuration Validation.},
  url = {http://dblp.uni-trier.de/db/conf/globecom/globecom2010.html#ElbadawiY10},
  year = 2010
}

@inproceedings{conf/icc/SmithAE09,
  added-at = {2010-03-04T00:00:00.000+0100},
  author = {Smith, Kyle and Al-Shaer, Ehab and Elbadawi, Khalid},
  biburl = {http://www.bibsonomy.org/bibtex/25e2116a6e97fa64607f4990e23484253/dblp},
  booktitle = {ICC},
  crossref = {conf/icc/2009},
  date = {2010-03-04},
  description = {dblp},
  ee = {http://dx.doi.org/10.1109/ICC.2009.5199083},
  interhash = {ea7f2ade148f45124af3e48f5f6f0061},
  intrahash = {5e2116a6e97fa64607f4990e23484253},
  keywords = {dblp},
  pages = {1-5},
  publisher = {IEEE},
  title = {Information Theoretic Approach for Characterizing Spam Botnets Based on Traffic Properties.},
  url = {http://dblp.uni-trier.de/db/conf/icc/icc2009.html#SmithAE09},
  year = 2009
}

@inproceedings{conf/icnp/Al-ShaerMEE09,
  added-at = {2010-01-20T00:00:00.000+0100},
  author = {Al-Shaer, Ehab and Marrero, Wilfredo and El-Atawy, Adel and Elbadawi, Khalid},
  biburl = {http://www.bibsonomy.org/bibtex/23ba55cf3b3033f1392d94ff003c5272c/dblp},
  booktitle = {ICNP},
  crossref = {conf/icnp/2009},
  date = {2010-01-20},
  description = {dblp},
  editor = {Schulzrinne, Henning and Ramakrishnan, K. K. and Griffin, Timothy G. and Krishnamurthy, Srikanth V.},
  ee = {http://dx.doi.org/10.1109/ICNP.2009.5339690},
  interhash = {cba912b78e26279bed35fd8c6fa7a7d0},
  intrahash = {3ba55cf3b3033f1392d94ff003c5272c},
  isbn = {978-1-4244-4634-6},
  keywords = {dblp},
  pages = {123-132},
  publisher = {IEEE Computer Society},
  title = {Network Configuration in A Box: Towards End-to-End Verification of Network Reachability and Security.},
  url = {http://dblp.uni-trier.de/db/conf/icnp/icnp2009.html#Al-ShaerMEE09},
  year = 2009
}

@inproceedings{conf/ccs/ElbadawiA09,
  added-at = {2009-05-06T00:00:00.000+0200},
  author = {Elbadawi, Khalid and Al-Shaer, Ehab},
  biburl = {http://www.bibsonomy.org/bibtex/2db382f592ded2104dd2405b01391fdad/dblp},
  booktitle = {ASIACCS},
  crossref = {conf/ccs/2009asia},
  date = {2009-05-06},
  description = {dblp},
  editor = {Li, Wanqing and Susilo, Willy and Tupakula, Udaya Kiran and Safavi-Naini, Reihaneh and Varadharajan, Vijay},
  ee = {http://doi.acm.org/10.1145/1533057.1533077},
  interhash = {ac8ab6b4a81b04d65f8e58fc4feb2bb5},
  intrahash = {db382f592ded2104dd2405b01391fdad},
  isbn = {978-1-60558-394-5},
  keywords = {dblp},
  pages = {135-145},
  publisher = {ACM},
  title = {TimeVM: a framework for online intrusion mitigation and fast recovery using multi-time-lag traffic replay.},
  url = {http://dblp.uni-trier.de/db/conf/ccs/asiaccs2009.html#ElbadawiA09},
  year = 2009
}