The project has started 2016 year with the attempts to formalize the vulnerability “Heartbleed” and try to detect it in Algebraic Programming System.

The results (together with V.Sukhomlinov from Intel) are presented in a paper

O. Letychevskyi, V. Sukhomlinov An Algebraic Approach for the Detection of Vulnerabilities in Software Systems //The Third International Conference on Electronics and Software Science (ICESS2017), pp. 53-60.

The technology of vulnerability formalization has been developed together with the Institute of cybernetics. The technique of vulnerability semantics presentation in behavior algebra expressions has been presented in papers:

O. Letychevskyi, Y. Hryniuk, V. Yakovlev, V. Peschanenko, V. Radchenko Algebraic Matching of Vulnerabilities in a Low-Level Code // The ISC International Journal of Information Security, vol. 11, special issue, 2019, -pp. 1-7.

O. Letychevskyi, V. Peschanenko, V. Radchenko, Y. Hryniuk, V. Yakovlev Algebraic Patterns of Vulnerabilities in Binary Code . Proc. of 10th International Conference on Dependable Systems, Services and Technologies (DESSERT), Leeds, United Kingdom, 5-7 June 2019, 2019.

The results have been presented in the following conferences:

5th International Conference on Communication, Management and Information Technology (presentation)

10th International Conference Dependable Systems, Services and Technologies (presentation)

The 10th IEEE International Conference on Intelligent Data Acquisition and Advanced Computing Systems: Technology and Applications (presentation)

First International Scientific Conference "Digital Transformation, Cyber Security and Resilience" (presentation