English
Related papers

Related papers: An Efficiency Firmware Verification Framework for …

200 papers

The rapid adoption of electric vehicles (EVs) globally has catalyzed the need for robust cybersecurity measures within vehicle-to-grid (V2G) networks. As these networks are increasingly being integrated into smart charging infrastructures,…

Cryptography and Security · Computer Science 2024-10-24 Yunwang Chen , Yanmin Zhao , Siuming Yiu

This paper presents a framework for securing blockchain-based IoT systems by integrating Physical Unclonable Functions (PUFs) and Zero-Knowledge Proofs (ZKPs) within a Hyperledger Fabric environment. The proposed framework leverages PUFs…

Cryptography and Security · Computer Science 2024-05-22 Daniel Commey , Sena Hounsinou , Garth V. Crosby

In the domain of spatial crowdsourcing drone services, which includes tasks like delivery, surveillance, and data collection, secure communication is paramount. The Public Key Infrastructure (PKI) ensures this by providing a system for…

Cryptography and Security · Computer Science 2024-07-02 Junaid Akram , Ali Anaissi

The Transport Layer Security (TLS) protocol and its public-key infrastructure (PKI) are widely used in the Internet to achieve secure communication. Validating domain ownership by trusted certification authorities (CAs) is a critical step…

Cryptography and Security · Computer Science 2020-03-31 Pawel Szalachowski

This paper presents a hybrid data-driven physics model-based framework for real time monitoring in smart grids. As the power grid transitions to the use of smart grid technology, it's real time monitoring becomes more vulnerable to cyber…

Systems and Control · Electrical Eng. & Systems 2020-01-28 Cody Ruben , Surya Dhulipala , Keerthiraj Nagaraj , Sheng Zou , Allen Starke , Arturo Bretas , Alina Zare , Janise McNair

The Internet of Things is progressively getting broader, evol-ving its scope while creating new markets and adding more to the existing ones. However, both generation and analysis of large amounts of data, which are integral to this…

Cryptography and Security · Computer Science 2019-04-15 Guilherme Pinto , João Pedro Dias , Hugo Sereno Ferreira

The popularity of Electric Vehicles (EVs) has been rising across the globe in recent years. Smart grids will be the backbone for EV charging and enable efficient consumption of electricity by the EVs. With the demand for EVs, associated…

Cryptography and Security · Computer Science 2022-06-28 Rohini Poolat Parameswarath , Prosanta Gope , Biplab Sikdar

This paper introduces the zk-IoT framework, a novel approach to enhancing the security of Internet of Things (IoT) ecosystems through the use of Zero-Knowledge Proofs (ZKPs) on blockchain platforms. Our framework ensures the integrity of…

Cryptography and Security · Computer Science 2024-02-20 Gholamreza Ramezan , Ehsan Meamari

Secure firmware update is an important stage in the IoT device life-cycle. Prior techniques, designed for other computational settings, are not readily suitable for IoT devices, since they do not consider idiosyncrasies of a realistic…

Cryptography and Security · Computer Science 2018-10-19 N. Asokan , Thomas Nyman , Norrathep Rattanavipanon , Ahmad-Reza Sadeghi , Gene Tsudik

Critical infrastructure systems, including energy grids, healthcare facilities, transportation networks, and water distribution systems, are pivotal to societal stability and economic resilience. However, the increasing interconnectivity of…

Cryptography and Security · Computer Science 2025-12-25 Jenifer Paulraj , Brindha Raghuraman , Nagarani Gopalakrishnan , Yazan Otoum

Smart grid systems are characterized by high complexity due to interactions between a traditional passive network and active power electronic components, coupled using communication links. Additionally, automation and information technology…

Smart Grid has rapidly transformed the centrally controlled power system into a massively interconnected cyber-physical system that benefits from the revolutions happening in the communications (e.g. 5G) and the growing proliferation of the…

Cryptography and Security · Computer Science 2022-05-10 Haftu Tasew Reda , Adnan Anwar , Abdun Mahmood

Smart grid security is crucial to maintain stable and reliable power system operation during the contingency situation due to the failure of any critical power system component. Ensuring a secured smart grid involves with a less possibility…

Cryptography and Security · Computer Science 2014-01-23 Adnan Anwar , Abdun Naser Mahmood

The growing adoption of smart contracts on blockchains poses new security risks that can lead to significant monetary loss, while existing approaches either provide no (or partial) security guarantees for smart contracts or require huge…

Programming Languages · Computer Science 2021-03-04 Shaokai Lin , Xinyuan Sun , Jianan Yao , Ronghui Gu

As an important cyber-physical system (CPS), smart grid is highly vulnerable to cyber attacks. Amongst various types of attacks, false data injection attack (FDIA) proves to be one of the top-priority cyber-related issues and has received…

Cryptography and Security · Computer Science 2022-10-25 Yang Li , Xinhao Wei , Yuanzheng Li , Zhaoyang Dong , Mohammad Shahidehpour

Within a trust infrastructure, a private key is often used to digitally sign a transaction, which can be verified with an associated public key. Using PKI (Public Key Infrastructure), a trusted entity can produce a digital signature,…

Cryptography and Security · Computer Science 2023-10-11 Sam Grierson , William J Buchanan , Craig Thomson , Baraq Ghaleb , Leandros Maglaras , Chris Eckl

With growing security and privacy concerns in the Smart Grid domain, intrusion detection on critical energy infrastructure has become a high priority in recent years. To remedy the challenges of privacy preservation and decentralized power…

Cryptography and Security · Computer Science 2023-03-31 Muhammad Akbar Husnoo , Adnan Anwar , Haftu Tasew Reda , Nasser Hosseizadeh , Shama Naz Islam , Abdun Naser Mahmood , Robin Doss

Cyber-physical systems integrate information and communication technology functions to the physical elements of a system for monitoring and controlling purposes. The conversion of traditional power grid into a smart grid, a fundamental…

Networking and Internet Architecture · Computer Science 2012-05-31 Ender Yüksel , Hanne Riis Nielson , Flemming Nielson , Huibiao Zhu , Heqing Huang

Hardware-firmware integration is becoming a productivity bottleneck due to the increasing complexity of accelerators, characterized by intricate memory hierarchies and firmware-intensive execution. While numerous verification techniques…

Hardware Architecture · Computer Science 2026-04-14 G Abarajithan , Zhenghua Ma , Francesco Restuccia , Ryan Kastner

Smart grid is an alternative solution of the conventional power grid which harnesses the power of the information technology to save the energy and meet today's environment requirements. Due to the inherent vulnerabilities in the…

Cryptography and Security · Computer Science 2020-01-06 Zakaria El Mrabet , Mehdi Ezzari , Hassan Elghazi , Badr Abou El Majd