English
Related papers

Related papers: An Efficiency Firmware Verification Framework for …

200 papers

Smart grid systems are critical to the power industry, however their sophisticated architectural design and operations expose them to a number of cybersecurity threats, such as data tampering, data eavesdropping, and Denial of Service,…

Cryptography and Security · Computer Science 2022-02-16 J. D. Ndibwile

Smart meter measurements, though critical for accurate demand forecasting, face several drawbacks including consumers' privacy, data breach issues, to name a few. Recent literature has explored Federated Learning (FL) as a promising…

Cryptography and Security · Computer Science 2023-03-29 Muhammad Akbar Husnoo , Adnan Anwar , Nasser Hosseinzadeh , Shama Naz Islam , Abdun Naser Mahmood , Robin Doss

At present, the "Smart Grid" has emerged as one of the best advanced energy supply chains. This paper looks into the security system of smart grid via the smart planet system. The scope focused on information security criteria that impact…

Cryptography and Security · Computer Science 2011-09-14 Amy Poh Ai Ling , Mukaidono Masao

Several years of academic and industrial research efforts have converged to a common understanding on fundamental security building blocks for the upcoming Vehicular Communication (VC) systems. There is a growing consensus towards deploying…

Cryptography and Security · Computer Science 2016-01-06 Mohammad Khodaei , Hongyu Jin , Panos Papadimitratos

Numerous resource-limited smart objects (SOs) such as sensors and actuators have been widely deployed in smart environments, opening new attack surfaces to intruders. The severe security flaw discourages the adoption of the Internet of…

Cryptography and Security · Computer Science 2020-11-13 Jianhua Li , Jiong Jin , Lingjuan Lyu , Dong Yuan , Yingying Yang , Longxiang Gao , Chao Shen

With real-time certificate validation checking, a public-key-using system that needs to validate a certificate executes a transaction with a specialized validation party. At the end of the transaction the validation party returns an…

Cryptography and Security · Computer Science 2020-11-24 Diana Berbecaru , Antonio Lioy

The increasing competition in the semiconductor industry has created significant pressure to reduce chip prices while maintaining quality and reliability. Functional verification, particularly for configurable IPs, is a major contributor to…

Hardware Architecture · Computer Science 2025-10-21 Shuhang Zhang , Jelena Radulovic , Thorsten Dworzak

The rapid global adoption of electric vehicles (EVs) has established electric vehicle supply equipment (EVSE) as a critical component of smart grid infrastructure. While essential for ensuring reliable energy delivery and accessibility,…

Cryptography and Security · Computer Science 2025-06-10 Rabah Rahal , Abdelaziz Amara Korba , Yacine Ghamri-Doudane

The smart grid is envisioned to significantly enhance the efficiency of energy consumption, by utilizing two-way communication channels between consumers and operators. For example, operators can opportunistically leverage the delay…

Networking and Internet Architecture · Computer Science 2016-11-17 Yara Abdallah , Zizhan Zheng , Ness B. Shroff , Hesham El Gamal

This paper presents composable attestation as a generalized cryptographic framework for Continuous and Incremental Trust in Distributed Systems,such as Artificial Intelligence (AI) computation, and Open Source Software (OSS) supply chain…

Cryptography and Security · Computer Science 2026-03-04 Sheng Sun , Sarah Evans

Blockchain technology (BT) Ethereum Smart Contracts allows programmable transactions that involve the transfer of monetary assets among peers on a BT network independent of a central authorizing agency. Ethereum Smart Contracts are programs…

Cryptography and Security · Computer Science 2021-05-21 Noama Fatima Samreen , Manar H. Alalfi

Nowadays, a majority of System-on-Chips (SoCs) make use of Intellectual Property (IP) in order to shorten development cycles. When such IPs are developed, one of the main focuses lies in the high configurability of the design. This…

Software Engineering · Computer Science 2024-05-06 Aman Kumar , Sebastian Simon

In recent years, there has been a notable surge in attention towards hardware security, driven by the increasing complexity and integration of processors, SoCs, and third-party IPs aimed at delivering advanced solutions. However, this…

Cryptography and Security · Computer Science 2024-03-20 Raghul Saravanan , Sai Manoj Pudukotai Dinakarrao

The advent of Federated Learning (FL) as a distributed machine learning paradigm has introduced new cybersecurity challenges, notably adversarial attacks that threaten model integrity and participant privacy. This study proposes an…

Cryptography and Security · Computer Science 2024-03-18 Zahir Alsulaimawi

Registers are primary storage elements in System-on-chip~(SoC) designs and play an important role in maintaining state information and processing data in digital systems. With respect to the ISO26262 standard, these registers require high…

Formal Languages and Automata Theory · Computer Science 2025-05-26 Shuhang Zhang , Bryan Olmos

Sensor data in IoT (Internet of Things) systems is vulnerable to tampering or falsification when transmitted through untrusted services. This is critical because such data increasingly underpins real-world decisions in domains such as…

Cryptography and Security · Computer Science 2025-12-23 Kenji Saito

Modern smart grids demand fast, intelligent, and energy-aware computing at the edge to manage real time fluctuations and ensure reliable operation. This paper introduces FOGNITE Fog-based Grid In intelligence with Neural Integration and…

Distributed, Parallel, and Cluster Computing · Computer Science 2025-07-23 Somayeh Sobati-M

The increasing integration of inverter-based resources (IBRs) and communication networks has brought both modernization and new vulnerabilities to the power system infrastructure. These vulnerabilities expose the system to internal faults…

Systems and Control · Electrical Eng. & Systems 2025-05-05 Swetha Rani Kasimalla , Kuchan Park , Junho Hong , Young-Jin Kim , HyoJong Lee

Smart Grid, an intelligent connected grid consisting of millions of smart devices, used to collect data from the grid to improve the efficiency of its operation. These smart devices communicating wirelessly are susceptible to attacks and…

Signal Processing · Electrical Eng. & Systems 2020-01-03 Shravan Garlapati

With the rapidly evolving next-generation systems-of-systems, we face new security, resilience, and operational assurance challenges. In the face of the increasing attack landscape, it is necessary to cater to efficient mechanisms to verify…

Cryptography and Security · Computer Science 2021-07-13 Heini Bergsson Debes , Thanassis Giannetsos , Ioannis Krontiris