Publications

2023

[JA3] Meryem Soysaldı Şahin, Sedat Akleylek, “A survey of quantum secure group signature schemes: Lattice-based approach“, Journal of Information Security and Applications, Vol. 73, 103432, March 2023, https://doi.org/10.1016/j.jisa.2023.103432.

2022

[T1] Meryem Soysaldı Şahin, “Quantum Secure Lattice-based Group Signature and Encryption Schemes“, Ph.D. Thesis, Ondokuz Mayis University, Computational Sciences, Advisor: Sedat Akleylek,  December 2022.

[JA2] Kübra Seyhan, Sedat Akleylek, “Classification of Random Number Generator Applications in IoT: A Comprehensive Taxonomy”, Journal of Information Security and Applications, vol.71, 103365, 2022, https://doi.org/10.1016/j.jisa.2022.103365

[JA1] Meryem Soysaldı Şahin, Sedat Akleylek,  “A constant-size lattice-based partially-dynamic group signature scheme in quantum random oracle model”, Journal of King Saud University-Computer and Information Sciences, Vol. 34(10B), November 2022, Pages 9852-9866, https://doi.org/10.1016/j.jksuci.2021.12.014.

[CP8]  Duong Dinh Tran, Kazuhiro Ogata, Santiago Escobar, Sedat Akleylek, and Ayoub Otmani, “Formal specification and model checking of lattice-based key encapsulation mechanisms in Maude”, The 14th International Workshop on Rewriting Logic and Its Applications – WRLA 2022, Lecture Notes in Computer Science, to appear.

[CB3] Kübra Seyhan, Sedat Akleylek, “Post-Quantum Cryptography: A Snapshot of Standardization Efforts“,  Cybersecurity for Critical Infrastructure Protection via Reflection of Industrial Control Systems,  NATO Science for Peace and Security Series – D: Information and Communication Security,  pp. 90-99, November 2022, https://doi.org/10.3233/NICSP220038

[CP7] Duong Dinh Tran, Kazuhiro Ogata, Santiago Escobar, Sedat Akleylek and Ayoub Otmani, “Formal specification and model checking of lattice-based key encapsulation mechanisms in Maude”, 23rd International Conference on Formal Engineering Methods – ICFEM 2022, CEUR Proceedings of International Workshop on Formal Analysis and Verification of Post-Quantum Cryptographic Protocols 2022, pp. 16-31, October 24, 2022.

[CP6] Ahmet Faruk Dursun, Kübra Seyhan, Sedat Akleylek, “Mobil Cihazların Kuantum Sonrası Güvenliği İçin Uyarlanmış KEM Uygulamaları: Adapted KEM Applications for Post-Quantum Security of Mobile Devices“, The 15th International Conference on Information Security and Cryptography – ISC Turkey 2022, pp. 31-37, Ankara, Turkey,  October 19-20, 2022, https://doi.org/10.1109/ISCTURKEY56345.2022.9931767.

[IP7] Kübra Seyhan, Sedat Akleylek, “Lattice-Based Cryptography, Lattices and NP-Hard Problems in Lattices (SIS, SVP, etc)“, Intermediate and Advanced Course on Post-Quantum Cryptography, Baku, Azerbaijan, 8 September 2022.

[CP5] Ahmet Faruk Dursun, Kübra Seyhan, Sedat Akleylek, “End-to-end Encrypted Instant Messaging Application of Post-Quantum Secure Key Encapsulation Mechanisms For Mobile Applications“, International Conference on Science, Engineering Management and Information Technology – SEMIT 2022, pp. 48-49, Ankara, Turkey, September 8-9, 2022,  https://semit.refconf.com/data/cnf1620843297/uploads/Conference%20book%2030.09.2022.pdf.

[IP6] Sedat Akleylek, “Post-Quantum Cryptography and the NIST PQC Standardization Process“, Intermediate and Advanced Course on Post-Quantum Cryptography, Baku, Azerbaijan, 7 September 2022.

[IP5] Sedat Akleylek, “New Directions in Post-Quantum Cryptography: Revisited”, 3rd International Conference on Electronic Engineering and Signal Processing, August 28-30, 2022, http://www.eesp.net/invited.html

[CP4] Kübra Seyhan, Sedat Akleylek, “A Hybrid Three-Party Password-Authenticated Key Exchange“,  Algorithms in Cryptography and Blockchain Session of ACA2022,  pp. 190-191, August 15, 2022, https://scale.gtu.edu.tr/files/aca_book.pdf

[CP3] Meryem Soysaldı Şahin, Sedat Akleylek, “A Lattice-based Group Signature Scheme with Applications in Blockchain“,  Algorithms in Cryptography and Blockchain Session of ACA2022,  pp. 192-193, August 15, 2022, https://scale.gtu.edu.tr/files/aca_book.pdf

[CP2] Sedat Akleylek, Ebubekir Aydoğmuş, Ahmet Sınak, “Two Post-Quantum Code-Based Cryptosystems“,  Algorithms in Cryptography and Blockchain Session of ACA2022,  pp. 194-195, August 15, 2022, https://scale.gtu.edu.tr/files/aca_book.pdf

[CP1] Duong Dinh Tran, Kazuhiro Ogata, Santiago Escobar, Sedat Akleylek, Ayoub Otmani, “Formal specification and model checking of Saber lattice-based key encapsulation mechanism in Maude“, The 34th International Conference on Software Engineering & Knowledge Engineering – SEKE 2022, pp. 382-387, Pittsburgh, USA, July 1-10, 2022, http://ksiresearchorg.ipage.com/seke/seke22paper/paper097.pdf.

[IP4] Sedat Akleylek, Kübra Seyhan, “Kafes Tabanlı Anahtar Değişim Protokolleri, Uzlaşma Mekanizmaları ve Sinyal Sızıntısı Atakları” 3. Ulusal Kuantum Sonrası Kriptografi Çalıştayı – TÜBİTAK BİLGEM ve ASELSAN, 28 March 2022.

[IP3] Sedat Akleylek, “Problems in Post-Quantum Cryptography: Design and Security Analysis“, International Conference on Advances in Data Science Challenges with Big Data Analysis, 16 February 2022, https://icadsc.com/keynote.html.

2021

[IP2] Sedat Akleylek, “Challenges and Opportunities in Post-Quantum Cryptography“, The 6th International Conference of Reliable Information and Communication Technology 2021 – IRICT 2021, 23 December 2021, http://irict.co/irict2021/keynote-speakers-2/.

[IP1]  Sedat Akleylek, “Challenges and opportunities in cryptography: lattice-based and code-based cryptography in the quantum era with formal analysis“, Information Security: Problems and Prospects International Conference, 29 October 2021, https://au.edu.az/en/menu/561/.

[CB2] Sedat Akleylek, Kübra Seyhan, “Kuantum Bilgisayar Çağında Kriptosistemlere Bir Bakış“, Siber Güvenlik ve Savunma: Blokzincir ve Kriptoloji Cilt V, pp. 239-275, 2021, https://dergipark.org.tr/en/download/journal-file/25253.

[CB1] Meryem Soysaldı Şahin, Sedat Akleylek, “Kafes Tabanlı Grup İmzalama Şemalarının Özellikleri ve Değerlendirilmesi“, Siber Güvenlik ve Savunma: Blokzincir ve Kriptoloji Cilt V, pp. 491-541, 2021, https://dergipark.org.tr/en/download/journal-file/25253.

JA: Journal Article, CB: Chapter in a Book, PP: Preprint, 
CP: Conference and Workshop Papers, IP: Invited Presentation, 
T: Completed Thesis