Serhii Horbatiuk

Publication Activity (10 Years)

Years Active: 2020-2022
Publications (10 Years): 3

Top Topics

Virtual Machine

Ambient Assisted Living

Security Analysis

Top Venues

Publications

Oleksandr A. Letychevskyi, Volodymyr Peschanenko, Serhii Horbatiuk
Consensus protocol security analysis using an algebraic virtual machine. IntelITSIS (2022)
Viktor Horbatiuk, Serhii Horbatiuk
Methods of Detection of Http Attacks on a Smart Home Using the Algebraic Matching Method. UkrPROG (2022)
Oleksandr A. Letychevskyi, Serhii Horbatiuk, Viktor Horbatiuk
Algebraic Modelling of Logistical Systems Equipped by Wireless Monitoring Devices. IDAACS-SWS (2020)