Results 61 to 70 of about 5,154 (217)

Toward a Greener Future: How and When Blockchain and Digitization Drive Green Finance

Business Strategy and the Environment, EarlyView.
ABSTRACT The COVID‐19 pandemic has significantly affected small‐ and medium‐sized enterprises (SMEs) and poses challenges in acquiring financing. Growing green investments require transformative infrastructure and innovative green financing solutions. Blockchain technology is ideal for delivering green environmental information because it provides real‐
Sikandar Rahman, Bailing Liu, Murad Ali, Sheikh Adeel, Dana Bakry, Saleh Bajaba, Mohammad Asif Salam, Hengky Latan   +7 more
wiley   +1 more source

Transient Charging Dynamics in Stacked Ga2O3/ZnO Photovoltaic Units Governing Wavelength‐Selective Polarity Switching

ENERGY &ENVIRONMENTAL MATERIALS, EarlyView.
This work reveals a “Photovoltaic‐Capacitance” coupling mechanism in stacked Ga2O3/ZnO devices, defining the ZnO/graphene interface as a novel Photovoltaic Dynamic‐Capacitor (PDC). The wavelength‐selective bipolar response enables a physical layer secure communication protocol based on ternary optical logic (“1,” “0,” “−1”).
Songqi Zhao, Man Zhao, Dayong Jiang, Yuhan Duan, Haoming Wei, Qingcheng Liang, Rui Deng   +6 more
wiley   +1 more source

On the Reachability Problem in Cryptographic Protocols [PDF]

, 2000
We study the verification of secrecy and authenticity properties for cryptogra- phic protocols which rely on symmetric shared keys. The verification can be reduced to check whether a certain parallel program which models the protocol and the specification can reach an erroneous state while interacting with the environment.
Amadio, Roberto M., Lugiez, Denis
openaire   +2 more sources

A Review of Overcurrent Protection in Smart Grids Under Cyber‐Physical Threats With a Cyber‐Physical Evaluation Framework

Energy Science &Engineering, EarlyView.
By manipulating current and voltage measurements, an assailant can induce unwanted relay action while attempting to avoid detection. Detecting advanced cyber intrusions in power protection environments requires specialised data analysis and anomaly detection methods.
Feras Alasali, Anas AlMajali, Naser Naily, Hassen Loukil, Salah AbuGhalyon, William Holderbaum, Abdelaziz Salah Saidi   +6 more
wiley   +1 more source

How to Formalize Loop Iterations in Cryptographic Protocols Using ProVerif

IEEE Access
The formal verification of cryptographic protocols has been extensively studied in recent years. To verify the cryptographic protocol security, formal verification tools consider protocol properties as interactive processes involving a cryptographic ...
Takehiko Mieno, Hiroyuki Okazaki, Kenichi Arai, Yuichi Futa   +3 more
doaj   +1 more source

A Calculus for Cryptographic Protocols: The Spi Calculus

Information and Computation, 1997
We introduce the spi calculus, an extension of the pi calculus designed for the description and analysis of cryptographic protocols. We show how to use the spi calculus, particularly for studying authentication protocols. The pi calculus (without extension) suffices for some abstract protocols; the spi calculus enables us to consider cryptographic ...
Martín Abadi, Andrew D. Gordon 0001
openaire   +2 more sources

Decentralized Federated Learning for Wind Turbine Bearing Prognostics Under Data Scarcity and Statistical Heterogeneity

Energy Science &Engineering, EarlyView.
This paper proposes a decentralized peer‐to‐peer federated learning framework for wind turbine bearing remaining useful life prediction, introducing a virtual client paradigm in which statistical health indicators serve as independent feature‐level clients—enabling privacy‐preserving collaborative prognostics from a single physical asset under ...
Jihene Sidhom, Lotfi Saidi, Eric Bechhoefer   +2 more
wiley   +1 more source

Bidirectional Wireless Power Transfer for Electric Vehicle Energy Systems Integrating Modelling, Intelligent Control, Communication and Cybersecurity: A Review

Energy Science &Engineering, EarlyView.
This graphical abstract illustrates the evolution of wireless electric vehicle charging from unidirectional wireless power transfer to bidirectional wireless power transfer (BWPT) and toward future intelligent, autonomous wireless energy systems.
P. V. Elumalai, Yuvaraja Shanmugam, A. Vivek Anand, Mesith Chaimanee, Choon Kit Chan, S. Prabhakar, R. Narayanamoorthi   +6 more
wiley   +1 more source

Internet of Things and blockchain applications in food audit, authenticity, and traceability: A systematic review

Food Biomacromolecules, EarlyView.
Abstract This review evaluates the integrated applications of the Internet of Things (IoT) and blockchain technologies in enhancing food audit systems, authenticity verification, and supply chain traceability, transparency, and data reliability. Following Preferred Reporting Items for Systematic Reviews and Meta‐Analyses guidelines, a systematic review
S. Sriranjani, Samuel Ayofemi Olalekan Adeyeye   +1 more
wiley   +1 more source

Rhodopsin‐mimetic adaptive photodetectors for intelligent and secure vision systems

InfoMat, EarlyView.
Inspired by the adaptive mechanisms of biological vision, we developed a rhodopsin‐mimetic photovoltaic dual‐transistor (PVT2) photosensor that decouples charge accumulation and release by integrating a quasi‐2D perovskite photodiode with dual thin‐film transistors.
Genghui Zhang, Xinyang Lv, Jianting Wu, Yuhui Jia, Yudi Tu, Hang Zhou, Chuan Liu   +6 more
wiley   +1 more source