Title: Assistant Prof. Dr.Department: Computer Engineering DepartmentPosition: Academic StaffEmail: odemir@cse.yeditepe.edu.trTelephone: 1471Office: A-411Time: Full TimeAkademikResume Doktora: Bilg. Bilimleri, Binghamton University Y.Lisans: Bilgisayar ve Enformatik Mühendisliği, Yeditepe Üniversitesi Lisans: Bilgisayar Mühendisliği, Marmara Üniversitesi Onur Demir is a faculty member at Department of Computer Engineering, Yeditepe University. He received the B.S. degree in Computer Engineering from the Marmara University, Istanbul, in 1994, the M.S. degree in Informatics and Computer Engineering from Yeditepe University in 1998 and Ph.D. Degree in Computer Science from State University of New York, Binghamton in 2007. He worked as Visiting Scholar in Yale University in 2015 for a year. His research interests include computer security, network security, embedded systems, verification, file system design,cloud computing, and optimization. Research Interests Computer Security Security Verification Optimization Cloud Computing Past Research Projects (Tübitak 2219) “Bulut Güvenliği için Çevrimiçi Sanal Makine Yer Deðiþtirme Algoritması Tasarımı" 2015-2016 (Tübitak 1001) “Doğrusal Olmayan Tam Sayılı Karma Modeller için Aralık Bölme Metotları” 2013-2014 (Tübitak 1001) “HOPS : Deprem Sonrası İlkyardým için Çevrimiçi Helikopter Operasyon Planlama Sistemi”. 2011-2014 Past Graduate Students Doğuhan Gümüşoğlu, MSc, 2017 Tolga Aktaş, MSc,2013, Tez linki PublicationsYayınlar Uluslararası hakemli dergilerde yayınlanan makaleler F.Erata, S.Deng, F.Zaghloul, W.Xiong, O.Demir, and J.Szefer, "Survey of approaches and techniques for security verification of computer systems." ACM Journal on Emerging Technologies in Computing Systems 19, no. 1 (2023): 1-34. S.Sari, O. Demir, "Secure cache partitioning in simultaneous multi-threading processors for fairness." Journal of the Faculty of Engineering and Architecture of Gazi University 37.2 (2022): 771-781. B.Ergüneş, L.Özdamar, O.Demir, N.Gülcan (2017), “A partitioning algorithm for the mixed integer nonlinear programming problem", International Journal of Operational Research, 28(2), 201-215. L.Özdamar, O.Demir, “A hierarchical clustering and routing procedure for large scale disaster relief logistics planning”, Transportation Research Part E-Logistics and Transportation Review (ISSN: 1366-5545), Volume 48, Number 3, pp:591 – 602, 2012. Uluslararası bilimsel toplantılarda sunulan ve bildiri kitabında (proceeding) basılan bildiriler S.Tanberk, O.Demir. "A Supervised Approach With Transformer, CNN, Optical Flow, and Sliding Window for Temporal Video Action Segmentation." In 2023 8th International Conference on Computer Science and Engineering (UBMK), pp. 393-398. IEEE, 2023. S.S.Helli, S.Tanberk, O.Demir. "Forecasting Energy Consumption Using Deep Learning in Smart Cities." In 2022 International Conference on Artificial Intelligence of Things (ICAIoT), pp. 1-6. IEEE, 2022. S.Tanberk, O.Demir. "Multivariate Modeling and Analysis for Cellular Traffic Prediction Using Call Detail Records." In 2022 7th International Conference on Computer Science and Engineering (UBMK), pp. 311-316. IEEE, 2022. D.T.Ergönül, O.Demir. "Clustered Server Consolidation for Energy Efficient Cloud." 2022 9th International Conference on Future Internet of Things and Cloud (FiCloud). IEEE, 2022. S.Sari, O.Demir, G.Küçük, “Poster: A Secure Cache Architecture for Fairness”, The Fifthteenth International Summer School on Advanced Computer Architecture and Compilation for High-Performance and Embedded Systems(ACACES 2019), pp.167-170,Fiuggi, Italy, July 2019, ISBN 978-88-905806-7-3 S.Deng, D.Gümüşoğlu, W.Xiong, S.Sari, Y.S.Gener, C.Lu, O.Demir, J.Szefer. “SecChisel Framework for Security Verification of Secure Processor Architectures”, 8th International Workshop on Hardware and Architectural Support for Security and Privacy(HASP), Phoenix, Arizona, USA, June 2019 S.Sari, O.Demir, G.Küçük, “FairSDP: Fair and Secure Dynamic Cache Partitioning” The Fourth International Conference on Computer Science and Engineering(UBMK 2019), Samsun, Turkey, September 2019. B.Ergüneş, L.Özdamar, O.Demir, N.Gülcan, “Interval Partitioning Methods for Mixed Integer Nonlinear Problems”, EngOpt 2014 – 4th International Conference on Engineering Optimization, Lisboa, Portugal, 2014. Y.Türk, O.Demir, S.Gören. Real Time Wireless Packet Monitoring with Raspberry Pi Sniffer. ISCIS 2014, Krakow, Poland, 2014. O.Demir, L.Özdamar, “A GIS-Based Emergency Response System for Disaster Relief Operations”, Multidisciplinary International Scheduling Conference: Theory and Applications (MISTA 2013), Ghent, Belgium, 2013. O.Demir, T.Aktaş, “Evaluation of Two Models for Securing SIP for Home Network Communications”, Global Wireless Summit 2013, Atlantic City, USA, 2013. O.Demir, L.Özdamar, “A Hierarchical Optimization and Clustering for Large Scale Disaster Relief”, VEROLOG 2012, Bologne, Italy, June 18-20 2012. Ş.Baydere, O.Demir, G.Devlet, G.Küçük, M.C.Yıldız, N.Çetin, C.Erdil, N.Girgin, “Relocatable Object Creation in a Mobile Computing Environment”, Procedings of Int’l. Conference on Parallel and Distributed Applications and Techniques (PDPTA’97), Las Vegas, NA, pp.1165-1169, June 1997. Ş.Baydere, O.Demir, G.Devlet, G.Küçük, M.C.Yıldız, N.Çetin, D.C.Erdil, N.Girgin, “MaROS: A Framework for Application Development on Mobile Hosts”, Procedings of Int’l. Conference on Parallel and Distributed Systems (Euro-PDS’97), Barcelona, Spain, pp.269-275, June 1997. Ulusal bilimsel toplantılarda sunulan ve bildiri kitabında basılan bildiriler Y.Türk, S.Gören, O.Demir, "Düşük Maliyetli 802.11 Kablosuz Ağ Dinleyici", Elektrik- Elektronik, Bilgisayar ve Biyomedikal Mühendisliği Sempozyumu (ELECO’2014), Bursa, 2014. S.Yılmaz, E.Bakır, O.Demir, L.Özdamar, “Büyük Ölçekli Afet Lojistiği Planlaması için Hiyerarşik Kümeleme ve Rotalama Algoritması”, YA-EM 2012, Doğuş University, İstanbul, Turkey. Diğer Yayınlar S.Deng, D.Gümüşoğlu, W.Xiong, Y.S.Gener, O.Demir, J.Szefer, “SecChisel: Language and Tool for Practical and Scalable Security Verification of Security-Aware Hardware Architectures”, February 2017. O.Demir, W.Xiong, F.Zaghloul, J.Szefer, “Survey of Approaches for Security Verification of Hardware/Software Systems”, August 2016.