PUBLICATIONS

Journal Papers
  • E. Onem, A. B. Gürdag and M. U. Caglayan, Formal Security Analysis of Ariadne Secure Routing Protocol Using Model Checking, International Journal of Ad Hoc and Ubiquitous Computing, Vol. 9, No. 1, pp. 12-24, 2012.
Conference & Workshop Papers
  • A. B. Gurdag and M. U. Caglayan, A Formal Security Analysis of SAODV using Model Checking, International Symposium on Computer Networks (ISCN), June 2008. [pdf]
  • E. Önem, A. B. Gurdag and M. U. Caglayan, Secure Routing in Ad Hoc Networks and Model Checking, International Conference on Security of Information and Networks (SIN), May 2007.
  • B. Gürdağ ve C. Özturan, Web Arama Motorları için Bağlantı Temelli Bir Sıralama Algoritmasının Gerçeklenmesi, TBD Kurultayı, Eylül 2002, Istanbul. (in Turkish) [pdf]
  • K. Atasu, B. Gürdağ, C. Özturan and M. U. Çağlayan, Communications Performance of Fast Ethernet Based Cluster Multicomputer, Proc. 5th Symp. on Computer Networks, June 2000, Ankara. [ps]
  • B. Gürdağ, E. Agayev, C. Özturan and M. U. Çağlayan, Development of a Low Cost Network Based Multicomputer, Proc. 4th Symp. on Computer Networks, May 1999, Istanbul.
  • B. Gürdağ, C. Özturan ve M. U. Çağlayan, Ağ temelli, ekonomik çok işlemcili bilgisayar geliştirilmesi, Bilişim'99, Aralık 1999. (in Turkish)

Theses and Reports
  • A. B. Gurdag, A Parallel Implementation of a Link-based Ranking Algorithm for Web Search Engines, M.S. Thesis, Bogazici University, June 2002. [pdf] [thesis page]

Patents


Last updated on 2010-05-28