中文
相关论文

相关论文: An Efficiency Firmware Verification Framework for …

200 篇论文

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,…

密码学与安全 · 计算机科学 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…

密码学与安全 · 计算机科学 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…

密码学与安全 · 计算机科学 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…

密码学与安全 · 计算机科学 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…

密码学与安全 · 计算机科学 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…

密码学与安全 · 计算机科学 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…

硬件体系结构 · 计算机科学 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,…

密码学与安全 · 计算机科学 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…

网络与互联网体系结构 · 计算机科学 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…

密码学与安全 · 计算机科学 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…

密码学与安全 · 计算机科学 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…

软件工程 · 计算机科学 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…

密码学与安全 · 计算机科学 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…

密码学与安全 · 计算机科学 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…

形式语言与自动机理论 · 计算机科学 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…

密码学与安全 · 计算机科学 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…

分布式、并行与集群计算 · 计算机科学 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…

系统与控制 · 电气工程与系统科学 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…

信号处理 · 电气工程与系统科学 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…

密码学与安全 · 计算机科学 2021-07-13 Heini Bergsson Debes , Thanassis Giannetsos , Ioannis Krontiris