2007 - ... Bogazici University, Istanbul Ph.D. in Institute of Science & Engineering, Computer Engineering Dept. 2003 - 2007 Bogazici University, Istanbul M.S. in Institute of Science & Engineering, Computer Engineering Dept. Thesis: "Formal Security Analysis of a Secure On-Demand Routing Protocol for Ad Hoc Networks Using Model Checking" 1999 - 2003 Bogazici University, Istanbul B.S. in Faculty of Arts and Sciences, Mathematics Dept. Graduation Project: "Possible Attacks on RSA Cryptosystem" 1995 - 1999 Yalova Super High School, Yalova