The electricity grid is an important critical infrastructure that is undergoing major changes,
due to the Internet of Things (IoT) and renewable energy, heading towards the smart grid …

We introduce a non-interleaving structural operational semantics for the applied π-calculus
and prove that it satisfies the properties expected of a labelled asynchronous transition …

In recent years, it has come to attention that governments have been doing mass
surveillance of personal communications without the consent of the citizens. As a …

Infection of client devices poses a significant threat to secure user authentication. Combining
vulnerable client devices with special security devices, as often the case in e-banking, can …

Internet of Things (IoT) is a growing field and its use in home automation is one of the
dominating application areas. The heterogeneity and limited capacity of storage and …