Analysis of the cryptographic strength of the SHA-256 hash function using the SAT approach

Combined approach to fault detection in complex technical systems based on bond-graph model

Verification of the formal requirements for the system behavior based on automaton objects

Frequencies estimation in multisinusoidal time-varying parameter of the first order discrete linear system with the application to indirect adaptive control 

Investigation of phase transformations of carbon steel scale during laser purification by nanosecond pulses in the evaporation mode

Development of dense information sets for Gilbert codes and its extensions

A platform for cyber-physical systems with multi-level organization and mixed critical computing processes

Gorbunov N.A., Kuleshova V.O., Korzhuk V.M.
Integration of enhanced qualified electronic signature to the fast healthcare interoperability resources (FHIR RU-core) protocol  

Increasing the sensitivity of a refractive fiber-optic sensor based on surface plasmon resonance and MMF-SMF-MMF fiber using dielectric coatings

Development of a file system for storing data of an intelligent video surveillance system