Monitoring the “physics” of cyber-physical systems to detect attacks is a growing area of
research. In its basic form, a security monitor creates time-series models of sensor readings …

Automated and smart meters are devices that are able to monitor the energy consumption of
electricity consumers in near real-time. They are considered key technological enablers of …

The development of a trustworthy smart grid requires a deeper understanding of potential
impacts resulting from successful cyber attacks. Estimating feasible attack impact requires …

It is often appealing to assume that existing solutions can be directly applied to emerging
engineering domains. Unfortunately, careful investigation of the unique challenges …

This article has given a broadbrush description of issues related to smart-grid security.
Designing solutions in at this stage, before widespread deployment, would be beneficial; in …

The advanced metering infrastructure (AMI) is a crucial component of the smart grid,
replacing traditional analog devices with computerized smart meters. Smart meters have not …

Rewriting logic is a simple computational logic that can naturally express both concurrent
computation and logical deduction with great generality. This paper provides a gentle …

The security of Advanced Metering Infrastructures (AMIs) is of critical importance. The use of
secure protocols and the enforcement of strong security properties have the potential to …

It is critical to develop an effective way to monitor advanced metering infrastructures (AMI).
To ensure the security and reliability of a modernized power grid, the current deployment of …

The smart grid, generally referred to as the next-generation power electric system, relies on
robust communication networks to provide efficient, secure, and reliable information …