Thesis
E. Onem,
"Formal Security Analysis of a Secure On-Demand Routing Protocol
for Ad Hoc Networks Using Model Checking",
M.S. Thesis,
Computer Engineering, Bogazici University,
2007.
International Conferences
E. Onem, B. Gurdag and M. Ufuk Caglayan,
"Secure Routing in Ad Hoc Networks and Model Checking",
International Conference on Security of Information and Networks,
May 2007, TRNC.
E. Onem, H.B. Yilmaz, F. Alagoz and T. Tugcu,
"On Communication Protocols for Tactical Navigation Assistance",
International Conference on MOBILe Wireless MiddleWARE,
Operating Systems, and Applications (MOBILWARE 2008),
Innsbruck, Austria.
National Conferences
E. Onem, B. Yilmaz, F. Alagoz ve T. Tugcu,
"Taktik Navigasyon Sistemlerinde Tasarsiz Haberlesme Protokolleri",
Akademik Bilisim 2008 (Conference on Academic Information 2008), 2008.
Ongoing Work
E. Onem, B. Gurdag and M. Ufuk Caglayan,
"Formal Security Analysis of Ariadne Secure Routing Protocol Using Model Checking",
Pending for Review for International Journal of Ad Hoc and Ubiquitous Computing,
Inderscience Publishers, 2009.
E. Onem and T. Tugcu,
"A Novel Spectrum-Aware On-Demand Routing Protocol for Cognitive Radio Ad Hoc Networks",
To be submitted to IEEE Symposia on New Frontiers in Dynamic Spectrum Access Networks (DySPAN 2010),
April 6-9, 2010, Singapore.
|
|