M. Ufuk Çağlayan

PhD Students, November 20, 2007

Current PhD Students

1. Devrim Ünal, Formal Representation and Analysis of Mobility in Multi-Domain Mobile Networks

2. Burak Gürdağ, Formal Representation and Analysis of Secure Routing in Ad Hoc Networks

3. Engin Deveci, Model Checking of Software Specifications in UML

4. Gül Çalıklı, Formal Representation and Analysis of Security Policies in Relation to Trust Modeling

5. Albert Özkohen, Model Checking of Software Specifications in UML (to take qualifying exam)

6. Evren Önem, Formal Representation and Analysis of Secure Routing in Ad Hoc Networks (to take qualifying exam)

7. Murat Cihan, Cryptographic Protocols (to take qualifying exam)

8. Orhan Ermiş (taking PhD courses, Co-Advisor: Emin Anarım)

9. İmran Ergüler (taking PhD courses, Boğaziçi U. EEE, Co-Advisor, Advisor: Emin Anarım)

10. Bora Mocan (Dokuz Eylül University EEE, Co-Advisor, Advisor: Zafer Dicle)

11. Mahir Kutay (Dokuz Eylül University EEE, Co-Advisor, Advisor: Zafer Dicle)

12. Hakan Karaca (Dokuz Eylül University EEE, Co-Advisor, Advisor: Zafer Dicle)

Former PhD Students

1. Albert Levi, Design and Performance Evaluation of the Nested Certification Scheme and its Applications in Public Key Infrastructures, June 1999.

2. Sema F. Oktuğ, Design and Performance Evaluation of a Banyan Network Based Interconnection Structure for ATM Switches, June 1996

3. Hakan Kalyoncu. Transport Layer Protocols and Performance of Picture Archival and Communications Systems, November 1994 (Thesis Co-Advisor, Advisor: Bülent Sankur).