The project has been started together with the Glushkov Institue of Cybernetic in 2017. The goal of the project is to use the algebraic formal methods in the detection of attack and vulnerability in the software systems.

One of the decisions is the usage of behavior algebra algorithms and the theory of insertion modeling. Types of intruder attacks from CVE database, especially Meltdown and Specter are presented as behavior algebra expression and detection of vulnerability is defined by resolving of behavior

Our approach presentation: 

Lecture in University College of Dublin

The lecture on the Algebraic Approach in cybersecurity was presented in the University College of Dublin (Ireland) for student and forensic computation laboratory engineers.