Algebraic Modelling of Logistical Systems Equipped by Wireless Monitoring Devices. - Oleksandr A. Letychevskyi; Serhii Horbatiuk; Viktor Horbatiuk (IDAACS-SWS, 2020)

Consensus protocol security analysis using an algebraic virtual machine. - Oleksandr A. Letychevskyi; Volodymyr Peschanenko; Serhii Horbatiuk (IntelITSIS, 2022)

Methods of Detection of Http Attacks on a Smart Home Using the Algebraic Matching Method. - Viktor Horbatiuk; Serhii Horbatiuk (UkrPROG, 2022)