Abstract In Internet of Things (IoT) systems with security demands, there is often a need to
distribute sensitive information (such as encryption keys, digital signatures, or login …

The paper suggests a new methodology for secure cyber–physical systems design. The
proposed methodology consists of two main cycles. The main goal of the first cycle is in …

In (k, n) secret sharing scheme, one secret is encrypted into n shares in such a way that only
k or more shares can decrypt the secret. Secret sharing scheme can be extended into the …

The paper considers a new design and verification methodology for secure and distributed
cyber-physical systems, which contain microcontroller-based devices. The key idea of the …

Aiming at the problem of plaintext recovery attack on 3DES algorithm with different byte
keys, a plaintext recovery method for 3DES algorithm with different byte keys is proposed. In …

One of the possible ways to ensure the security of microcontroller-based systems is the
implementation of security by design approach. Unfortunately, existing approaches are not …

В данной работе описана архитектура новой методики проектирования и верификации
защищенных киберфизических систем, содержащих устройства на основе …

Internet of things (IoT) is used to provide real-time data collection and analysis of the target
area by the cooperation of low-cost devices. The authentication towards multiple devices …

Internet of things (IoT) is used to provide real-time data collection and analysis of the target
area by the cooperation of low-cost devices. The authentication towards multiple devices …

Mobile-Health (M-Health) system is a growing field that enables physicians to monitor
remote patients' health status and facilitates the sharing of medical records among medical …