Publications

2023

[T3] Kübra Seyhan, “Post-Quantum Secure Lattice-Based PAKE Protocols“, Ph.D. Thesis, Ondokuz Mayis University, Computational Sciences, Advisor: Sedat Akleylek,  December 2023.

[T2] Ahmet Faruk Dursun, “Kuantum Sonrası Güvenli Anahtar Paketleme Mekanizmalarının Mobil Ortam Gerçeklemeleri ve Uçtan Uca Şifreli Anlık Mesajlaşma Uygulaması“, Master Thesis, Ondokuz Mayis University, Department of Computer Science, Advisor: Sedat Akleylek,  December 2023.

[JA7] Víctor García​, Santiago Escobar, Kazuhiro Ogata, Sedat Akleylek, Ayoub Otmani, “Modelling and verification of post-quantum key encapsulation mechanisms using Maude”, Peerj Computer Science, September 2023, 9:e1547, https://doi.org/10.7717/peerj-cs.1547.

[JA6] Duong Dinh Tran, Kazuhiro Ogata, Santiago Escobar, Sedat Akleylek, Ayoub Otmani, “Kyber, Saber, and SK- MLWR lattice-based key encapsulation mechanisms model checking with Maude“, IET Information Security, 2023, will be appear.

[JA5] Kübra Seyhan, Sedat Akleylek, “A new password-authenticated module learning with rounding-based key exchange protocol: Saber.PAKE”, Journal of Supercomputing, Vol. 79, pp. 17859–17896, November 2023,  https://doi.org/10.1007/s11227-023-05251-x.

[JA4] 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

[JA3] Kübra Seyhan, Tu N. Nguyen, Sedat Akleylek, Korhan Cengiz, “Lattice-based cryptosystems for the security of resource-constrained IoT devices in post-quantum world: a survey“, Cluster Computing, Vol. 25(3), pp. 1729–1748, June 2022, https://doi.org/10.1007/s10586-021-03380-7.

[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, pp. 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.

Partners

2023

[CP9] Fan Yang, Santiago Escobar, Catherine A. Meadows, José Meseguer, Sonia Santiago, “Strand Spaces with Choice via a Process Algebra Semantics“,  Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems, Lecture Notes in Computer Science, Vol. 13160, pp. 307-350, May 2023, https://doi.org/10.1007/978-3-031-31476-6_17.

[JA2] Duong Dinh Tran, Thet Wai Mon, Kazuhiro Ogata, “Transport Layer Security 1.0 handshake protocol formal verification case study: How to use a proof script generator for existing large proof scores“, PeerJ Computer Science, Vol. 9, March 2023, e1284, https://doi.org/10.7717/peerj-cs.1284.

2022

[CP8] Víctor García, Santiago Escobar, Kazuhiro Ogata, “Modeling and verification of the post-quantum key encapsulation mechanism KYBER using Maude“, In CEUR Workshop Proceedings, Sun SITE Central Europe, Vol. 3280, pp. 32-49, October 2022,  http://hdl.handle.net/10251/195419.

[CP7] Duong Dinh Tran, Canh Minh Do, Santiago Escobar, Kazuhiro Ogata, “Hybrid Post-Quantum TLS formal specification in Maude-NPA – toward its security analysis“, In CEUR Workshop Proceedings, Sun SITE Central Europe, Vol. 3280, pp. 50-64, October 2022,  https://ceur-ws.org/Vol-3280/paper4.pdf.

[CP6] Raúl López-Rueda, Santiago Escobar, “Canonical Narrowing with Irreducibility and SMT Constraints as a Generic Symbolic Protocol Analysis Method“, In International Workshop on Rewriting Logic and its Applications – WRLA 2022, Lecture Notes in Computer Science, Vol. 13252. Springer, Cham., pp. 45-64, July 2022, https://doi.org/10.1007/978-3-031-12441-9_3.

[CP5] Raúl López-Rueda, Santiago Escobar, José Meseguer, “An Efficient Canonical Narrowing Implementation for Protocol Analysis“, In International Workshop on Rewriting Logic and its Applications – WRLA 2022, Lecture Notes in Computer Science, Vol. 13252. Springer, Cham., pp. 151-170, July 2022, https://doi.org/10.1007/978-3-031-12441-9_8.

[CP4] Canh Minh Do, Adrián Riesco, Santiago Escobar, Kazuhiro Ogata, “Parallel Maude-NPA for Cryptographic Protocol Analysis“,  In International Workshop on Rewriting Logic and its Applications – WRLA 2022, Lecture Notes in Computer Science, Vol. 13252. Springer, Cham., pp. 253-273, July 2022, https://doi.org/10.1007/978-3-031-12441-9_13.

[CP3] Raúl López-Rueda, Santiago Escobar “Canonical Narrowing for Variant-Based Conditional Rewrite Theories“,  In International Conference on Formal Engineering Methods – ICFEM 2022, Lecture Notes in Computer Science book series, Vol. 13478, pp. 20-35, October 2022, https://doi.org/10.1007/978-3-031-17244-1_2.

[CP2] Francisco Durán, Steven Eker, Santiago Escobar, Narciso Martí-Oliet, José Meseguer, Rubén Rubio, Carolyn L. Talcott, “Equational Unification and Matching, and Symbolic Reachability Analysis in Maude 3.2 (System Description)“, In International Joint Conference on Automated Reasoning – IJCAR 2022, Cham: Springer International Publishing, pp. 529-540, May 2022, https://library.oapen.org/bitstream/handle/20.500.12657/57927/1/978-3-031-10769-6.pdf#page=531.

[CP1] Duong Dinh Tran, Kazuhiro Ogata,  “IPSG: Invariant Proof Score Generator“, In 2022 IEEE 46th Annual Computers, Software, and Applications Conference – COMPSAC 2022, IEEE, pp. 1050-1055, June 2022, https://doi.org/10.1109/COMPSAC54236.2022.00164.

[JA1] Duong Dinh Tran, Kazuhiro Ogata, “Formal verification of TLS 1.2 by automatically generating proof scores“, Computers & Security,  Vol. 123,  pp. 102909,  2022, https://doi.org/10.1016/j.cose.2022.102909.

---

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

---