In today's world, critical infrastructure is often controlled by computing systems. This
introduces new risks for cyber attacks, which can compromise the security and disrupt the …

Robot Operating System (ROS) has been the mainstream platform for research and
development of robotic applications. This platform is well-known for lacking security features …

Decentralized finance (DeFi) has become one of the most successful applications of
blockchain and smart contracts. The DeFi ecosystem enables a wide range of crypto …

Blockchain technology relies on consensus algorithms to resolve conflicts in Byzantine
environments. New blockchain algorithms are rapidly designed and implemented without a …

Social networking sites (SNSs) have become new phenomena in social communication and
interaction patterns which have profound impact in the way people communicate and …

Model checking is emerging as an effective software verification method. Although it is
desirable to have a dedicated model checker for each application domain, implementing …

In the current 5th Generation (5G) networking paradigm, the enforcement of Service Level
Agreements (SLAs) is a non-trivial measure to ensure the scope and the quality of services …

We present a strategy for the automatic generation of test cases from parametrised use case
templates that capture control flow, state, input and output. Our approach allows test …

Linearizability is an important correctness criterion for implementations of concurrent
objects. Automatic checking of linearizability is challenging because it requires checking that …

Vaccines are delicate biological substances that gradually become inactive over time and
must be kept under a recommended temperature range of 2–8° C for both short and long …