As computer systems play an increasingly important role in modern society, security in cyberspace becomes a major issue. Its breaches allow adversaries to steal personal information, financial data, economic and military secrets, and even to influence political decisions.

Cybersecurity is concerned with protecting digital resources, systems, networks, data from unauthorized access. Due to its utmost importance, businesses and states are heavily investing in this area. Gartner forecasts the worldwide information security market to reach $170.4 billion in 2022.

Cryptography and cryptographic protocols are the cornerstone of Cybersecurity. It is a technique that allows two or more parties to communicate and exchange information securely. It is proved, that in the era of quantum computers existing cryptographic protocols will not be secure any more. Thus, research on post-quantum cryptosystems is actual nowadays.

The proposed research project was related to formal analysis of post-quantum cryptographic scheme. During the project, NTRU-based cryptographic protocols were modified and analyzed them in a formalism, which combines the power of conditional term rewriting with logic programming. The obtained results are both of theoretical and practical character. The results, developed under the project, extend existing and create new technologies in the area of formal analysis of cryptosystems. The obtained results are important for both, academia and industry. In particular, they can be used in the areas, such as cybersecurity, data analysis and security, declarative programming, and formal analysis.

Project members:

• Mikheil Rukhaia (Principal Investigator)

• Besik Dundua (Key Personnel)

• Lali Tibua (Key Personnel)

• Lia Kurtanidze (Key Personnel)

• Lela Mirtskhulava (Key Personnel)