English
Related papers

Related papers: An Efficiency Firmware Verification Framework for …

200 papers

Smart power grid enables intelligent automation at all levels of power system operation, from electricity generation at power plants to power usage at households. The key enabling factor of an efficient smart grid is its built-in…

Systems and Control · Computer Science 2016-12-20 Suzhi Bi , Ying Jun Zhang

The security of public key validation protocols for web-based applications has recently attracted attention because of weaknesses in the certificate authority model, and consequent attacks. Recent proposals using public logs have succeeded…

Cryptography and Security · Computer Science 2017-03-17 Jiangshan Yu , Vincent Cheval , Mark Ryan

In advanced metering infrastructure (AMI), smart meters (SMs) are installed at the consumer side to send fine-grained power consumption readings periodically to the system operator (SO) for load monitoring, energy management, billing, etc.…

Cryptography and Security · Computer Science 2020-05-29 Mohamed I. Ibrahem , Mahmoud Nabil , Mostafa M. Fouda , Mohamed Mahmoud , Waleed Alasmary , Fawaz Alsolami

The transformation of power grids into intelligent cyber-physical systems brings numerous benefits, but also significantly increases the surface for cyber-attacks, demanding appropriate countermeasures. However, the development, validation,…

Cryptography and Security · Computer Science 2022-09-12 Ömer Sen Dennis van der Velde , Maik Lühman , Florian Sprünken , Immanuel Hacker , Andreas Ulbig , Michael Andres , Martin Henze

Composed of a large variety of technologies and applications with unprecedented complexity, the smart grid, as a cyber-physical energy system, needs careful investigation of the interactions between the various domains involved, especially…

Systems and Control · Computer Science 2018-12-27 Van Hoa Nguyen , Yvon Besanger , Quoc Tuan Tran , Cédric Boudinnet , Tung Lam Nguyen , Ron Brandl , Thomas I. Strasser

Cloud-supported Internet of Things (Cloud-IoT) has been broadly deployed in smart grid systems. The IoT front-ends are responsible for data acquisition and status supervision, while the substantial amount of data is stored and managed in…

Cryptography and Security · Computer Science 2018-10-26 Zhitao Guan , Jing Li , Longfei Wu , Yue Zhang , Jun Wu , Xiaojiang Du

New testing and development procedures and methods are needed to address topics like power system stability, operation and control in the context of grid integration of rapidly developing smart grid technologies. In this context, individual…

The power grid is a critical infrastructure that allows for the efficient and robust generation, transmission, delivery and consumption of electricity. In the recent years, the physical components have been equipped with computing and…

Cryptography and Security · Computer Science 2024-06-18 Javier Sande Ríos , Jesús Canal Sánchez , Carmen Manzano Hernandez , Sergio Pastrana

Efficient verification of the functioning of quantum devices is a key to the development of quantum technologies, but is a daunting task as the system size increases. Here we propose a simple and general framework for verifying unitary…

Quantum Physics · Physics 2020-04-17 Huangjun Zhu , Haoyu Zhang

Internet technologies have made a paradigm shift in the fields of computing and data science and one such paradigm defining change is the Internet of Things or IoT. Nowadays, thousands of household appliances use integrated smart devices…

Cryptography and Security · Computer Science 2020-11-25 Projjal Gupta

Electrical infrastructures provide services at the basis of a number of application sectors, several of which are critical from the perspective of human life, environment or financials. Following the increasing trend in electricity…

Other Computer Science · Computer Science 2017-08-16 Giulio Masetti

The gradual deployment of intelligent and coordinated devices in the electrical power system needs careful investigation of the interactions between the various domains involved. Especially due to the coupling between ICT and power systems…

Smart grids (SGs) promise to deliver dramatic improvements compared to traditional power grids thanks primarily to the large amount of data being exchanged and processed within the grid, which enables the grid to be monitored more…

Information Theory · Computer Science 2020-09-04 Giulio Giaconi , Deniz Gunduz , H. Vincent Poor

Smart grid can be considered as the next step in the evolution of power systems. It comprises of different entities and objects ranging from smart appliances, smart meters, generators, smart storages, and more. One key problem in modeling…

Logic in Computer Science · Computer Science 2017-11-28 Waseem Akram , Muaz A. Niazi

The Smart Grid (SG) is a critical energy infrastructure that collects real-time electricity usage data to forecast future energy demands using information and communication technologies (ICT). Due to growing concerns about data security and…

Machine Learning · Computer Science 2025-08-14 Zikai Zhang , Suman Rath , Jiahao Xu , Tingsong Xiao

Self-Sovereign Identity (SSI) offers significant potential for managing identities in the Internet of Things (IoT), enabling decentralized authentication and credential management without reliance on centralized entities. However, existing…

Cryptography and Security · Computer Science 2025-07-15 Guntur Dharma Putra , Bagus Rakadyanto Oktavianto Putra

There has been an intense concern for security alternatives because of the recent rise of cyber attacks, mainly targeting critical systems such as industry, medical, or energy ecosystem. Though the latest industry infrastructures largely…

Cryptography and Security · Computer Science 2021-06-28 Ziaur Rahman , Ibrahim Khalil , Xun Yi , Mohammed Atiquzzaman

This paper proposes a new decentralized framework, named EDGChain-E (Encrypted-Data-Git Chain for Energy), designed to manage version-controlled, encrypted energy data using blockchain and the InterPlanetary File System. The framework…

Distributed, Parallel, and Cluster Computing · Computer Science 2025-07-04 Alper Alimoglu , Kamil Erdayandi , Mustafa A. Mustafa , Ümit Cali

Recent cyber-attacks on power grids highlight the necessity to protect the critical functionalities of a control center vital for the safe operation of a grid. Even in a distributed framework one central control center acts as a coordinator…

Strong digitalization and shifting from unidirectional to bidirectional topology have transformed the electrical grid into a cyber-physical energy system, i.e. smart grid, with strong interdependency among various domains. It is mandatory…

‹ Prev 1 3 4 5 6 7 10 Next ›