Smart embedded systems are core components of Internet of Things (IoT). Many vulnerabilities and attacks have been discovered against di↵erent classes of IoT devices. Therefore, developing a systematic mechanism to analyze the security of smart embedded systems will help developers discover new attacks, and improve the design and implementation of the system. In this paper, we formally model th...

Public acceptance of utility programs and initiatives is vital for efficient deployment. Consumer complaints, protests, and lawsuits, can significantly impede progress and cost utilities, cities, and taxpayers money. One recent area where this has become clear is the deployment of smart meters. While the advantages of smart meters are widely accepted by utilities, academics, and governments, so...

Wireless access technologies are being embedded in utility meters, health devices, public safety systems, among others. These devices have low processing power and communicate at low data rates. New communication standards are being developed to support these machine-type communications (MTC), such as Cellular Internet of Things (CIoT), which is being developed by the third generation partnersh...

Due to ongoing changes in the power grid towards decentralised and highly volatile energy production, smart electricity meters are required to provide fine-grained measurement and timely remote access to consumption and production data. This enables flexible tariffing and dynamic load optimisation. As the power grid forms part of the critical infrastructure of our society, increasing the resili...