Crympix: Cryptographic Multiprecision Library. - Ahmet Koltuksuz; Hüseyin Hisil (ISCIS, 2005)

Utilization of Timed Automata as a Verification Tool for Security Protocols. - Ahmet Koltuksuz; Burcu Kulahcioglu; Murat Ozkan (SSIRI (Companion), 2010)

Modeling Efficient Multi-chained Stream Signature Protocol Using Communicating Sequential Processes. - Ahmet Koltuksuz; Murat Ozkan; Burcu Kulahcioglu (SSIRI (Companion), 2010)

Construction of the Turkish National Corpus (TNC). - Yesim Aksan; Mustafa Aksan; Ahmet Koltuksuz; Taner Sezer; Ümit Mersinli; Umut Ufuk Demirhan; Hakan Yilmazer; Gülsüm Atasoy; Seda Öz; Ipek Yildiz; Özlem Kurtoglu (LREC, 2012)

A model of distributed key generation for industrial control systems. - Görkem Kilinç 001; Igor Nai Fovino; Carlo Ferigato; Ahmet Koltuksuz (WODES, 2012)

Imaging and evaluating the memory access for malware. - Cagatay Yucel; Ahmet Koltuksuz (Digit. Investig., 2020)

Detecting User Behavior in Cyber Threat Intelligence: Development of Honeypsy System. - Murat Odemis; Cagatay Yucel; Ahmet Koltuksuz (Secur. Commun. Networks, 2022)