Formal Analysis and Verification of Post-Quantum Cryptographic Schemes (FAVPQC), Principal Investigator, Funded by EIG Concert Japan (France, Japan, Spain and Turkey), Researcher, Project Participation/Leave Dates: 6/30/21 - 12/1/23, Project Start/End Dates: 6/1/21 - 12/1/23.
Design and Analysis of NTRU-based Cryptosystems Using Formal Methods, Principal Investigator, Funded by Georgian Shota Rustaveli Georgian National Science Foundation and TÜBITAK, Researcher, Project Participation/Leave Dates: 3/19/20 - 2/15/21, Project Start/End Dates: 2/15/19 - 2/15/21.
Lattice-Based Cryptographic Protocol Design and Efficient Implementations, Principal Investigator, Funded by TÜBITAK 1003 - Priority Theme: Cryptology, Researcher, Participation/Leave Dates: 6/4/18 - 1/9/20, Project Start/End Dates: 4/15/18 - 4/15/20.
Creating a Software Library for Security Analysis of Cryptographic Protocols with Maude-Npa and Proverif Tools, BAP-PYO.MUH.1908.22.020, Researcher, Participation/Leave Dates: 01/01/22 - 01/8/22, Project Start/End Dates: 4/15/18 - 4/15/20.