Results 81 to 90 of about 66,776 (234)
Corporate Decarbonization via Technology and Management
ABSTRACT This study provides a comprehensive overview of key findings on decarbonization, advanced technologies, and management strategies, highlighting emerging themes shaping the field. Advanced technologies enhance carbon reduction through efficiency, real‐time monitoring, and optimizing resource optimization.
Heidy Montero‐Teran +2 more
wiley +1 more source
The Practice of Cryptographic Protocol Verification
We analyze the complexity of verifying security protocols for finite ...
openaire +2 more sources
Dynamic Spillovers Between FinTech, Blockchain, and Green Finance: A Quantile Connectedness Approach
ABSTRACT This paper explores how financial innovation and environmental sustainability intersect by analyzing spillovers between FinTech, blockchain energy use, and green finance. Using a Quantile Vector Autoregression (QVAR) framework, we examine weekly data from 2018 to 2024 across 11 digital, environmental, and macro‐financial indices.
Mehmet Sahiner, Sisi Sung, James Devlin
wiley +1 more source
A note on conjugacy search and racks [PDF]
We show that for every effective left conjugacy closed left quasigroup, there is an induced rack that retains the conjugation structure of the left translations.
Partala, Juha
core
Using of small-scale quantum computers in cryptography with many-qubit entangled states
We propose a new cryptographic protocol. It is suggested to encode information in ordinary binary form into many-qubit entangled states with the help of a quantum computer. A state of qubits (realized, e.g., with photons) is transmitted through a quantum
A. Ekert +16 more
core +1 more source
Toward a Greener Future: How and When Blockchain and Digitization Drive Green Finance
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 +7 more
wiley +1 more source
On the Reachability Problem in Cryptographic Protocols [PDF]
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
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 +6 more
wiley +1 more source
Cheat Sensitive Quantum Bit Commitment
We define cheat sensitive cryptographic protocols between mistrustful parties as protocols which guarantee that, if either cheats, the other has some nonzero probability of detecting the cheating.
Adrian Kent +8 more
core +1 more source
A Calculus for Cryptographic Protocols: The Spi Calculus
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

