Blockchain is a modern technology that has revolutionized the way society interacts and
trades. It could be defined as a chain of blocks that stores information with digital signatures …

The complex and interdependent nature of smart cities raises significant political, technical,
and socioeconomic challenges for designers, integrators and organisations involved in …

Formal approaches can provide strict correctness guarantees for the development of both
hardware and software systems. In this work, we examine state-of-the-art formal methods for …

The current development of drones and the prospects in this field have positive
repercussions, in particular for employment and industrial development, with the key to …

The increasing complexity and connectivity of automotive systems have raised concerns
about their vulnerability to security breaches. As a result, the integration of formal methods …

Web applications (WAs) are constantly evolving and deployed at broad scale. However, they
are exposed to a variety of attacks. The biggest challenge facing organizations is how to …

With smartphones being so ubiquitous, more connected and largely fitted with several types
of sensors such as GPS, microphones, cameras, magnetometers, accelerometers, etc; there …

Internet of Things (IoT) devices are becoming a part of our daily life; from health monitors to
critical infrastructure, they are used everywhere. This makes them ideal targets for malicious …

Although the smart home industry is rapidly emerging, it faces the risk of privacy security that
cannot be neglected. As this industry now has a complex combination system involving …

This article addresses the need of applying testing activities with the purpose of checking the
consistency and the correctness of distributed and dynamically adaptable systems whose …