IEEE Ukraine Section

National Aerospace University n. a. N. E. Zhukovsky “KhAI”, Kharkiv, Ukraine

Banking University, Kyiv, Ukraine

National Aviation University, Kyiv, Ukraine

IEEE Ukraine Section SP/AES Societies Joint Chapter

IEEE Ukraine Section (Kyiv) ED/MTT/CPMT/COM/SSC Societies Joint Chapter

IEEE Ukraine Section (Kharkiv) SP/AP/C/EMC/Com Societies Joint Chapter

IEEE Ukraine Section IM/CIS Societies Joint Chapter

DEpendable Systems, SERvices and Technologies

DESSERT’2018

Ukraine, Kyiv

May 24-27, 2018

Programme

Exclusive partners

Research and Production Corporation Radiy, Ukraine

National Bank of Ukraine

University and Research Institute partners Taras Shevchenko National University of Kyiv, Kyiv, Ukraine

Institute of Information Science and Technologies of National Research Council ISTI -CNR Pisa, Italy

Leeds Beckett University, Leeds, United Kingdom

Pukhov Institute for Modelling in Energy Engineering, National Academy of Sciences of Ukraine, Kyiv

Tallinn University of Technology, Tallinn, Estonia

University of Žilina, Zilina, Slovakia

IT companies and Associations partners EPAM Systems, Ukraine

ChiSoftware, Ukraine

Cypress Semiconductor, USA

Center for Safety Infrastructure-Oriented Research and Analysis, Ukraine

Association of Industrial Automation of Ukraine, Ukraine

HiTech Office Ukraine

IT Alliance, Kyiv, Ukraine

Social partners The International Society of Service Innovation Professionals, USA

Data Techno Park, Poland

eCv Collaboratory, USA

Media and project partners Carte Blanche Magazine, Kyiv, Ukraine

Ukrainian Association Fintech & Innovation Companies, Ukraine

Erasmus+ Project ALIOT

7Event Group, Ukraine

2

Contents

Welcome note 3

DESSERT’2018 Committees 5

Time-table 9

Layout of rooms 10

Keynote speakers 11

Schedule 16

May 24 16

May 25 18

May 26 23

May 27 28

Location 30

Transport 31

Alphabetical index of authors 32

3

WELCOME NOTE

Welcome to the 9th International IEEE Conference

Dependable Systems, Services and Technologies,

DESSERT’2018! Background. The nowadays world is facing the increasing effect of information, communication and electronic

technologies on comfort, living standards, safety and security of each person and society as a whole. IT-based systems

are crucial components of modern critical and commercial domains, thus causing the need for ensured dependability

and resilience of such systems. The faults and vulnerabilities of implemented components/configuration/technologies

lead to new security and safety issues. Computer systems and services dependability highly depends on the components

reliability, availability and integrity as well as on human-machine interface quality. Failures and emergencies of critical

systems as a rule are caused by several reasons, combination of physical, design and interaction faults and human

errors. Thus to ensure the dependability we should analyze all potential risks at each level of the following hierarchy

“component – system – infrastructure (system of systems)” considering interactions and interdependencies between

those layers. The paradigm “dependable, secure and safe systems out of undependable, insecure and unsafe

components” becomes vastly important through increasing complexity, evolution of physical and informational

environment parameters. Besides, the novel issue stands before society – assure dependability and security of IT-based

systems while minimizing power consumptions and other resources to develop cost-effective secure and green IT.

History. During twelve years problems of dependability, safety, security, greenness of IT and IT-based systems

were on the agenda of the Conference “DEpendable Systems, SERvices and Technologies” (DESSERT). The first

DESSERT was held in Poltava, Ukraine in 2006, later in Kirovograd, Sevastopol, Kyiv. Now DESSERT is one of the

largest conferences in considered area in Ukraine, Eastern and Central Europe.

In jubilee year DESSERT’2016 was a part of CYBER FORUM DESSERT B2S-S2B (Business to Science-

Science to Business) with research, industry and business tracks on cyber entities. Forum aimed to implement the

Business to Science (B2S) - Science to Business (S2B) concept in different critical and commercial applications. We

can assert that 2016-2018 years were successful regarding development of university-industry cooperation in IT. One

of the examples is EU project CABRIOLET http://my-cabriolet.eu. During 2017 year a few DESSERT related

workshops such as ICTERI-TheRMIT-DESSERT http://icteri.org/icteri-2017/workshops/thermit-2017, DepCoS-

CrISS-DESSERT http://depcos.pwr.wroc.pl and others have been held.

Topics. This year very important event has taken place. DESSERT’2018 become a part of IEEE community

and includes plenary and panel sessions, roundtables and workshops. Slogan of the DESSERT’2018 is Sustainable IT

for Secure and Safe Systems and Cyberspace. DESSERT’2018 will be held during four days in Kyiv to discuss

challenges and solutions regarding the following domains: cyber country, cyber space and computing; cyber finance

and banking; cyber safety and cyber security; cyber technologies and systems; cyber energy and transport; cyber

cooperation and education, etc.

Main directions for discussion of the DESSERT sessions can be described by three axes “attributes

(dependability, safety, security), domains (safety, mission, data, business critical) and tasks (regulation, development,

assessment), and include the following topics, which will be discussed in frameworks of 12 tracks and 30 sessions:

CRITICAL INFRASTRUCTURE AND I&C SAFETY AND SECURITY

- NPP I&C safety and security

- CI safety and security

- Healthcare and industry systems safety

DEPENDABILITY OF INTERNET, WEB AND CLOUD SYSTEMS

- Fog Computing and Virtualization

- Modeling, FPGA as a service and P2P networks

- Cyber-Physical Computing

- Hyperconvergent platforms and virtual machines

IOT AND SMART SYSTEMS

- IoT evaluation and implementation

- IoT and smart systems security and safety

4

DEPENDABLE EMBEDDED AND PROGRAMMABLE SYSTEMS

- Verification and testing

- Design and implementation

ADVANCED METHODS OF CYBER SECURITY AND CRYPTOGRAPHY

- Encoding and cryptography

- Post quantum cryptography

- Lightweight cryptography and implementation

- Steganography and authentication

DEPENDABILITY OF UNMANNED VEHICLES, ROBOTS AND DRONES

SOFTWARE QUALITY AND RELIABILITY

ARTIFICIAL INTELLIGENCE AND FORMAL SYSTEMS

- Neural networks and expert systems

- Application AI for security and safety

- Model checking and decision making

- Smart education and industry systems

BIG DATA AND DATA ANALYSIS FOR DEPENDABILITY

- Big Data based technologies

- Big Data for Industry

- Optimization of Big Data Processes

GREEN COMPUTING AND COMMUNICATION

TELECOMMUNICATION, IMAGE AND SIGNAL PROCESSING

- Recognition and Detection

- Encoding and watermarking

- Signal processing and monitoring

- Telecommunication systems and technologies

UNIVERSITY-INDUSTRY COOPERATION FOR BUSINESS AND CRITICAL DOMAINS

The conference includes round table dedicated to the 50th anniversary of the 1st NATO Software Engineering

Conference, where the term “software engineering” was coined (and later “critical software engineering”, “software

reliability engineering”). The meeting on ERASMUS+ project ALIOT (Internet of Things: Emerging Curriculum for

Industry and Human Applications” http://aliot.eu.org/) will be held.

Statistics. DESSERT’2018 statistics:

- 224 papers have been submitted and 141 papers have been accepted (63%) and published in Proceedings which

will be indexed in IEEE Explore Library and Scopus;

- number of the authors is more 660 and for accepted papers about 450 from 21 countries (Azerbaijan, Canada,

China, Germany, Greece, France, Estonia, Georgia, Italy, Iraq, Mexico, Norway, Oman, Poland, Portugal, Russia,

Rwanda, Slovakia, Ukraine, United Kingdom, USA);

- number of members of PC committee is 90 from 20 countries. Every paper has been reviewed by 3 reviewers;

- number of keynote and industry speakers is 12 from 8 countries.

Acknowledgements. We thank authors, keynote and plenary speakers. We are especially grateful to National

Bank of Ukraine, Banking University for given opportunity and support of DESSERT. We thank members of

Organizing, Program, Local and Information Committees and International Advisory Board for their impact. We are

very much obliged to sponsors and industrial partners, and especially Research and Production Company RPC Radiy

for constant sponsorship of DESSERT for 11 years.

We would like to thank our social, event and media partners for cooperation and interest to the сonference. We

thank our DESSERT organizing group, first of all, Anatoliy Gorbenko, Oleksandr Gordieiev, Olena Golembovska,

Anastasiia Strielkina, Oleg Illiashenko, Oleg Odarushchenko, Artem Tetskyi for their painstaking work 24 hours in a

day during preparation of the Proceedings, Program and organization of the conference as a whole. We thank our

colleagues Oksana Hahina, Marina Medinskaya, Tatyana Shmelova for great efforts on organization of the conference,

accommodation and logistics.

General Chair of DESSERT’2018 Conference,

Vyacheslav Kharchenko

5

DESSERT’2018 Committees

Organizing Committee

General Chair:

Prof, DrS Vyacheslav Kharchenko, National Aerospace University KhAI,

Centre for Safety Infrastructure-Oriented Research and Analysis, Kharkiv, Ukraine

General Co-Chairs:

Prof, DrS Felix Yanovsky, National Aviation University, IEEE Ukraine Section, Kyiv

Prof, DrS Anzhela Kuznetsova, Banking University, Kyiv, Ukraine

Prof, Dr Andrzej Rucinski, University of New Hampshire, eCv Collaboratory USA

Technical Program Committee Chair:

Prof, DrS Anatoliy Gorbenko, Leeds Beckett University, United Kingdom

Technical Program Committee Co-Chairs:

Prof, Dr Nikolaos Bardis, Hellenic Military Academy, Athens, Greece

Prof, Dr Elena Zaitseva, Zilina University, Slovakia

Local Organizing Chair:

Dr Oleksandr Gordieiev, Banking University, Kyiv, Ukraine

Publication Chair:

Olena Golembovska, IT Alliance, Carte Blanche, Kyiv, Ukraine

Publication Co-Chairs:

Dr Ah Lian Kor, Leeds Beckett University, United Kingdom

Dr Mariya Antyufeyeva, V.N. Karazin Kharkiv National University, Kharkiv, Ukraine

Financial Chair:

Dr Oleg Odarushchenko, RPC Radiy, Kropyvnytskyi, Ukraine

Publicity and Event Co-Chairs:

Prof, DrS Vladimir Zaslavsky, Taras Shevchenko National University of Kyiv, Ukraine

Oksana Hahina, 7event.group, Kyiv, Ukraine

Marina Medinskaya, 7event.group, Kyiv, Ukraine

Publication and Communication Administrator:

Anastasiia Strielkina, National Aerospace University KhAI, Kharkiv, Ukraine

Web Design and Administration:

Artem Tetskyi, National Aerospace University, Kharkiv, Ukraine

International Advisory Board

Co-Chairs

Dr Olexandr Siora, RPC Radiy, Kropyvnytskyi, Ukraine

Dr Peter Popov, Centre for Software Reliability, City University of London, United Kingdom

Prof, Dr Juri Vain, Tallinn University of Technology, Estonia

Oleg Illiashenko, National Aerospace University, Kharkiv, Ukraine

Members

6

Dr Mario Fusani, Institute of Information Science and Technologies of CNR, Italy

Viktor Kordas, KTH University, Stockholm, Sweden

Prof, DrS Vladimir Mokhor, Pukhov Institute for Modelling in Energy Engineering, NASU, Kyiv,

Ukraine

Prof, Dr Alexander Romanovsky, Newcastle University, United Kingdom

Prof, Dr Stefano Russo, University of Naples, Naples, Italy

Prof, DrS Vladimir Sklyar, National Aerospace University KhAI, Kharkiv, Ukraine

Prof, Dr Todor Tagarev, Bulgarian Academy of Sciences, Sofia, Bulgaria

Technical Program Committee (TBC)

Dr Sergiy Abramov, National Aerospace University KhAI, Kharkiv, Ukraine

Dr Victoriya Abramova, National Aerospace University KhAI, Kharkiv, Ukraine

Prof, Dr Nikolaos Bardis, Hellenic Military Academy, Athens, Greece

Prof, DrS Alexandr Barkalov, University of Zelena Gora, Poland

Dr Alexei Belotserkovsky, United Institute of Informatics Problems, Minsk, Belarus

Dr Sergiy Bogomolov, The Australian National University, Canberra, Australia

Dr Artem Boyarchuk, National Aerospace University KhAI, Kharkiv, Ukraine

DrS Yevhen Brezhniev, Research and Production Company Radiy, Ukraine

Dr Bruno Cabral, Coimbra University, Portugal

DrS Alexander Chemeris, Pukhov Institute for Modelling in Energy Engineering, NASU, Kyiv,

Ukraine

Dr De-Jiu Chen, KTH University, Sweden

Dr Dmytro Cherkashyn, Institute for Security and Safety at the Brandenburg University of Applied

Sciences, Germany

Prof, Dr Felicita Di Giandomenico, Institute of Information Science and Technologies of CNR, Italy

Prof, DrS Anatoliy Gorbenko, Leeds Beckett University, United Kingdom

Dr Oleksandr Gordieiev, Banking University, Kyiv, Ukraine

Dr Nikolaos Doukas, Hellenic Military Academy, Athens, Greece

Prof, DrS Olexandr Drozd, Odessa National Politechnical University, Ukraine

Dr Herman Fesenko, National University of Urban Economy, Kharkiv, Ukraine

Dr Mario Fusani, Institute of Information Science and Technologies of CNR, Italy

Prof, DrS Vladimir Hahanov, Kharkiv National University of Radioelectronics, Ukraine

Prof DrS Valerii Hlukhov, Lviv Polytechnic National University, Ukraine

Dr Tatyana Hovorushchenko, Khmelnitsky National University, Ukraine

Oleg Illiashenko, National Aerospace University KhAI, Kharkiv, Ukraine

Dr Oleg Ivanchenko, University of Customs and Finance, Dnipro, Ukraine

Prof, DrS Volodymyr Kazymyr, Chernihiv National University of Technology, Ukraine

Dr Eva Kern, Leuphana University of Lüneburg, Germany

Prof, DrS Vyacheslav Kharchenko, National Aerospace University KhAI, Kharkiv, Ukraine

Dr Maryna Kolisnyk, National Technical University KhPI, Kharkiv, Ukraine

Prof, DrS Yuriy Kondratenko, Petro Mohyla Black Sea National University, Mykolaiv, Ukraine

Dr Andriy Kovalenko, Centre for Safety Infrastructure Research and Analysis, Kharkiv, Ukraine

Dr Sergey Krivenko, National Aerospace University KhAI, Kharkiv, Ukraine

Dr Ravil Kudermetov, Zaporizzhya National Technical University, Ukraine

Dr Vitaliy Kulanov, National Aerospace University KhAI, Kharkiv, Ukraine

Dr Miroslav Kvassay, Zilina University, Slovakia

Prof, Dr Vitaly Levashenko, Zilina University, Slovakia

7

Prof, DrS Eugenia Litvinova, Kharkiv National University of Radioelectronics, Ukraine

Prof, DrS Vladimir Lukin, National Aerospace University KhAI, Kharkiv, Ukraine

Dr Sergiy Lysenko, Khmelnitsky National University, Ukraine

Prof, DrS Dmitry Maevsky, Odessa National Politechnical University, Ukraine

Prof Dr Jan Magott, Wroclaw University of Science and Technology, Poland

Prof, Dr George Markowsky, University of Maine, USA

Dr Sergiy Martynenko, National Aerospace University KhAI, Kharkiv, Ukraine

Dr Andriy Mashchak, Lviv Polytechnic National University, Ukraine

Dr Jacek Mazurkiewicz, Wrocław University of Science and Technology, Poland

Dr Olexandr Mulyak, Soft Serve, Lviv, Ukraine

Dr Kate Netkachova, Adelard Company, London, United Kingdom

DrS Oleg Odarushchenko, Research and Production Company Radiy, Ukraine

Prof, DrS Roman Oliynykov, V. N. Karazin Kharkiv National University, Ukraine

Prof, Dr Sigeru Omatu, Osaka Institute of Technology, Japan

Prof, Dr Krzysztof Pancerz, University of Rzeszow, Poland

Dr Anzhelika Parkhomenko, Zaporizzhya National Technical University, Ukraine

Dr Oleksiy Pogrebnyak, Instituto Politécnico Nacional, Mexico City, Mexico

Prof, DrS Oksana Pomorova, University of Łódź, Poland

Dr Yuriy Ponochovnyi, Poltava National Technical University, Ukraine

Prof, DrS Potii Olexandr, Institute of Information Technology, Kharkiv, Ukraine

Kostiantyn Potomkin, The Australian National University, Canberra, Australia

Dr Dana Prohazkova, Czech Technical University in Prague, Czech Republic

Dr Oleksii Rubel, National Aerospace University KhAI, Kharkiv, Ukraine

Prof, DrS Anatoly Sachenko, Ternopyl National Economical University, Ukraine

Dr Dinesh Kumar Saini, Sohar University, Oman

DrS Serhiy Shcherbovskykh, Lviv Polytechnic National University, Ukraine

Dr Vadym Shkarupylo, Zaporizzhya National Technical University, Ukraine

Prof, DrS Tatyana Shmielova, National Aviation University, Kyiv, Ukraine

Dr Ievgen Sidenko, Petro Mohyla Black Sea National University, Mykolaiv, Ukraine

Dr Oleksandr Shkiliuk, Lviv Polytechnic National University, Ukraine

Prof, DrS Inna Skarga-Bandurova, East-Ukranian National University, Severodonetsk, Ukraine

Dr Grigore Stamatescu, Politehnica University of Bucharest, Romania

Dr Oleksiy Strjuk, RPC Radiy, Kropyvnytskyi, Ukraine

Prof, DrS Larisa Titarenko, University of Zelena Gura, Poland

Prof, DrS Alexander Totsky, National Aerospace University KhAI, Kharkiv, Ukraine

Dr Leonidas Tsiopoulos, Tallinn University of Technology, Estonia

Dr Oleksii Turuta, Kharkiv National University of Radioelectronics, Ukraine

Prof, DrS Sergei Tyurin, Perm Research University, Russia

Dr Mikhail Uss, Samsung Ukraine R&D Center, Kyiv, Ukraine

Dr Dmytro Uzun, National Aerospace University KhAI, Kharkiv, Ukraine

Dr Tomasz Walkowiak, Wrocław University of Science and Technology, Poland

Prof, DrS Juri Vain, Tallinn University of Technology, Estonia

Dr Sergiy Vilkomir, University of North Caroline, USA

Dr Andriy Volkoviy, Mellanox Technologies, Kyiv, Ukraine

Prof, DrS Bohdan Volochiy, Lviv Polytechnic National University, Ukraine

Prof, Dr Benoit Vozel, University of Rennes 1, Lannion, France

Dr Heinz-Dietrich Wuttke, Ilmenau University of Technology, Ilmenau, Germany

8

Prof, DrS Vitaly Yakovyna, Lviv Polytechnic National University, Ukraine

Dr Nataliya Yakymets, Commissariat à l’Energie Atomique, Paris, France

Dr Svitlana Yaremchuk, Danube Institute, Odessa Maritime Academy, Ukraine

Prof, DrS Mikhail Yastrebenetsky, State Center of Nuclear and Radiation Safety, Kharkiv, Ukraine

Prof DrS Sergei Zaitsev, Chernihiv National University of Technology, Ukraine

Prof, Dr Elena Zaitseva, Zilina University, Slovakia

Prof, Dr Wojciech Zamojski, Wrocław University of Science and Technology, Poland

Prof, DrS Vladimir Zaslavskyi, Taras Shevchenko National University of Kyiv, Ukraine

Prof, DrS Gryroriy Zholtkevych, V. N. Karazin Kharkiv National University, Ukraine

Dr Mykhailo Zmysnyi, Lviv Polytechnic National University, Ukraine

Prof, DrS Wlodek Zuberek, Memorial University, Canada

Local Organising Committee

Prof, DrS Tamara Smovzhenko, Banking University, Kyiv, Ukraine

Dr Oleksandr Gordieiev, Banking University, Kyiv, Ukraine

Dr Iryna Burlakova, Banking University, Kyiv, Ukraine

Dr Galyna Chmeruk, Banking University, Kyiv, Ukraine

Dr Ievgen Pichkalov, IEEE Ukraine Section, Ukraine

Anna Rut’ko, Banking University, Kyiv, Ukraine

Information and Web Committee

Anastasiia Strielkina, National Aerospace University KhAI, Kharkiv, Ukraine

Artem Tetskyi, National Aerospace University KhAI, Kharkiv, Ukraine

Dr Valentina Butenko, National Aerospace University KhAI, Kharkiv, Ukraine

Victoriia Merlak, National Aerospace University KhAI, Kharkiv, Ukraine

Artem Perepelitsyn, National Aerospace University KhAI, Kharkiv, Ukraine

DESSERT’2018 timetable

Sections SR Software Quality and Reliability RT Discussion

DD Dependability of Unmanned Vehicles, Robots and Drones IT IoT and Smart Systems

TI Telecommunications, Image and Signal Processing DW Dependability of Internet, Web and Cloud systems

CI Critical Infrastructure and I&C Safety and Security AI AI and Formal Systems

BD Big Data and Data Analysis for Dependability CS Advanced Methods of Cyber Security and Cryptography

ES Dependable Embedded and Programable Systems GC Green Computing and Communication

SW50 Round Table “Software Engineering – NATO Conference:

Challenges and Trends in Context Critical Computing”

UI University-Industry Cooperation for Business and Critical Domains

Time/date

08:30

10:30

S2.1 S2.2 S2.3 S2.4 S5.1 S5.2 S5.3 S5.4 S8.1 S8.2 S8.3 S8.4

BD1 ES1 TI2 CI2 SW50 DW1 AI1 CS1 GC UI AI4 CS4

S3.1 S3.2 S3.3 S3.4 S6.1 S6.2 S6.3 S6.4

BD2 ES2 TI3 CI3 IT1 DW2 AI2 CS2

15:00

15:45

S1.1 S1.2 S1.3 S1.4 S4.1 S4.2 S4.3 S4.4 S7.1 S7.2 S7.3 S7.4

SR DD TI1 CI1 BD3 RT TI4 IT2 DW3 AI3 CS3

18:00

21:00

11:00

12:45

09:00

room 421

Free time

14:00 Plenary Session PS5

Awards. Closing

16:15

Coffee-break

Excursion

room 303 room 307 room 421 room 304

room 421

room 303

room 307 room 421 room 304room 303

Lunch

Coffee-break

room 421

Plenary Session PS2

Coffee-break

room 307 room 303 room 421 room 304

Coffee-break

Plenary Session PS4

room 421

Lunch Lunch

room 303

Plenary Session PS3

room 421

Coffee-break

room 304room 307 room 421 room 304 room 303 room 307

Conference Dinner / Ship

room 307 room 303 room 421 room 304

room 307 room 421 room 304

Welcome Party

room 307 room 303 room 421 room 304

Registration

Coffee-break

Opening

room 421

Plenary Session PS1

May 24, Thursday May 25, Friday May 26, Saturaday May 27, Sunday

Registration Registration Registration

10

Layout of DESSERT’2018 Rooms

The Third Floor

The Fourth Floor

11

KEYNOTE SPEAKERS

Prof, Dr Andrzej Rucinski, University of New Hampshire, eCv Collaboratory USA

“Homo Hominus: Vitruvian and Dependable Cyber Society”

Recently, Grand Challenges such as global water supply and global real time health monitoring are being

addressed using state-of-the-art computer and communications technologies. These include such

paradigms as: the Internet of Things (IoT), the Internet of Everything (IoE), fifth generation wireless

networks (5G), robotics, artificial intelligence (AI) and alike. Following the definition of Christensen,

they can individually be classified as disruptive innovation. However, this critical mass of innovations

is collectively and synergistically impacting humanity and our behavior in an unprecedented fashion,

and as such can be characterized as exponentially disruptive innovation. Homo Hominus© defined in

this paper is a Homo Sapiens who possesses surviving and dominating intellectual skills adequate in the

era of exponentially disruptive innovation.

Both Homo Hominus and its abstract algebra model, defined as ReSeT©, are introduced, described, and

characterized. The integration of spiritual “R”, societal “S”, and technological “T” domains which forms

the ReSeT universe is compliant with the Dertouzos postulate of discarding an axiom made 300 years

ago when scientists decided to separate technology and humanism. As a result, individuals coexisting

with their digital avatars but equipped with the power of spirit and virtue are envisioned as modern

Vitruvian humans forming dependable society against maladies, viruses and non-democratic ideologies.

The dependability theory in this work is based on the extended PMC model originally defined by

Preparata et al. Consequently, the presented approach can serve as an assessment metric for extensive

scenarios of diverse dependable cyber societies. Furthermore, as implied by disruptive innovation, the

presented approach paves unlimited opportunities for discoveries, studies, and implementation of novel

ecosystems on a global scale seeking Grand Challenges solutions.

Prof, DrS Oleksandr Letychevskyi, Glushkov Institute of Cybernetics, National Academy of

Sciences of Ukraine, Kyiv

“Algebraic Methods and Tools for Critical Software Verification”

We present an algebraic approach for finding vulnerabilities in a program system that is given as the

sequence of processor instructions. There is the transformation of code to algebraic specifications and

providing its symbolic modeling for the detection of vulnerability cases that are presented as formulas

in logic language. The method anticipates the usage of solving and proving systems integrated with the

Algebraic Programming System.

Prof, DrS Vladimir Hahanov, Kharkiv National University of Radioelectronics, Ukraine

“Social Computing: Challenges and Solutions”

The structures of cyber-social green computing are proposed, which are considered as components of

cloud-driven technologies for exact monitoring and moral governance of the society. The main

development trends of the cyber-physical structure presented in Gartner’s Hype Cycle are described to

apply them in science, health, education, transport, industry and state structures. Prospective directions

of the market-feasible technologies, related to green cyber-social monitoring and management of society,

are proposed. An expanded description of technologies focused on the creation of the smart digital world,

green cities and 5G telecommunications is performed. Recommendations are given for leveraging the

12

top 10 technologies of 2017 in business, healthcare, scientific and educational processes of higher

education. Technologies of emotional-logical computing, a metric for measuring social relations along

horizontal and vertical connections, rules of human behavior, focused on creating the emotional logic

for modelling and simulation human behavior are proposed.

A cyber-physical model of green statehood for the metric management of resources and citizens is

introduced; it is based on digital monitoring and assessment of the needs of people, including

components of social computing (relations, goals, management, personnel, infrastructure, resources),

ordered by the degree of their influence on the market success. The motivation of the research is defined

by high market feasibility of digital monitoring cyber-social management of the society, aimed at

improving people’s life quality and preserving the planet’s ecology. Humanity has learned to manage

the physical processes and objects, but there are practically not moral technologies for metric

management of human and social groups. Lack of competent decisions of cyber-social computing is the

cause of social corruption, pollution of the environment, conflicts and local wars. The aim of the work

is to develop logical components of cyber social computing based on moral social relationship and

human behavior models for accurate cloud management of social processes, by leveraging big data,

metric online monitoring of the social groups opinion in order to improve the quality of human life and

preserve the green ecology of the planet.

Prof, DrS Inna Skarga-Bandurova, East Ukrainian National University, Severodonetsk, Ukraine

“Problem of Synchronizing and IoT-based Health Systems”

The study on synchronization of complex systems is of great interest in the scientific community. In

recent decades, it has gone through several stages, including various well -known and new

synchronization phenomena and their analysis, synchronous behaviors in nature, human society and the

networks of low-power devices. Typical examples include understanding how the topology of the

Internet affects the spread of the computer viruses, how the structure of a power grid affects the cascading

failures over time, how the connecting patterns of an intercommunication network jeopardize its data

traffic and dynamics, and so on. The rapid growth in low-power devices called the new challenges calling

for a serious and systematic investigation. These devices interact to form large networks such as the

M2M networks, IoT, Wearable devices, and Wireless Sensor Networks and the collaboration among

them is a key to achieving the full potential of these networks.

One of the tasks there is synchronization of time. Time synchronization is a vital feature in many wireless

sensor networks with applications ranging from structural health monitoring systems to wearable and

embedded body sensors used for rehabilitation and sports medicine. A significant problem in this field

is to guarantee dependable interaction between elements while keeping the whole network energy

efficient. The talk offers an overview of the state-of-the-art advances and developments of the subject

of synchronization on various complex networks, with emphasis on health applications. We also discuss

some aspects of designing a multi-platform synchronization framework for speeding up the Personal

Health Systems on mobile devices. The principal idea of our approach consists of usage of a

synchronization framework that can easily be accessed from different devices running different opera ting

systems, store data on different formats and provide some programming facilities to allow us customizing

and extending its basic functionalities.

13

Prof, Dr Volodymyr Ponomaryov, Instituto Politécnico Nacional, Mexico City, Mexico

“Sparse Learning Approach in Restoration and Filtering of Multidimensional Signals with Rapid

Hardware Implementation (CPU multicore, GPU, DSP)”

Satellite, Radar, Medical, Digital Photographs, HDTV, Virtual Reality, etc. are some of the 2D/3D signal

applications where the restoration and filtering procedures are obligatory. Usually, these signals are

corrupted by sensors non ideality, during transmission, or by noise contamination. The main objective

of this paper is to discuss state-of-the-art methods and to suggest justified novel approach in restoration

of 2D/3D data that can be used in mentioned applications. In applications, it is necessary to have several

efficient restoration schemes, which depend on type of distortion and other priory information. Several

original frameworks in processing of 2D/3D signals will be exposed in this paper comparing them with

known techniques justifying the efficiency of novel approach via different criteria: objective as well as

subjective ones. The principal idea of our approach consists of usage of several instruments: sparse

learning techniques, order statistics, and fuzzy set theory. Modern theoretical methods in restoration are

generally based on a possibility to gather more samples for similar parches into 2D/3D data during

learning stage. Then, the restoration procedures use sophisticated statistical methods, which depend on

data distortion model. The difficulty here is in selection, measuring and employing the similarity of

group of objects for their best restoration. Several designed and better existing algorithms have been

implemented on the CPU multicore and GPU platforms performing restoration of 2D/3D data in a real

time environment.

Prof, DrS Alex Yakovlev, Newcastle University, United Kingdom

“Real-Power Computing”

The traditional hallmark in embedded systems has been to minimize energy consumption while meeting

hard and/or soft real-time deadlines. The basic principle was to transfigure the uncertainties of task

execution times in the real world into energy saving opportunities. Emerging ubiquitous and autonomous

systems will have to survive and operate under unreliable or limited power budgets. This will require

significant changes in the computing paradigm underpinning their design.

In this talk we introduce the concept of Real-Power Computing, where we will address hard and soft

real-power systems, energy and power predictability, power-compute co-design principles, power-

proportional computing architectures, run-time support for system survival, implications on

programming models for real-power and some case studies for real-power computing.

Dr Mario Fusani, Institute of Information Science and Technologies (ISTI-CNR), System and

Software Evaluation Center, Pisa, Italy

“Are safety-conformant products really safe?”

Standards are normally used as references for safety-critical applications. It is common assumption

among practitioners that the requirements expressing such references, being the results of years of work

by a vast community of experts, are hardly questionable, so that any responsibility for possible safety

violation is due to lack of process/product conformance or lack of care in conformance assurance. The

purpose of the talk is to draw attention on some aspects by which the confidence on the efficacy of the

Standards themselves, and the Standard quality, can be put under discussion. After introducing various

points of possible weakness, not ignored in literature, the talk focuses on risks related to ambiguity,

freedom of interpretation and support to certification. Results of analysis of some popular Standards,

aided by natural language processing tools, are reported and briefly discussed. The aim of the discussion

14

is to provide suggestions the Standard makers may be wishing to consider, in order to improve Standard

quality.

Prof Marco Vieira, University of Coimbra, Department of Informatics Engineering, Coimbra,

Portugal

“Benchmarking the Security of Software Systems: Approach and Challenges”

A benchmark is a standard procedure that allows comparing systems or components according to specific

characteristics (e.g., performance, dependability, security). A security benchmark should provide a

metric (or small set of metrics) able to characterize the degree to which security goals are met in a given

piece of code, allowing developers and administrators to make informed decisions. However, one of the

biggest difficulties in designing such benchmarks is related to the fact that security assessment is,

usually, much more dependent on what is unknown about the applications (e.g. unknown bugs, hidden

vulnerabilities) than by what is known (e.g., known features, existing security mechanisms). In fact,

security metrics are hard to define and compute because they involve making isolated estimations about

the ability of an unknown individual (e.g., a hacker) to discover and maliciously exploit an unknown

system characteristic (e.g., a vulnerability).

The work on performance benchmarking has started long ago. Ranging from simple benchmarks that

target a very specific hardware system or component to very complex benchmarks focusing on complex

systems (e.g., database management systems, operating systems), performance benchmarks have

contributed to improve successive generations of systems. Research on dependability benchmarking has

been boosted in the beginning of the millennium, leading to the proposal of several dependability

benchmarks. Several works have been carried out by different groups and following different approaches

(e.g., experimental, modeling, fault injection). Due to the increasing relevance of security aspects,

security benchmarking is becoming an important research field. In this keynote we will discuss the recent

achievements in the security benchmarking domain, and the grand challenges that need to be addressed

in order to effectively be able to compare alternative solutions from a security perspective. In addition

to the metrics and the benchmarking procedure, we will discuss enabling techniques and tools to support

the benchmark, with particular focus on vulnerability and attack injection and trustworthiness

measurement.

Prof Alexey Stakhov, FibTech (Fibonacci Technology) Company, Bolton, Ontario, Canada

“Numeral Systems with Irrational Bases for Mission-Critical Applications”

This volume is the result of the author’s many-years of research in this field. These results were presented

in the author’s two books, Introduction to the Algorithmic Measurement Theory(Moscow, Soviet Radio,

1977), and Codes of the Golden Proportion (Moscow, Radio and Communications, 1984), which had not

been translated into English and are therefore not known to English-speaking audience. This volume sets

forth new informational and arithmetical fundamentals of computer and measurement systems based on

Fibonacci p-codes and codes of the golden p-proportions, and also on Bergman’s system and “golden”

ternary mirror-symmetrical arithmetic.

The book presents some new historical hypotheses concerning the origin of the Egyptian calendar and

the Babylonian numeral system with base 60 (dodecahedral hypothesis), as well as about the origin of

the Mayan’s calendar and their numeral system with base 20 (icosahedral hypothesis). The book is

intended for the college and university level. The book will also be of interest to all researchers, who use

the golden ratio and Fibonacci numbers in their subject areas, and to all readers who are interested to the

history of mathematics. Readership: Researchers in mathematics and computer science.

15

Prof Jüri Vain, Department of Software Science, Tallinn University of Technology, Estonia

“Markov Model Guided Online Testing of Mission Critical Applications”

This talk is about a novel approach to online conformance testing of mission critical applications during

their operation. The reliability modes and quality of service of critical systems need to be monitored

throughout the mission. This is to pre-empt software runtime errors and hardware faults that can evolve

to a fatal mission failure. The difficulty in monitoring lies in identifying the system’s reliability mode

online under dynamic time and resource constraints of the mission. When the decision making on

reliability modes has severe time constraints the passive monitoring should be switched over to active

testing whenever possible. To guide the testing strategy in those cases an integrated model -based

approach is proposed. The Multi-Fragment Markov Models (MFMM) are used for specifying the system

reliability and quality related behaviour on high level of abstraction. The more concrete state and timing

constraints related to MFMM are specified explicitly using Uppaal Probabilistic Timed Automata

(UPTA). The test hypothesis are selected based on the Markov model of the system’s reliability modes.

It is demonstrated how predefined conformance test cases specified as UPTA models are extracted and

their serialization strategy for mode identification generated. The theoretical results are illustrated with

a System on Chip application example.

Anatoliy Gorbenko, Leeds Beckett University, United Kingdom; National Aerospace University

KhAI, Ukraine

“Vulnerability Study of Enterprise Operation Systems”

This paper analyses security problems of computer systems caused by operating systems (OS) vulnerabilities.

An aggregated vulnerability database (VDB) has been developed by joining vulnerability records from two

available VDB: the Common Vulnerabilities and Exposures system (CVE) and the National Vulnerabilities

database (NVD). The aggregated data allow investigating the stages of the vulnerability life cycle,

vulnerability disclosure and the elimination statistics for different OSs. The specific technical areas the paper

covers are the quantitative assessment of vulnerabilities discovered and fixed in OSs.

Anton Andrashov, Head of International Projects Division, Research and Production Corporation

Radiy, Kropyvnytskyi, Ukraine

“Research & Development Activities Supporting Safety Systems Design and Certification”

Presentation topics:

1) RPC Radiy Company Profile

2) Development and Certification of FPGA-based Safety Platform RadICS

3) Research & Development Activities Supporting Safety Systems Design and Certificat ion

4) R&D Topics and Solutions: FMEDA\FIT, Diversity Assessment, Cyber Security, Safety Requirement

Management

Dr Viktor Kremin, Dr Oleksandr Karpin, Svyatoslav Paliy, Cypress Semiconductor Corporation,

Lviv, Ukraine

“Secure Fingerprint Sensing and Identification for IoT”

Presentation topics:

1. Cypress Semiconductor Corporation overview

2. Fingerprint sensing methods and challenges, fingerprint image recognition and matchers

3. How to make fingerprint solution secure: trusted environment, spoofs protection and liveness

detection

4. Single-chip secure fingerprint identification for IoT using Cypress PSoC6

16

DESSERT’2018 Schedule, May 24, Tuesday

9.00 – 14.00. Registration for IEEE DESSERT’2018

14.00 – 15.45. Plenary session PS1 - Dependable World and Cyber Computing

Moderators: Prof Vyacheslav Kharchenko, Prof Anatoliy Gorbenko

14.00 – 14.20. DESSERT Welcome.

Greetings

Vyacheslav Kharchenko, National Aerospace University KhAI (Ukraine) TRENDS OF THE

DESSERT COMMUNITY

14.20 – 14.35.

Mikhail Yastrebenetsky, Gnedenko Forum (Ukraine), Alexander Bochkov (Russia), Ekateryna

Gnedenko and Charles Recchia (USA). GNEDENKO-FORUM AND IEEE (RELIABILITY)

14.35 – 15.10.

Andrzej Rucinski, University of New Hampshire, eCv Collaboratory (USA). HOMO HOMINUS:

VITRUVIAN AND DEPENDABLE CYBER SOCIETY

15.10 – 15.45.

Vladimir Hahanov, Kharkiv National University of Radioelectronics (Ukraine). SOCIAL

COMPUTING: CHALLENGES AND SOLUTIONS

15.45 – 16.15. Coffee-break

16.15 – 18.00. Session S1.1/SR – Software quality and reliability

Moderators: Dr Tetiana Hovorushchenko, Prof Dmitry Maevsky

Tetiana Hovorushchenko and Oksana Pomorova. METHODOLOGY OF EVALUATING THE

SUFFICIENCY OF INFORMATION ON QUALITY IN THE SOFTWARE REQUIREMENTS

SPECIFICATIONS

Oleksandr Gordieiev and Vyacheslav Kharchenko. IT-ORIENTED SOFTWARE QUALITY

MODELS AND EVOLUTION OF THE PREVAILING CHARACTERISTICS

Dmitry Maevsky, Dmitry Stetsyuk, Elena Maevskaya and Bogban Stetsyuk. PROBABILISTIC

ASSUMPTIONS OF SOFTWARE RELIABILITY GROWTH MODELS

Oleksandr Rudenko, Elena Odarushchenko, Zinaida Rudenko and Maryna Rudenko. THE

SECONDARY SOFTWARE DEFECTS NUMBER EVALUATION BASED ON CORRECTION

OF THE EXPERIMENTAL DATA EXPONENTIAL LINE APPROXIMATION

Roman Odarchenko, Serhii Dakov and Larisa Dakova. OPERATOR CLASS SDN AND

CLASSICAL IP NETWORK COSTS ESTIMATION

16.15 – 18.00. Session S1.2/DD – Dependability of unmanned vehicles, robots and drones

Moderators: Dr Volodymyr Toryanyk, DrS Dmitro Kucherov

Dmitro Kucherov and Andrei Kozub. MATHEMATICAL MODEL OF UAV AS AGENT OF

MULTIAGENT SYSTEM

17

Dmitriy Kritskiy, Alexander Karatanov, Serhii Koba and Eugene Druzhinin. INCREASING THE

RELIABILITY OF DRONES DUE TO THE USE OF QUATERNIONS IN MOTION

Andrii Akymenko, Ol’ha Bashyns’ka and Sergii Nesterenko. PROBABILISTIC EVALUATING

THE RELIABILITY OF THE CONTROL SYSTEM OF THE UNMANNED AVIATION

COMPLEX

Vyacheslav Kharchenko and Volodymyr Toryanyk. CYBERSECURITY FOR INTERNET OF

DRONES: ANALYSIS OF THE VULNERABILITIES AND IMECA BASED ASSESSMENT

Oleksandr Gerasin, Yuriy Kondratenko and Andriy Topalov. DEPENDABLE ROBOT’S SLIP

DISPLACEMENT SENSORS BASED ON CAPACITIVE REGISTRATION ELEMENTS

16.15 – 18.00. Session S1.3/TI1 – Telecommunication, image and signal processing (Recognition and

Detection)

Moderators: Prof Vladimir Lukin, Prof Volodymyr Ponomaryov

Marlon Cuevas, Rogelio Reyes, Volodymyr Ponomaryov and Clara Cruz. SALIENT OBJECT

DETECTION IN DIGITAL IMAGES BASED ON SUPERPIXELS AND INTRINSIC

FEATURES

Igor Ruban, Kirill Smeliakov, Vitalii Martovytskyi, Dmitry Pribylnov and Nataliia Bolohova.

METHOD OF NEURAL NETWORK RECOGNITION OF GROUND-BASED AIR OBJECTS

Artem Svyrydov, Heorhii Kuchuk and Olha Tsiapa. IMPROVING EFFICIENTY OF IMAGE

RECOGNITION PROCESS: APPROACH AND CASE STUDY

Oleh Viunytskyi, Alexander Totsky, Vyacheslav Shulgin and Valery Sharonov. BISPECTRUM-

BASED GESTURE RECOGNITION TECHNIQUE

Volodymyr Palahin, Jozef Juhár, Serhiy Leleko, Elena Palahina and Serhiy Polozhaenko.

COMPUTER SIMULATION OF SIGNAL DETECTION IN NON-GAUSSIAN NOISE WITH

THE NEYMAN-PEARSON MOMENT QUALITY CRITERION

16.15 – 18.00. Session S1.4/CI1 – Critical infrastructure and I&C safety and security (CI safety and

security)

Moderators: DrS Yevhen Brezhniev, Dr Herman Fesenko

Liudmyla Lutai, Vyacheslav Kharchenko, Roman Fedorenko and Nikolay Fedorenko. EXPERT

ASSESSMENT OF OPTIONS FOR POST ACCIDENCE MONITORING SYSTEMS WITH

MULTI-VERSION STRUCTURE

Yevhen Brezhniev. MULTILEVEL FUZZY LOGIC-BASED APPROACH FOR CRITICAL

ENERGY INFRASTRUCTURE’S СYBER RESILIENCE ASSESSMENT

Sergiy Gnatyuk and Viktoriia Sydorenko. UNIFIED DATA MODEL FOR DEFINING STATE

CRITICAL INFORMATION INFRASTRUCTURE IN CIVIL AVIATION

Eugene Babeshko, Vyacheslav Kharchenko, Kostiantyn Leontiiev, Eugene Ruchkov and Vladimir

Sklyar. RELIABILITY ASSESSMENT OF SAFETY CRITICAL SYSTEM CONSIDERING

DIFFERENT COMMUNICATION ARCHITECTURES

Myroslav Komar, Anatoliy Sachenko,Vladimir Golovko and Vitaliy Dorosh. COMPRESSION OF

NETWORK TRAFFIC PARAMETERS FOR DETECTING CYBER ATTACKS BASED ON

DEEP LEARNING

18.00 – 20.00. Welcome Party

18

DESSERT’2018 Schedule, May 25, Friday

9.00 – 10.30. Plenary session PS2 - Standards, Testing and IoT Security

Moderators: Prof Vyacheslav Kharchenko, Dr Mario Fusani

9.00 – 9.35.

Dr Mario Fusani, Institute of Information Science and Technologies (ISTI-CNR), System and

Software Evaluation Center (Pisa, Italy). ARE SAFETY-CONFORMANT PRODUCTS REALLY

SAFE?

9.35 – 10.10.

Prof Jüri Vain, Department of Software Science, Tallinn University of Technology (Estonia).

MARKOV MODEL GUIDED ONLINE TESTING OF MISSION CRITICAL APPLICATIONS

Prof Anatoliy Gorbenko, School of Computing, Creative Technologies and Engineering, Leeds

Beckett University (United Kingdom); Department of Computer Systems, Networks and Cyber

Security, National Aerospace University KhAI (Ukraine). VULNERABILITY STUDY OF

ENTERPRISE OPERATION SYSTEMS

10.10 – 10.30.

Dr Viktor Kremin’, Dr Oleksandr Karpin, Svyatoslav Paliy,, Cypress Semiconductor Corporation

(Ukraine, USA). FINGERPRINT SENSING AND IDENTIFICATION FOR IOT

10.30 – 11.00. Coffee-break

11.00 – 12.45. Session S2.1/BD1 – Big data and data analysis for dependability (Big Data based

technologies)

Moderators: Prof Yuriy Kondratenko, Prof Inna Skarga-Bandurova

Ievgen Sidenko, Korinna Filina, Galyna Kondratenko, Danyl Chabanovskyi and Yuriy

Kondratenko. EYE-TRACKING TECHNOLOGY FOR THE ANALYSIS OF DYNAMIC DATA

Svitlana Yaremchuck and Vyacheslav Kharchenko. BIG DATA AND SIMILARITY-BASED

SOFTWARE RELIABILITY ASSESSMENT: THE TECHNIQUE AND APPLIED TOOLS

Illia Sokolov and Ihor Turkin. RESOURCE EFFICIENT DATA WAREHOUSE OPTIMIZATION

Andrii Oliinyk, Serhii Leoshchenko, Valerii Lovkin, Sergey Subbotin and Tetiana Zaiko.

PARALLEL DATA REDUCTION METHOD FOR COMPLEX TECHNICAL OBJECTS AND

PROCESSES

Dmitry Korzun, Aleksey Varfolomeyev, Anton Shabaev and Vladimir Kuznetsov. ON

DEPENDABILITY OF SMART APPLICATIONS WITHIN EDGE-CENTRIC AND FOG

COMPUTING PARADIGMS

11.00 – 12.45. Session S2.2/ES1 – Dependable embedded and programmable systems (Verification and

testing)

Moderators: Dr Oleg Odarushchenko, DrS Vitaliy Romankevich

Oleg Odarushchenko, Oleksiy Strjuk, Kostiantyn Leontiiev, Vyacheslav Kharchenko, Alexandr

Ivasyuk and Yevhen Bulba. FAULT-INSERTION TESTING: SW & HW FIT-ABILITY,

PROCEDURE AND TOOLS FOR SAFETY PLC-BASED SYSTEM SIL CERTIFICATION

19

Andrii Feseniuk, Alexey Romankevich, Vitaliy Romankevich and Tetiana Sapsai. ABOUT A

FAULT-TOLERANT MULTIPROCESSOR CONTROL SYSTEM IN A PRE-DANGEROUS

STATE

Kostiantyn Zashcholkin and Oleksandr Drozd. THE DETECTION METHOD OF PROBABLE

AREAS OF HARDWARE TROJANS LOCATION IN FPGA-BASED COMPONENTS OF

SAFETY-CRITICAL SYSTEMS

Maryna Miroshnyk, Aleksander Shkil, Elvira Kulak, Inna Filippenko, Dariia Kucherenko and Anna

Grebenyuk. SYNCHRONIZING SEQUENCES FOR VERIFICATION OF FINITE STATE

MACHINES

Oleksandr Drozd, Mykola Kuznietsov, Oleksandr Martynyuk and Myroslav Drozd. A METHOD

OF THE HIDDEN FAULTS ELIMINATION IN FPGA PROJECTS FOR THE CRITICAL

APPLICATIONS

11.00 – 12.45. Session S2.3/TI2 – Telecommunication, image and signal processing (Encoding and

watermarking)

Moderators: Prof Vladimir Lukin, Prof Volodymyr Ponomaryov

Oleksii Borysenko, Oleksii Horiachev, Svitlana Matsenko and Oleksandr Kobiakov. NOISE-

IMMUNE CODES BASED ON PERMUTATIONS

Sergey Krivenko, Mikhail Zriakhov, Vladimir Lukin and Benoit Vozel. MSE AND PSNR

PREDICTION FOR ADCT CODER APPLIED TO LOSSY IMAGE COMPRESSION

David Octavio Muñoz-Ramirez, Volodymyr Ponomaryov, Rogelio Reyes-Reyes, Volodymyr

Kyrychenko, Oleksandr Pechenin and Alexander Totsky. A ROBUST WATERMARKING

SCHEME TO JPEG COMPRESSION FOR EMBEDING A COLOR WATERMARK INTO

DIGITAL IMAGES

Javier Molina-Garcia, Volodymyr Ponomaryov, Rogelio Reyes-Reyes, Clara Cruz-Ramos, Valerii

Sharonov, Volodymyr Kyrychenko, Oleksandr Pechenin and Alexander Totsky. PARALLEL

SCHEME IN MULTICORE PROCESSORS FOR VIDEO AUTHENTICATION BASED ON

WATERMARKING

11.00 – 12.45. Session S2.4/CI2 – Critical infrastructure and I&C safety and security (NPP I&C safety

and security)

Moderators: Prof Mikhail Yastrebenetsky, Prof Volodymyr Zaslavskyi

Vyacheslav Kharchenko, Andriy Kovalenko, Olexandr Siora and Anton Andrashov. V-MODELS

OF SAFETY CRITICAL SYSTEM LIFE CYCLE: CLASSIFICATION AND APPLICATION

Artem Symonov and Oleksandr Klevtsov. ABOUT THE PROBLEM OF REGULATORY

ACTIVITY FOR COMPUTER SECURITY OF NPP INSTRUMENTATION AND CONTROL

SYSTEMS IN UKRAINE

Mikhail Yastrebenetsky, Oleksandr Klevtsov, Yurii Rozen and Serhii Trubchaninov.

ELABORATION OF THE SYSTEM OF THE STANDARDS, RELATED TO SAFETY AND

SECURITY OF INSTRUMENTATION AND CONTROL SYSTEMS OF UKRAINIAN

NUCLEAR POWER PLANTS

Herman Fesenko. OPTIMAL REDISTRIBUTION OF UAVS IN CASE OF CHANGING

MONITORING ZONES AFTER A NPP ACCIDENT

Vyacheslav Duzhyi, Vyacheslav Kharchenko, Artem Panarin and Dmytro Rusin. DIVERSITY

METRIC EVALUATION CONSIDERING EXTENDED NUREG-7007 DIVERSITY

CLASSIFICATION

12.45 – 14.00. Lunch

20

14.00 – 15.45. Session S3.1/BD2 – Big Data and Data Analysis for dependability (Big Data for Industry)

Moderators: Prof Yuriy Kondratenko, Prof Inna Skarga-Bandurova

Natalia Pantielieieva, Sergii Krynytsia, Yulia Zhezherun, Mykhailo Rebryk and Liudmyla

Potapenko. DIGITIZATION OF THE UKRAINIAN ECONOMY: STRATEGIC CHALLENGES

AND IMPLEMENTATION TECHNOLOGIES

Oleksii Chmara, Olena Golembovska and Vyacheslav Kharchenko. MODEL AND SOFTWARE

FOR TRACKING AND CONTENT ANALYSIS OF MEDIA INFORMATION IN THE

INTERNET

Maksym Nesterov and Inna Skarga-Bandurova. TROUBLESHOOTING AND PERFORMANCE

METHODOLOGY FOR BUSINESS CRITICAL SYSTEMS

Vitaliy Pavlenko, Igor Shostak, Olga Morozova and Mariia Danova. INFORMATION SUPPORT

FOR BUSINESS PROCESSES ON THE VIRTUAL ENTERPRISES WITH THE USE OF

MULTI-AGENT TECHNOLOGIES

Maksym Mariushko, Ruslan Pashchenko and Artem Nechausov. CLOUD SYSTEM ARCGIS

ONLINE AS A MANAGERIAL DECISION-MAKING TOOL IN AGRICULTURAL

PRODUCTION

14.00 – 15.45. Session S3.2/ES2 – Dependable embedded and programmable systems (Design and

implementation)

Moderators: Prof Oleksandr Drozd, Dr Yuliya Tanasyuk

Artem Grekov and Sergey Tyurin. FAULT TOLERANT ELECTRONIC ENGINE CONTROLLER

Yuliya Tanasyuk, Artem Perepelitsyn and Sergey Ostapov. PARAMETERIZED FPGA-BASED

IMPLEMENTATION OF CRYPTOGRAPHIC HASH FUNCTIONS USING CELLULAR

AUTOMATA

Roman Babakov and Olexander Barkalov. STRUCTURAL REPRESENTATION OF SYNTHESIS

METHODS OF FINITE STATE MACHINE WITH DATAPATH OF TRANSITIONS

Oleksandr Barkalov, Larysa Titarenko, Irina Zeleneva and Svitlana Hrushko. IMPLEMENTING

ON THE FPGA OF COMBINED FINITE STATE MACHINE WITH COUNTER

Julia Drozd, Oleksandr Drozd, Valeria Nikul and Julian Sulima. FPGA IMPLEMENTATION OF

VERTICAL ADDITION WITH A BITWISE PIPELINING OF CALCULATIONS

14.00 – 15.45. Session S3.3/TI3 – Telecommunications, Image and Signal Processing (Signal processing

and monitoring)

Moderators: Prof Vladimir Lukin, Prof Volodymyr Ponomaryov

Petro Nevodovskyi, Anatolii Vidmachenko, Oleksandr Morozhenko, Orest Ivakhiv, Oleksandr

Zbrutskyi and Mykhailo Geraimchuk. METHODOLOGY OF RELIABILITY STRATOSPHERIC

AEROSOL OF THE EARTH'S ATMOSPHERE OBSERVATIONS

Volodymyr Kazymyr, Ruslan Zarovsky, Andrey Radchenko, Denis Yurchenko and Alexander

Magdebur. INTELLIGENT SYSTEM FOR RELIABLE MONITORING AND CONTROLLING

OF AUTOMOBILE TRAFFIC

Vyacheslav Shulgin and Oleh Viunytskyi. SPATIO-TEMPORAL SIGNAL PROCESSING FOR

FETUS AND MOTHER STATE MONITORING DURING PREGNANCY

Hanna Ukhina and Valeriy Sytnikov. DESIGN THE NPP TECHNOLOGICAL PROCESSES

AUTOMATED CONTROL SYSTEMS’ ADJUSTABLE FREQUENCY-DEPENDENT

COMPONENTS

21

14.00 – 15.45. Session S3.4/CI2 – Critical infrastructure and I&C safety and security (Healthcare and

industry systems safety)

Moderators: DrS Yevhen Brezhniev, Dr Herman Fesenko

Yuriy Ponochovniy, Evhen Bulba, Alina Yanko and Egor Hozbenko. INFLUENCE OF

DIAGNOSTICS ERRORS ON SAFETY: INDICATORS AND REQUIREMENTS

Anastasiia Strielkina, Vyacheslav Kharchenko and Dmytro Uzun. AVAILABILITY MODELS

FOR HEALTHCARE IOT SYSTEMS: CLASSIFICATION AND RESEARCH CONSIDERING

ATTACKS ON VULNERABILITIES

Alina Fedoseeva and David Demidenko. THE AUTOMATION OF THE TECHNOLOGICAL

PROCESSES IN THE MANUFACTURING INTERNET OF THINGS CONTEXT FOR THE

PARMACEUTICAL ENTERPRISES

Anastasiia Strielkina, Oleg Illiashenko, Marina Zhydenko and Dmytro Uzun. CYBERSECURITY

OF HEALTHCARE IOT-BASED SYSTEMS: REGULATION AND CASE-ORIENTED

ASSESSMENT

Serhiy Shcherbovskykh, Krzysztof Kozlowski and Dariusz Pazderski. EVALUATION OF

INTEGRAL ANTI-WINDUP FEEDBACK COEFFICIENT FOR PI REGULATOR

15.45 – 16.15. Coffee-break

16.15 – 18.00. Session S4.1/BD3 – Big Data and Data Analysis (Optimization of Big Data Processes)

Moderators: Prof Yuriy Kondratenko, Prof Inna Skarga-Bandurova

Daria Pavlova, Anna Zavolodko, Ivan Obod, Iryna Svyd, Oleksandr Maltsev and Liliia Saikivska.

OPTIMIZING DATA PROCESSING IN INFORMATION NETWORKS OF AIRSPACE

SURVEILLANCE SYSTEMS

Alexander Tymochko, Sergey Dudenko, Oleg Bodiak and Alexander Perepelitsa. MANDATORY

RESOURCE ACCESS CONTROL BASED ON A REACHABILITY MATRIX IN STORAGE

AREA NETWORKS

Ivan Lobachev, Roman Maleryk, Svitlana Antoshchuk, Dennis Filiahin and Mykhaylo Lobachev.

INTEGRATION OF NEURAL NETWORKS INTO SMART SENSOR NETWORKS

Bo Jiang and Xinjun Du. PERSONALIZED TRAVEL ROUTE RECOMMENDATION WITH

SKYLINE QUERY

Volodymyr Zaslavskyi and Maya Pasichna. STRATEGIC EVALUATION OF ELECTRICITY

GENERATION STRUCTURE IN THE EU AND UKRAINE: GEOGRAPHICAL FOCUS

16.15 – 18.00. Session S4.2 / Round Table/ Free Discussion

16.15 – 18.00. Session S4.3/TI4 – Telecommunications, Image and Signal Processing (Telecommunication

systems and technologies)

Moderators: Prof Vladimir Lukin, Prof Volodymyr Ponomaryov

Dmytro Salnykov. SECURITY ANALYSIS OF WIRELESS COMMUNICATION SYSTEMS OF

THE MILLIMETER WAVES BAND

Serhii Kozelkov, Oleksandr Shulha, Oleksandr Shefer and Dmytro Neliuba. METHOD OF

RATIONAL SATELLITE TELECOMMUNICATIONS INTERFERENCE IMPROVEMENT

Yana Kremenetskaya, Sergey Markov and Svetlana Morozova. АPPLICATION OF HYBRID

MILLIMETRE WAVE TECHNOLOGY FOR GREEN WIRELESS COMMUNICATIONS

22

Anatoliy Makarenko, Nadiia Dovzhenko, Ganna Grynkevych and Viktoriia Zhebka. ALGORITHM

DESIGN FOR DIGITAL PROCESSING OF SIGNALS USING TELECOMMUNICATIONS

TECHNOLOGY OFDM

Daria Pavlova, Ivan Obod, Anna Zavolodko, Iryna Svyd, Oleksandr Maltsev and Liliia Saikivska.

COMPARATIVE ANALYSIS OF DATA CONSOLIDATION IN SURVEILLANCE

NETWORKS

16.15 – 18.00. Session S4.4 – Workshop on ERASMUS+ ALIOT Project (working in own schedule)

Moderators: Prof Chris Phillips, Prof Vyacheslav Kharchenko

18.00 – 21.00. Conference Dinner/Ship

23

DESSERT’2018 Schedule, May 26, Saturday

9.00 – 10.30. Plenary session PS3 - Safety, Security and Verification

Moderators: Prof Oleksandr Letychevskyi, Anton Andrashov

9.00 – 9.20.

Anton Andrashov, Head of International Projects Division, Research and Production Corporation

Radiy (Kropyvnytskyi, Ukraine). RESEARCH & DEVELOPMENT ACTIVITIES SUPPORTING

SAFETY SYSTEMS DESIGN AND CERTIFICATION

9.20 – 9.55.

Oleksandr Letychevskyi, Glushkov Institute of Cybernetics, National Academy of Sciences of

Ukraine (Kyiv, Ukraine). ALGEBRAIC METHODS AND TOOLS FOR CRITICAL SOFTWARE

VERIFICATION

9.55 – 10.30.

Prof Marco Vieira, University of Coimbra, Department of Informatics Engineering, (Coimbra,

Portugal). BENCHMARKING THE SECURITY OF SOFTWARE SYSTEMS: APPROACH

AND CHALLENGES

10.30 – 11.00. Coffee-break

11.00 – 12.45. Session S5.1 / Round Table – Software Engineering – NATO Conference: Challenges and

Trends in context Critical Computing

Moderators: Prof Anatoliy Gorbenko, Prof Marco Vieira, Dr Mario Fusani, Dr Oleksandr Gordieiev

Topics for discussion (TBA)

Conference SE-NATO1968 and modern trends

SW quality models/standards evolution. What’s next?

Critical software: open systems and COTS

SW (IoT, Cloud, …) reliability and security assessment

11.00 – 12.45. Session S5.2/DW1 – Dependability of Internet, Web and Cloud systems (Fog Computing

and Virtualization)

Moderators: Dr Oleg Ivanchenko, Artem Perepelitsyn

Natalia Axak, Dmytro Rosinskiy, Olesia Barkovska and Igor Novoseltsev. CLOUD-FOG-DEW

ARCHITECTURE FOR PERSONALIZED SERVICE-ORIENTED SYSTEMS

Dmytro Ageyev, Oleg Bondarenko, Tamara Radivilova and Walla Alfroukh. CLASSIFICATION

OF EXISTING VIRTUALIZATION METHODS USED IN TELECOMMUNICATION

NETWORKS

Yuriy Vlasov, Oleg Illiashenko, Dmytro Uzun and Oleksandr Haimanov. PROTOTYPING TOOLS

FOR IOT SYSTEMS BASED ON VIRTUALIZATION TECHNIQUES

Dmytro Sitnikov, Oleg Ryabov, Olena Titova and Andriy Kovalenko. ASSESSMENT OF

EXTENDED AGGREGATED ASSOCIATION RULES

24

11.00 – 12.45. Session S5.3/AI1 – AI and Formal Systems (Neural networks and expert systems)

Moderators: Prof Sergii Kavun, Prof Vitaly Levashenko

Volodymyr Bychko, Roman Yershov, Liudmyla Plichko, Yurii Gulyi and Maxim Zhydko.

AUTOMATION OF CLUSTERING METHODS AT PLANNING LOGISTICS PROCESSES

WITH GEOREFERENCED

Oleksandr Shkiliuk, Bohdan Volochiy, Leonid Ozirkovskyy and Vyacheslav Kharchenko. THE

SCHEME OF PATHS METHOD BASED TECHNIQUE FOR EVALUATING OF THE

BEHAVIOR ALGORITHMS EFFICIENCY

Artem Tetskyi, Vyacheslav Kharchenko and Dmytro Uzun. NEURAL NETWORKS BASED

CHOICE OF TOOLS FOR PENETRATION TESTING OF WEB APPLICATIONS

Vitaliy Lytvynov, Nikolai Stoyanov and Igor Skiter. SYNTHESIS OF IMMUNE AND NEURAL

NETWORK ALGORITHMS IN SYSTEMS OF DETECTION OF NON-STANDARD

BEHAVIOUR OF INFORMATION NETWORKS

Petro Pavlenko, Tavrov Dan, Volodymyr Temnikov, Sergiy Zavgorodniy and Andrii Temnikov.

THE METHOD OF EXPERT EVALUATION OF AIRPORTS AVIATION SECURITY USING

PERCEPTUAL CALCULATIONS

11.00 – 12.45. Session S5.4/CS1 – Advanced Methods of Cyber Security and Cryptography (Encoding

and cryptography)

Moderators: Prof Valeriy Hlukhov, Mikhail Tsuranov

Vladimir Pevnev. INVESTIGATION OF THE ALGORITHM FOR DETERMINING THE

PRIMALITY OF NUMBERS

Mikhail Tsuranov, Vladimir Pevnev and Anton Zhmyrov. NOISE-IMMUNE ENCODING: THE

ASPECTS OF CYBERSECURITY ASSURANCE

Oleksii Borysenko, Svitlana Matsenko, Olha Berezhna and Oleksii Horiachev. DECODING

DEVICE OF FIBONACCI CODES IN INFORMATION SYSTEMS

Oleksii Borysenko, Svitlana Matsenko, Oleksii Horiachev and Anatolii Novhorodtsev. HIGH-

SPEED COUNTER BASED ON THE MINIMUM FORM OF THE FIBONACCI CODE

Valeriy Hlukhov, Mohammed Rahma and Ivan Zholubak. DEVICES FOR MULTIPLICATIVE

INVERSE CALCULATION IN BINARY GALOIS FIELDS

12.45 – 14.00. Lunch

14.00 – 15.45. Session S6.1/IT1 – IoT and Smart Systems (IoT Evaluation and Implementation)

Moderators: Prof Andrzej Rucinski, Dr Maryna Kolisnyk

Yuriy Kondratenko, Galyna Kondratenko and Ievgen Sidenko. MULTI-CRITERIA DECISION

MAKING FOR SELturECTING A RATIONAL IOT PLATFORM

Heorhii Vorobets, Olexandr Vorobets and Valentyna Horditsa. FEATURES OF SYNTHESIS

AND STATISTICAL PROPERTIES OF A MODIFIED STREAM ENCODER WITH DYNAMIC

KEY CORRECTION

Irina Gadolina and Rashid Zaynetdinov. THE ESTIMATION OF THE SUFFICIENT RANDOM

LOADING REALIZATION LENGTH IN THE PROBLEM OF MACHINE PARTS

LONGEVITY

Ivan Medvedev, Oleg Illiashenko, Dmytro Uzun and Anastasiia Strielkina. IOT SOLUTIONS FOR

HEALTH MONITORING: ANALYSIS AND CASE STUDY

25

Maryna Kolisnyk, Vyacheslav Kharchenko and Iryna Piskachova. THE RESEARCH OF THE

MODEL OF SMART OFFICE AVAILABILITY CONSIDERING PATCHES ON THE ROUTER

FIREWALL SOFTWARE

14.00 – 15.45. Session S6.2/DW2 – Dependability of Internet, Web and Cloud systems (Modeling, FPGA as

a service and P2P networks)

Moderators: Dr Oleg Ivanchenko, Artem Perepelitsyn

Oleg Ivanchenko, Vyacheslav Kharchenko and Kyrylo Smoktii. SEMI-MARKOV’S MODELS

FOR AVAILABILITY ASSESSMENT OF AN INFRASTRUCTURE AS A SERVICE CLOUD

WITH MULTIPLE POOLS OF PHYSICAL AND VIRTUAL MACHINES

Vitaliy Kulanov, Artem Perepelitsyn and Inna Zarizenko. METHOD OF DEVELOPMENT AND

DEPLOYMENT OF RECONFIGURABLE FPGA-BASED PROJECTS IN CLOUD

INFRASTRUCTURE

Mykola Kryshchenko, Olga Prila, Volodymyr Kazymyr and Dmytro Sysa. THE TECHNOLOGY

OF RELIABLE TASK EXECUTION IN GRID ENVIRONMENT USING DYNAMIC VIRTUAL

IMAGES

Naors Y Anad Alsaleem, Riyad Mubarak Abdallah and Maan Y Anad Alsaleem.

MATHEMATICAL MODELS OF PEER TO PEER NETWORKS FOR STREAM IPTV

TRANSMISSION

Tatiana Solianyk, Andriy Popov, Julia Bilokin and Kateryna Vasylchenko. DEVELOPMENT OF

THE SYSTEM TO PROVIDE CROSS-BROWSER COMPATIBILITY OF WEB

APPLICATIONS

14.00 – 15.45. Session S6.3/AI2 – AI and Formal Systems (Application AI for security and safety)

Moderators: Prof Ah-Lian Kor, Dr Sergii Lysenko

Joakim Kargaard, Tom Drange, Ah-Lian Kor, Hissam Tawfik and Emlyn Butterfield. DEFENDING

IT SYSTEMS AGAINST INTELLIGENT MALWARE

Jan Rabcan, Vitaly Levashenko, Elena Zaitseva and Olga Chovancova. GENERATION OF

STRUCTURE FUNCTION BASED ON AMBIGUOUS AND INCOMPLETELY SPECIFIED

DATA USING FUZZY RANDOM FOREST

Sergii Lysenko, Kira Bobrovnikova and Oleg Savenko. A BOTNET DETECTION APPROACH

BASED ON THE CLONAL SELECTION ALGORITHM

Kashif Zia, Kahalifa Albadi, Dinesh Saini and Arshad Muhammad. CONDITIONS LEADING

TOWARDS A MORE ROBUST FOOD SAFETY SYSTEM: THE RESULTS OF AN AGENT-

BASED SOCIAL SIMULATION

14.00 – 15.45. Session S6.4/CS2 – Advanced Methods of Cyber Security and Cryptography (Post

quantum cryptography)

Moderators: Prof Oleksandr Potii, Prof Sergii Kavun

Ivan Gorbenko, Olena Kachko, Maryna Yesina and Olga Akolzina. POST-QUANTUM

ALGORITHM OF ASYMMETRIC ENCRYPTION AND ITS BASIC PROPERTIES

Aleksei Vambol. THE PROSPECTS FOR GROUP-BASED KNAPSACK CIPHERS IN THE

POST-QUANTUM ERA

Alexandr Kuznetsov, Maria Lutsenko, Anastasia Kiyan, Tymur Makushenko and Tetiana

Kuznetsova. CODE-BASED KEY ENCAPSULATION MECHANISMS FOR POST-QUANTUM

STANDARDIZATION

26

Alexandr Kuznetsov, Anastasia Kiyan, Maria Lutsenko, Iryna Chepurko and Sergii Kavun. CODE-

BASED CRYPTOSYSTEMS FROM NIST PQC

Alexandr Kuznetsov, Roman Serhiienko, Dmytro Prokopovych-Tkachenko and Yuri Tarasenko.

ALGEBRAIC IMMUNITY OF SYMMETRIC CIPHERS

15.45 – 16.15. Coffee-break

16.15 – 18.00. Session S7.1/IT2 – IoT and Smart Systems (IoT and Smart Systems Security and Safety)

Moderators: Prof Volodymyr Kazymyr, Dr Heorhii Vorobets

Jean Pierre Nzabahimana. ANALYSIS OF SECURITY AND PRIVACY CHALLENGES IN

INTERNET OF THINGS

Victoriia Turkina and Dmytro Ihnatiev. INTERVAL EVALUATION OF TRUST AND

REPUTATION FOR INTERNET OF THINGS OBJECTS

Roman Diachok, Roman Dunets and Halyna Klym. SYSTEM OF DETECTION AND SCANNING

BAR CODES FROM RASPBERRY PI WEB CAMERA

Vladyslav Vasylenko, Volodymyr Kazymyr, Sergei Zaitsev and Anna Usik. ADAPTIVE TURBO

CODES FOR SAFETY IN WIRELESS INTERNET OF THINGS

Halyna Klym, Roman Dunets, Ivan Horbatyi and Roman Diachok. SECURITY SUBSYSTEM

AND SMART HOME MANAGEMENT SYSTEM

16.15 – 18.00. Session S7.2/DW3 – Dependability of Internet, Web and Cloud systems (Hyperconvergent

platforms and virtual machines)

Moderators: Dr Oleg Ivanchenko, Artem Perepelitsyn

Anatoliy Plakhteyev, Vyacheclav Frolov and Artem Perepelitsyn. EDGE COMPUTING FOR IOT:

AN EDUCATIONAL CASE STUDY

Victoriia Merlak, Nina Kuchuk, Sergiy Shmatkov and Artem Nechausov. RESOURCES

REDISTRIBUTION METHOD OF UNIVERSITY E‑ LEARNING ON THE

HYPERCONVERGENT PLATFORM

Oleksandr Beznosyk and Kostyantyn Kharchenko. THE INPUT FILE FORMAT FOR IOT

MANAGEMENT SYSTEMS BASED ON A DATA FLOW VIRTUAL MACHINE

Vladimir Vorotnikov. METHOD FOR ESTIMATING LATENCY IN HETEROGENEOUS

FRACTAL NETWORKS

Tamara Radivilova, Lyudmyla Kirichenko, Maxim Tawalbeh, Vitalii Bulakh and Dmytro Ageyev.

DECRYPTING SSL/TLS TRAFFIC FOR HIDDEN THREATS DETECTION

16.15 – 18.00. Session S7.3/AI3 – AI and Formal Systems (Model checking and decision making)

Moderators: Prof Elena Zaitseva, Dr Mykhailo Zmysnyi

Bohdan Volochiy, Volodymyr Onishchenko, Mykhailo Zmysnyi and Ihor Kulyk. ASSESSMENT OF

POTENTIAL CAPABILITIES OF GUARD SIGNALING COMPLEX USING SEISMIC

SENSORS

Patrik Rusnak, Miroslav Kvassay, Andrej Forgac and Elena Zaitseva. LOGIC DIFFERENTIAL

CALCULUS IN TIME-DEPENDENT ANALYSIS OF A PAIR OF SYSTEM COMPONENTS

Valeriy Gorbachov, Batiaa Kataeba, Olga Ponomarenko and Yuri Romanenkov. FORMAL

TRANSFORMATIONS OF STRUCTURAL MODELS OF COMPLEX NETWORK SYSTEMS

Sergii Chalyi, Ihor Levykin, Aleksandr Petrychenko and Ievgen Bogatov. CAUSALITY-BASED

MODEL CHECKING IN BUSINESS PROCESS MANAGEMENT TASKS

27

Olesia Barkovska, Natalia Axak, Dmytro Rosinskiy and Serhii Liashenko. APPLICATION OF

MYDRIASIS IDENTIFICATION METHODS IN PARENTAL CONTROL SYSTEMS

16.15 – 18.00. Session S7.4/CS4 – Advanced Methods of Cyber Security and Cryptography (Lightweight

cryptography and implementation)

Moderators: Prof Oleksandr Potii, Prof Sergii Kavun

Ivan Gorbenko, Alexandr Kuznetsov, Yurii Gorbenko, Anton Alekseychuk and Vlad Tymchenko.

STRUMOK KEYSTREAM GENERATOR

Alexandr Kuznetsov, Vladislav Frolenko, Egor Eremin, Olga Zavgorodnia and Dmytro Ivanenko.

RESEARCH OF CROSS-PLATFORM STREAM CIPHERS IMPLEMENTATION

Keteryna Isirova and Oleksandr Potii. DECENTRALIZED PUBLIC KEY INFRASTRUCTURE

DEVELOPMENT PRINCIPLES

Mariia Rodinko, Roman Oliynykov and Roman Eliseev. SEARCH FOR ONE-ROUND

DIFFERENTIAL CHARACTERISTICS OF LIGHWEIGHT BLOCK CIPHER CYPRESS-256

Nikolay Poluyanenko and Oleksandr Potii. THE ANALYSIS OF THE APPLICABILITY OF THE

DECIMATION AND THE GROUP ADDITION PROPERTY TO M-NLFSR

18.00 – 21.00. Excursion

28

DESSERT’2018 Schedule, May 27, Sunday

9.00 – 10.30. Plenary session PS4 - Signal Processing and Green Computing

Moderators: Prof Alex Yakovlev, Prof Volodymyr Ponomaryov

9.00 – 9.30.

Volodymyr Ponomaryov, Instituto Politécnico Nacional, (Mexico City, Mexico). SPARSE

LEARNING APPROACH IN RESTORATION AND FILTERING OF MULTIDIMENSIONAL

SIGNALS WITH RAPID HARDWARE IMPLEMENTATION (CPU MULTICORE, GPU, DSP)

9.30 – 10.00.

Alex Yakovlev, Newcastle University (United Kingdom). REAL-POWER COMPUTING

10.00 – 10.30.

Inna Skarga-Bandurova, East Ukrainian National University, (Severodonetsk, Ukraine).

PROBLEM OF SYNCHONIZING AND IOT-BASED HEALTH SYSTEMS

10.30 – 11.00. Coffee-break

11.00 – 12.45. Session S8.1/GC – Green Computing and Communication

Moderators: Prof Anatoliy Gorbenko, Prof Alexander Chemeris

Anatoliy Gorbenko, Olga Tarasyuk, Ah-Lian Kor and Vyacheslav Kharchenko. GREEN

ECONOMICS: A ROADMAP TO SUSTAINABLE ICT DEVELOPMENT

Igor Shostak, Lina Volobuyeva and Mariia Danova. ONTOLOGY BASED APPROACH FOR

GREEN SOFTWARE ECOSYSTEM FORMALIZATION

Igor Shostak, Mariia Danova, Yuri Romanenkov and Yuliia Kuznetsova. A RETROSPECTIVE

ANALYSIS TECHNOLOGY OF THE GREEN SOFTWARE ECOSYSTEMS DEVELOPMENT

ON THE PARAMETRIC IDENTIFICATION OF THE BROWN MODEL

Sergii Sushko and Alexander Chemeris. INCREASING AN ENERGY EFFICIENCY OF

COMPUTATIONAL SYSTEM BY USING AUTOMATIC SOFTWARE OPTIMIZATION

11.00 – 12.45. Session S8.2/UI – University-industry cooperation for business and critical domains

Moderators: Dr Artem Boyarchuk, Prof Dmitry Maevsky

Ihor Turkin and Yuliya Vykhodets. SOFTWARE ENGINEERING MASTER’S PROGRAM AND

GREEN IT: THE DESIGN OF THE SOFTWARE ENGINEERING SUSTAINABILITY COURSE

Artem Boyarchuk, Vyacheslav Kharchenko and Volodymyr Sklyar. MODELS AND CASES FOR

SUSTAINABLE UNIVERSITY-INDUSTRY COOPERATION IN ICT SECTOR

Daria Shteinbrekher and Kostiantyn Danko. EVALUATION OF KNOWLEDGE

MANAGEMENT SYSTEM FOR UNIVERSITY-INDUSTRY COOPERATION

Vyacheslav Kharchenko, Dmitry Maevsky, Elena Maevskaya, Chris Phillips and Lolita

Vystorobska. EMPLOYERS' REQUIREMENTS-ORIENTED ASSESSMENT OF IOT

CURRICULUM: THE PROJECTS CABRIOLET AND ALIOT

Olena Kopishynska, Yurij Utkin, Sergij Voloshko, Igor Sliusar and O. Kartashova. ALGORITHM

OF CREATING OF AN EFFICIENT COOPERATION BETWEEN UNIVERSITIES, BUSINESS

COMPANIES AND AGRICULTURE ENTERPRISES DURING STUDYING AND

IMPLEMENTATION OF INFORMATION SYSTEMS

29

11.00 – 12.45. Session S8.3/AI4 – AI and Formal Systems (Smart education and industry systems)

Moderators: Prof Vitaly Levashenko, Dr Mykhailo Poliakov

Anatolii Kargin, Oleksandr Ivaniuk, Georgii Galych and Artem Panchenko. POLYGON FOR

SMART MACHINE APPLICATION

Volodymir Panchenko, Alina Zamula, Sergii Kavun and Ivan Mikheev. INTELLIGENT

MANAGEMENT OF THE ENTERPRISE PERSONNEL SECURITY SYSTEM

Mykhailo Poliakov, Heinz-Dietrich Wuttke and Karsten Henke. COGNITIVE REMOTE

LABORATORIES FOR STUDYING THE ELEMENTS OF THE SMART INDUSTRY

Nikolay Koshevoy, Viktor Muratov and Elena Kostenko. APPLICATION OF THE FISH SEARCH

ALGORITHM FOR OPTIMIZATION PLANS OF THE FULL FACTOR EXPERIMENT

11.00 – 12.45. Session S8.4/CS4 – Advanced Methods of Cyber Security and Cryptography

(Steganography and authentification)

Moderators: Prof Oleksandr Potii, Prof Sergii Kavun

Vladyslav Borodavka and Mikhail Tsuranov. BIOMETRICS: ANALYSIS AND MULTI-

CRITERION SELECTION

Galyna Liashenko, Andrii Astrakhantsev and Valeriia Chernikova. NETWORK

STEGANOGRAPHY APPLICATION FOR REMOTE BIOMETRIC USER AUTHENTICATION

Alexandr Kuznetsov, Andriy Pushkar’ov, Anastasia Kiyan and Tetiana Kuznetsova. CODE-BASED

ELECTRONIC DIGITAL SIGNATURE

Alexandr Kuznetsov, Kyryl Shekhanin, Andrii Kolhatin, Ivan Mikheev and Ivan Bilozetsev. HIDING

DATA IN THE STRUCTURE OF THE FAT FAMILY FILE SYSTEM

12.45 – 14.00. Lunch

14.00 – 15.00. Plenary session PS5 - Mission-Critical Computing. Awards. Closing

Moderators: Prof Vyacheslav Kharchenko, Prof Anatoliy Gorbenko

14.00 – 14.30

Prof Alexey Stakhov, FibTech (Fibonacci Technology) Company, Bolton (Ontario, Canada).

NUMERAL SYSTEMS WITH IRRATIONAL BASES FOR MISSION-CRITICAL

APPLICATIONS

14.30 – 15.00

Awards. Closing

30

LOCATION

The IEEE DESSERT’2018 will be held in the capital of Ukraine, Kyiv (May, 24-27), at the

University of the Banking, which is placed near Poshtova Ploscha metro station (1/1, Andriivska

street, Kyiv).

31

TRANSPORT

To get to the University of the Banking of National Bank Of Ukraine (Kyiv) from the

airport of your arrival: 1. Kyiv Boryspil Airport (KBP). Kyiv Boryspil Airport is the home airport for

Ukraine International Airlines located near the town of Boryspil and some 30km from

the city centre.

a. You can order a taxi at the airport's Arrivals hall. Prices are negotiable, but

expect to pay USD 35-45 for a one-way trip between Kyiv Boryspil Airport and

central Kiev.

b. There is a frequent 24-hour bus service to/from downtown Kyiv (Central

railway station or Central coach station) available, with journey time of approx

45-60 minutes.

2. International airport Airport Kyiv "Zhulyany" (IEV).

a. You can order a taxi at the airport's Arrivals hall. Prices are negotiable, but

expect to pay USD 35-45 for a one-way trip between Kyiv "Zhulyany" Airport

and central Kiev.

To get from the central railway station to the University of the Banking of National Bank

Of Ukraine:

1. From “Vokzalna” (Вокзальна) station of Kyiv Metro you should get to

“Khreshchatyk” (Хрещатик) station (via “Universytet” (Університет) and “Teatralna”

(Театральна) stations of Kiev Metro).

2. Change a Metro line from M1 to M2, “Khreshchatyk” (Хрещатик) to “Maidan

Nezalezhnosti” (Майдан Незалежності) station, then get to “Poshtova Ploscha” (Поштова

площа) station and exit.

3. Walk to the University of the Banking of National Bank of Ukraine (approx. 5-7

minutes, see location).

Taxi in Kyiv:

+380445006424

+380975013501

+380933214004

+380505013501

32

ALPHABETICAL INDEX OF AUTHORS

A

Abramov S..................................................................................... 6

Abramova V. ................................................................................. 6

Ageyev D............................................................................... 23, 26

Akolzina O. ................................................................................. 25

Akymenko A. .............................................................................. 17

Albadi K. ..................................................................................... 25

Alekseychuk A. ........................................................................... 27

Alfoukh W. .................................................................................. 23

Andrashov A. .................................................................. 15, 19, 23

Antoshchuk S. ............................................................................. 21

Antyufeyeva M. ............................................................................. 5

Astrakhantsev A. ......................................................................... 29

Axak N. ................................................................................. 23, 27

B

Babakov R. .................................................................................. 20

Babeshko Eu. ............................................................................... 17

Bardis N..................................................................................... 5, 6

Barkalov O. ............................................................................. 6, 20

Barkovska O. ......................................................................... 23, 27

Bashynska O. ............................................................................... 17

Belotserkovsky A. ......................................................................... 6

Berezhna O. ................................................................................. 24

Beznosyk O. ................................................................................ 26

Bilokin Ju. ................................................................................... 25

Bilozetsev I. ................................................................................. 29

Bo J.............................................................................................. 21

Bobrovnikova K. ......................................................................... 25

Bochkov A................................................................................... 16

Bodiak O. .................................................................................... 21

Bogatov Ie. .................................................................................. 26

Bogomolov S. ................................................................................ 6

Bolohova N. ................................................................................ 17

Bondarenko O.............................................................................. 23

Borodavka V. .............................................................................. 29

Borysenko O. ......................................................................... 19, 24

Boyarchuk A. .......................................................................... 6, 28

Brezhniev Ye. .................................................................... 6, 17, 21

Bulakh V. .................................................................................... 26

Bulba Ye. ............................................................................... 18, 21

Burlakova I. ................................................................................... 8

Butenko V. .................................................................................... 8

Butterfield E. ............................................................................... 25

Bychko V..................................................................................... 24

C

Cabral B......................................................................................... 6

Chabanovskyi O. ......................................................................... 18

Chalyi S. ...................................................................................... 26

Chemeris A. ............................................................................. 6, 28

Chen D.-J. ...................................................................................... 6

Chepurko I. .................................................................................. 26

Cherkashyn D. ............................................................................... 6

Chernikova V. ............................................................................. 29

Chmara O. ................................................................................... 20

Chmeruk G. ................................................................................... 8

Chovancova O. ............................................................................ 25

Crus-Ramos C. ............................................................................ 19

Cruz C. ........................................................................................ 17

Cuevas M. ................................................................................... 17

D

Dakov S. ...................................................................................... 16

Dakova L. .................................................................................... 16

Danko K. ..................................................................................... 28

Danova M. ............................................................................. 20, 28

Demidenko D. ............................................................................. 21

Diachok R. .................................................................................. 26

Dorosh V. .................................................................................... 17

Doukas N. ..................................................................................... 6

Dovzhenko N. ............................................................................. 22

Drange T. .................................................................................... 25

Drozd Ju. ..................................................................................... 20

Drozd M. ..................................................................................... 19

Drozd O. ............................................................................ 6, 19, 20

Druzhinin Eu. .............................................................................. 17

Du X. ........................................................................................... 21

Dudenko S. .................................................................................. 21

Dunets R...................................................................................... 26

Duzhyi V. .................................................................................... 19

E

Eliseev R. .................................................................................... 27

Eremin E. .................................................................................... 27

F

Fedorenko N. ............................................................................... 17

Fedorenko R. ............................................................................... 17

Fedoseeva A. ............................................................................... 21

Feseniuk A. ................................................................................. 19

Fesenko H. .................................................................. 6, 17, 19, 21

Filiahin D. ................................................................................... 21

Filina K. ...................................................................................... 18

Flippenko I. ................................................................................. 19

Forgac A...................................................................................... 26

Frolenko V. ................................................................................. 27

Frolov V. ..................................................................................... 26

Fusani M. .................................................................... 6, 13, 18, 23

G

Gadolina I. ................................................................................... 24

Galych G. .................................................................................... 29

Geraimchuk O. ............................................................................ 20

Gerasin O. ................................................................................... 17

Giandomenico F. ........................................................................... 6

Gnatyuk S.................................................................................... 17

Gnedenko E. ................................................................................ 16

Golembovska O. .................................................................. 4, 5, 20

Golovko V. .................................................................................. 17

Gorbachov V. .............................................................................. 26

Gorbenko A. ....................................... 4, 5, 6, 15, 16, 18, 23, 28, 29

33

Gorbenko I. ............................................................................ 25, 27

Gorbenko Yu. .............................................................................. 27

Gordieiev O. .......................................................... 4, 5, 6, 8, 16, 23

Grebenyuk A. .............................................................................. 19

Grekov A. .................................................................................... 20

Grynkevich G. ............................................................................. 22

Gulyi Yu. ..................................................................................... 24

H

Hahanov V. ........................................................................ 6, 11, 16

Hahina O. .................................................................................. 4, 5

Haimanov O. ............................................................................... 23

Henke K....................................................................................... 29

Hlukhov V. .............................................................................. 6, 24

Horbatyi I. ................................................................................... 26

Horditsa V. .................................................................................. 24

Horiachev O. ......................................................................... 19, 24

Hovorushchenko T. ................................................................. 6, 16

Hozbenko E. ................................................................................ 21

Hrushko S. ................................................................................... 20

I

Ihnatiev D. ................................................................................... 26

Illiashenko O. ...................................................... 4, 5, 6, 21, 23, 24

Irakhiv O. .................................................................................... 20

Isirova K. ..................................................................................... 27

Ivanchenko O. ............................................................. 6, 23, 25, 26

Ivanenko D. ................................................................................. 27

Ivaniuk O. .................................................................................... 29

Ivasyuk A. ................................................................................... 18

J

Juhar J. ......................................................................................... 17

K

Kachko O..................................................................................... 25

Karatanov A. ............................................................................... 17

Kargaard J. .................................................................................. 25

Kargin A. ..................................................................................... 29

Karpin O. ............................................................................... 15, 18

Kartashova O. .............................................................................. 28

Kataeba B. ................................................................................... 26

Kavun S. .............................................................. 24, 25, 26, 27, 29

Kazymyr V. ................................................................. 6, 20, 25, 26

Kern E. .......................................................................................... 6

Kharchenko K.............................................................................. 26

Kharchenko V....... 4, 5, 6, 16, 17, 18, 19, 20, 21, 22, 24, 25, 28, 29

Kirichenko L. .............................................................................. 26

Kiyan A. .......................................................................... 25, 26, 29

Klevtsov O................................................................................... 19

Klym H. ....................................................................................... 26

Koba S. ........................................................................................ 17

Kobiakov P. ................................................................................. 19

Kolhatin A. .................................................................................. 29

Kolisnyk M. ....................................................................... 6, 24, 25

Komar M. .................................................................................... 17

Kondratenko G. ..................................................................... 18, 24

Kondratenko Yu. ............................................. 6, 17, 18, 20, 21, 24

Kopishynska O. ........................................................................... 28

Kor A.-L. ........................................................................... 5, 25, 28

Kordas V. ...................................................................................... 6

Korzun D. .................................................................................... 18

Koshevoy N. ............................................................................... 29

Kostenko E. ................................................................................. 29

Kovalenko A. .................................................................... 6, 19, 23

Kozelkov S. ................................................................................. 21

Kozlowski K. .............................................................................. 21

Kozub A. ..................................................................................... 16

Kremenetskaya Ya. ..................................................................... 21

Kremin V. ............................................................................. 15, 18

Kritskiy D.............................................................................. 16, 17

Krivenko S. ............................................................................. 6, 19

Krynytsia S. ................................................................................. 20

Kryshchenko M. .......................................................................... 25

Kucherenko D. ............................................................................ 19

Kucherov D. ................................................................................ 16

Kuchuk H. ................................................................................... 17

Kuchuk N. ................................................................................... 26

Kudermetov R. .............................................................................. 6

Kulak E. ...................................................................................... 19

Kulanov V. .............................................................................. 6, 25

Kulyk I. ....................................................................................... 26

Kuznetsov A. ............................................................. 25, 26, 27, 29

Kuznetsov V. ............................................................................... 18

Kuznetsova A. ............................................................................... 5

Kuznetsova T. ....................................................................... 25, 29

Kuznetsova Yu. ........................................................................... 28

Kuznietsov M. ............................................................................. 19

Kvassay M. ............................................................................. 6, 26

Kyrychenko V. ............................................................................ 19

L

Leleko S. ..................................................................................... 17

Leontiiev K. .......................................................................... 17, 18

Leoshchenko S. ........................................................................... 18

Letychevskyi O. .................................................................... 11, 23

Levashenko V. ............................................................ 6, 24, 25, 29

Levykin I. .................................................................................... 26

Liashenko G. ............................................................................... 29

Liashenko S. ................................................................................ 27

Litvinova Eu. ................................................................................. 7

Lobachev I. ................................................................................. 21

Lobachev M. ............................................................................... 21

Lovkin V. .................................................................................... 18

Lukin V. ................................................................ 7, 17, 19, 20, 21

Lutai L. ........................................................................................ 17

Lutsenko M. .......................................................................... 25, 26

Lysenko S................................................................................ 7, 25

Lytvynov V. ................................................................................ 24

M

Maan Y Anad Alsaleem .............................................................. 25

Maevskaya E. ........................................................................ 16, 28

Maevsky D. ....................................................................... 7, 16, 28

Magdebur A. ............................................................................... 20

Magott J. ....................................................................................... 7

Makarenko A............................................................................... 22

Makushenko T............................................................................. 25

Maleryk R. .................................................................................. 21

Maltsev O. ............................................................................. 21, 22

34

Mariushko M. .............................................................................. 20

Markov S. .................................................................................... 21

Markowsky G. ............................................................................... 7

Martovytskyi V............................................................................ 17

Martynenko S. ............................................................................... 7

Martynyuk O. .............................................................................. 19

Mashchak A. .................................................................................. 7

Matsenko S. ........................................................................... 19, 24

Mazaukiewicz J. ............................................................................ 7

Medinskaya M. .......................................................................... 4, 5

Medvedev I. ................................................................................. 24

Merlak V. ................................................................................ 8, 26

Mikheev I. ................................................................................... 29

Miroshnyk M. .............................................................................. 19

Mokhor V. ..................................................................................... 6

Molina-Garcia J. .......................................................................... 19

Morozhenko O. ............................................................................ 20

Morozova O. ................................................................................ 20

Morozova S. ................................................................................ 21

Muhammad A. ............................................................................. 25

Mulyak O....................................................................................... 7

Munoz-Ramirez D. O. ................................................................. 19

Muratov V. .................................................................................. 29

N

Naors Y Anad Alsaleem .............................................................. 25

Nechausov A. ........................................................................ 20, 26

Neliuba D. ................................................................................... 21

Nesterenko S. .............................................................................. 17

Nesterov M. ................................................................................. 20

Netkachova K. ............................................................................... 7

Nevodovskyi P. ........................................................................... 20

Nikul V. ....................................................................................... 20

Novhorodtsev A. ......................................................................... 24

Novoseltsev I. .............................................................................. 23

Nzabahimana J. P. ....................................................................... 26

O

Obod I. ................................................................................... 21, 22

Odarchenko R. ............................................................................. 16

Odarushchenko E. ....................................................................... 16

Odarushenko O. ............................................................... 4, 5, 7, 18

Oliinyk A. .................................................................................... 18

Oliynykov R. ........................................................................... 7, 27

Omatu S. ........................................................................................ 7

Onishchenko V. ........................................................................... 26

Ostapov S. ................................................................................... 20

Ozirkovskyy L. ............................................................................ 24

P

Palahin V. .................................................................................... 17

Palahina E. ................................................................................... 17

Paliy S. .................................................................................. 15, 18

Panarin A. .................................................................................... 19

Pancerz K. ..................................................................................... 7

Panchenko A. .............................................................................. 29

Panchenko V. .............................................................................. 29

Pantielieieva N. ........................................................................... 20

Parkhomenko A. ............................................................................ 7

Pashchenko R. ............................................................................. 20

Pasichna M. ................................................................................. 21

Pavlenko P. ................................................................................. 24

Pavlenko V. ................................................................................. 20

Pavlova D. ............................................................................. 21, 22

Pazderski D. ................................................................................ 21

Pechenin O. ................................................................................. 19

Perepelitsa A. .............................................................................. 21

Perepelitsyn A. ...................................................... 8, 20, 23, 25, 26

Petrychenko A. ............................................................................ 26

Pevnev V. .................................................................................... 24

Phillips C. .............................................................................. 22, 28

Pichkalov Ie. ................................................................................. 8

Piskachova I ................................................................................ 25

Plakhteyev A. .............................................................................. 26

Plichko L. .................................................................................... 24

Pogrebnyak O. ............................................................................... 7

Poliakov M. ................................................................................. 29

Polozhaenko S. ............................................................................ 17

Poluyanenko N. ........................................................................... 27

Pomorova O. ........................................................................... 7, 16

Ponochovniy Yu. ..................................................................... 7, 21

Ponomarenko O. .......................................................................... 26

Ponomaryov V. ............................................. 13, 17, 19, 20, 21, 28

Popov A. ..................................................................................... 25

Popov P. ........................................................................................ 5

Potapenko L. ............................................................................... 20

Potii O. ........................................................................ 7, 25, 27, 29

Potomkin K. .................................................................................. 7

Pribylnov D. ................................................................................ 17

Prila O. ........................................................................................ 25

Prohazkova D. ............................................................................... 7

Prokopovych-Tkachenko D. ........................................................ 26

Pushkarov A. ............................................................................... 29

R

Rabcan J. ..................................................................................... 25

Radchenko A. .............................................................................. 20

Radivilova T. ......................................................................... 23, 26

Rahma M. .................................................................................... 24

Rebryk M. ................................................................................... 20

Recchia Ch. ................................................................................. 16

Reyes R. ................................................................................ 17, 19

Reyes-Reyes R. ........................................................................... 19

Riyad Mubarak Abdallah ............................................................ 25

Rocinskiy D. ............................................................................... 23

Rodinko M. ................................................................................. 27

Romanenkov Yu. .................................................................. 26, 28

Romankevich A. .......................................................................... 19

Romankevich V. .................................................................... 18, 19

Romanovsky A. ............................................................................. 6

Rosinskiy D. ................................................................................ 27

Rozen Yu. ................................................................................... 19

Ruban I. ....................................................................................... 17

Rubel O. ........................................................................................ 7

Ruchkov Eu. ................................................................................ 17

Rucinski A. ................................................................. 5, 11, 16, 24

Rudenko M. ................................................................................. 16

Rudenko O. ................................................................................. 16

Rudenko Z. .................................................................................. 16

Rusin D. ...................................................................................... 19

Rusnak P. .................................................................................... 26

Russo S. ........................................................................................ 6

35

Rutko A. ........................................................................................ 8

Ryabov O..................................................................................... 23

S

Sachenko A. ............................................................................ 7, 17

Saikivska L. ........................................................................... 21, 22

Saini D. .................................................................................... 7, 25

Salnykov D. ................................................................................. 21

Sapsai T. ...................................................................................... 19

Savenko O. .................................................................................. 25

Serhiienko A. ............................................................................... 26

Shabaev A. .................................................................................. 18

Sharonov V. ........................................................................... 17, 19

Shcherbovskykh S. .................................................................. 7, 21

Shefer O....................................................................................... 21

Shekhanin K. ............................................................................... 29

Shkarupylo V. ................................................................................ 7

Shkil A. ....................................................................................... 19

Shkiliuk O. .............................................................................. 7, 24

Shmielova T. ............................................................................. 4, 7

Shostak I. ............................................................................... 20, 28

Shteinbrekher D. .......................................................................... 28

Shulgin V............................................................................... 17, 20

Shulha O. ..................................................................................... 21

Sidenko Ie. ......................................................................... 7, 18, 24

Siora O. ................................................................................... 5, 19

Sitnikov D. .................................................................................. 23

Skarga-Bandurova I. ........................................ 7, 12, 18, 20, 21, 28

Skiter I. ........................................................................................ 24

Sklyar V............................................................................. 6, 17, 28

Sliusar I. ...................................................................................... 28

Smatkov S. .................................................................................. 26

Smeliakov I. ................................................................................ 17

Smoktii K. ................................................................................... 25

Smovzhenko T. .............................................................................. 8

Sokolov I. .................................................................................... 18

Solianyk T. .................................................................................. 25

Stakhov A. ............................................................................. 14, 29

Stamatescu G. ................................................................................ 7

Stetsyuk B. .................................................................................. 16

Stetsyuk D. .................................................................................. 16

Stoyanov M. ................................................................................ 24

Strielkina A. .............................................................. 4, 5, 8, 21, 24

Strjuk O. .................................................................................. 7, 18

Subbotin S. .................................................................................. 18

Sulima Ju. .................................................................................... 20

Sushko S. ..................................................................................... 28

Svyd I. ................................................................................... 21, 22

Svyrydov A. ................................................................................ 17

Sydorenko V. ............................................................................... 17

Symonov A. ................................................................................. 19

Sysa D. ........................................................................................ 25

Sytnikov V................................................................................... 20

T

Tagarev T. ..................................................................................... 6

Tanasyuk Yu. .............................................................................. 20

Tarasenko Yu. ............................................................................. 26

Tarasyuk O. ................................................................................. 28

Tavrov D. .................................................................................... 24

Tawalbeh M. ................................................................................ 26

Tawfik H. .................................................................................... 25

Temnikov A. ............................................................................... 24

Temnikov V. ............................................................................... 24

Tetskyi A. ........................................................................ 4, 5, 8, 24

Titarenko L. ............................................................................. 7, 20

Titova O. ..................................................................................... 23

Topalov A. .................................................................................. 17

Toryanyk V. .......................................................................... 16, 17

Totsky A............................................................................ 7, 17, 19

Trubchaninov S. .......................................................................... 19

Tsiapa O. ..................................................................................... 17

Tsiopoulos L. ................................................................................ 7

Tsuranov M. .......................................................................... 24, 29

Turkin I. ................................................................................ 18, 28

Turkina V. ................................................................................... 26

Turuta O. ....................................................................................... 7

Tymcnenko V. ............................................................................. 27

Tymochko A. .............................................................................. 21

Tyurin S. ................................................................................. 7, 20

U

Ukhina H. .................................................................................... 20

Usik A. ........................................................................................ 26

Uss M. ........................................................................................... 7

Utkin Yu...................................................................................... 28

Uzun D. ....................................................................... 7, 21, 23, 24

V

Vain Ju. ......................................................................... 5, 7, 15, 18

Vambol A. ................................................................................... 25

Varfolomeyev A. ......................................................................... 18

Vasylchenko K. ........................................................................... 25

Vasylenko V. ............................................................................... 26

Vidmachenko A. ......................................................................... 20

Viera M. ................................................................................ 14, 23

Vilkomir S. .................................................................................... 7

Viunytskyi O. ........................................................................ 17, 20

Vlasov Yu. .................................................................................. 23

Volkoviy A. ................................................................................... 7

Volobuyeva L. ............................................................................. 28

Volochiy B. ....................................................................... 7, 24, 26

Voloshko S. ................................................................................. 28

Vorobets H. ........................................................................... 24, 26

Vorobets O. ................................................................................. 24

Vorotnikov V. ............................................................................. 26

Vozel B. .................................................................................. 7, 19

Vykhodets Yu. ............................................................................ 28

Vystorobska L. ............................................................................ 28

W

Walkowiak T. ................................................................................ 7

Wuttke H.-D. ........................................................................... 7, 29

Y

Yakovlev A. .......................................................................... 13, 28

Yakovyna V. ................................................................................. 8

Yakymets N. ................................................................................. 8

Yanko A. ..................................................................................... 21

Yanovsky F. .................................................................................. 5

36

Yaremchuk S. .......................................................................... 8, 18

Yastrebenetsky M. ............................................................. 8, 16, 19

Yershov R. ................................................................................... 24

Yesina M. .................................................................................... 25

Yurchenko D. .............................................................................. 20

Z

Zadovsky R. ................................................................................ 20

Zaiko T. ....................................................................................... 18

Zaitsev S. ................................................................................. 8, 26

Zaitseva E. ..................................................................... 5, 8, 25, 26

Zamojski W. .................................................................................. 8

Zamula A. .................................................................................... 29

Zarisenko I. .................................................................................. 25

Zashcholkin K. ............................................................................ 19

Zaslavsky O. .................................................................................. 5

Zaslavskyi V. ..................................................................... 8, 19, 21

Zavgorodnia O. ........................................................................... 27

Zavgorodniy S. ............................................................................ 24

Zavolodko A. ........................................................................ 21, 22

Zaynetdinov R. ............................................................................ 24

Zeleneva I. ................................................................................... 20

Zhebka V. .................................................................................... 22

Zhezherun Yu. ............................................................................. 20

Zhmyrov A. ................................................................................. 24

Zholtkevych G............................................................................... 8

Zholubak I. .................................................................................. 24

Zhydenko M. ............................................................................... 21

Zhydko M.................................................................................... 24

Zia K. .......................................................................................... 25

Zmysnyi M. ............................................................................. 8, 26

Zriakhov M. ................................................................................ 19

Zuberek W. ................................................................................... 8

Zvrutskyi O. ................................................................................ 20