Formal Analysis and Verification of Post-Quantum Cryptographic Schemes (FAVPQC), Principal Investigator, Funded by EIG Concert Japan (France, Japan, Spain and Turkey), May 2021 - May 2024.
Design and Analysis of NTRU-based Cryptosystems Using Formal Methods, Principal Investigator, Funded by Georgian Shota Rustaveli Georgian National Science Foundation and TÜBITAK, February, 2019 - February, 2021.
Lattice-Based Cryptographic Protocol Design and Efficient Implementations, Principal Investigator, Funded by TÜBITAK 1003 - Priority Theme: Cryptology, April, 2018 - April, 2020.
Efficiency Analysis and Implementation of Post-Quantum Cryptographic Schemes in Software/Hardware, Principal Investigator, Funded by TÜBITAK 1001, June, 2017 - June, 2019.
Cyber Security and Cryptology Laboratory, Principal Investigator, Funded by OMU BAP, December, 2017 - May, 2019.
Security Requirements of Cryptographic Modules, Principal Investigator, Funded by OMU BAP, 2012-2014.
Some Cryptographic Functions and Efficient Implementations, Principal Investigator, Funded by TÜBITAK 1001, Accepted, 2014.
Mathematical Aspects of Curve-based Cryptography, Researcher, Funded by TÜBITAK and BMBF, Germany, 2012-2014.
Algebraic Curves and Their Applications to Some Problems in Cryptography and Coding Theory, Researcher, Funded by TÜBITAK, 2010-2013.
Certified Electronic Mail, Researcher, Funded by TÜBITAK TEYDEB, 2010-2011.
Finite Geometry, Coding Theory and Cryptography, Researcher, Funded by METU BAP, 2009-2010.
Pairing Based Cryptographic Protocols and Applications, Researcher, Funded by ASELSAN A.Ş. 2008-2009.
Implementation of Cryptographic Algorithms with Different Security Levels, Researcher, Funded by TÜRKSAT, 2008.
Selecting Secure Elliptic Curves over GF(p) and Implementing a Signature System Based on Elliptic Curves, Researcher, Funded by ASELSAN A.S. 2007-2008.
Development and Implementations in Public Key Infrastructures, Researcher, Funded by TÜBITAK 1007, 2006-2008.
TÜBİTAK: The Scientific and Technological Research Council of Turkey