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 …

Federated learning (FL) has experienced a boom in recent years, which is jointly promoted
by the prosperity of machine learning and Artificial Intelligence along with emerging privacy …

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 use of Blockchain technology has recently become widespread. It has emerged as an
essential tool in various academic and industrial fields, such as healthcare, transportation …

The Metaverse is an evolving technology that leverages the Internet infrastructure and the
massively connected Internet of Everything (IoE) to create an immersive virtual world. In the …

This research paper investigates the integration of blockchain technology to enhance the
security of Android mobile app data storage. Blockchain holds the potential to significantly …

The Internet of vehicles (IoV) is increasingly being used to realize the vision of intelligent
transportation systems with the rapid development of computation and communication …

Abstract Internet of Vehicles (IoV), as an emerging technology, has gained much attention in
recent years due to rapid advancements in computing paradigms, vehicular and wireless …

Artificial intelligence (AI) techniques implemented at a large scale in intelligent transport
systems (ITS), have considerably enhanced the vehicles' autonomous behaviour in making …

Accurate perception is essential for advancing autonomous driving and addressing safety
challenges in modern transportation systems. Despite significant advancements in computer …