Results 91 to 100 of about 4,580 (206)

Decentralized energy optimization using blockchain with battery storage and electric vehicle networks

Scientific Reports
The research is aimed at filling the gap regarding the development of long-lasting, secure technologies that help build decentralized systems. Other consensus models, such as the Proof of Work (PoW), prevailing in cryptocurrencies, are known to be ...
Seelammal Chinnaperumal, Sekar Kidambi Raju, Amal H. Alharbi, Subhash Kannan, Doaa Sami Khafaga, Muthusamy Periyasamy, Marwa M. Eid, El-Sayed M. El-kenawy   +7 more
doaj   +1 more source

Lightweight Quantum Authentication and Key Agreement Scheme in the Smart Grid Environment

Entropy
Smart grids leverage smart terminal devices to collect information from the user side, achieving accurate load forecasting and optimized dispatching of power systems, effectively improving power supply efficiency and reliability while reducing energy ...
Zehui Jiang, Run-Hua Shi
doaj   +1 more source

Preserving Peer Replicas By Rate-Limited Sampled Voting in LOCKSS [PDF]

, 2003
The LOCKSS project has developed and deployed in a world-wide test a peer-to-peer system for preserving access to journals and other archival information published on the Web.
David S. H. Rosenthal, Giuli, T.J., TJ Giuli, Mema Roussopoulos, Mary Baker, Baker, Mary, Petros Maniatis, Yanto Muliadi, Maniatis, Petros, Rosenthal, David S. H., Roussopoulos, Mema, Muliadi, Yanto   +11 more
core   +1 more source

Secure LoRa Drone-to-Drone Communication for Public Blockchain-Based UAV Traffic Management

Sensors
Unmanned Aerial Vehicles (UAVs) face collision risks due to Beyond Visual Line of Sight operations. Therefore, UAV Traffic Management (UTM) systems are used to manage and monitor UAV flight paths.
Jing Huey Khor, Michail Sidorov, Melissa Jia Ying Chong   +2 more
doaj   +1 more source

Enhanced Security and Efficiency in Blockchain With Aggregated Zero-Knowledge Proof Mechanisms

IEEE Access
Blockchain technology has emerged as a revolutionary tool in ensuring data integrity and security in digital transactions. However, the current approaches to data verification in blockchain systems, particularly in Ethereum, face challenges in terms of ...
Oleksandr Kuznetsov, Alex Rusnak, Anton Yezhov, Dzianis Kanonik, Kateryna Kuznetsova, Stanislav Karashchuk   +5 more
doaj   +1 more source

Whanaungatanga: Sybil-proof routing with social networks [PDF]

, 2009
Decentralized systems, such as distributed hash tables, are subject to the Sybil attack, in which an adversary creates many false identities to increase its influence.
Kaashoek, M. Frans, Lesniewski-Laas, Chris   +1 more
core  

Retrenching the Purse: Hashing Injective CLEAR Codes, and Security Properties

, 2006
The Mondex Electronic Purse is an outstanding example of industrial scale formal refinement, and was the first verification to achieve ITSEC level E6 certification.
Czeslaw Jeske, Susan Stepney, Banach, Richard; id_orcid, Michael Poppleton, Poppleton, Michael, Richard Banach, Banach, Richard, Stepney, Susan, Jeske, Czeslaw   +8 more
core   +1 more source

Logarithmic-Size Post-Quantum Linkable Ring Signatures Based on Aggregation Operations

Entropy
Linkable ring signatures are a type of ring signature scheme that can protect the anonymity of signers while allowing the public to verify whether the same signer has signed the same message multiple times.
Minghui Zheng, Shicheng Huang, Deju Kong, Xing Fu, Qiancheng Yao, Wenyi Hou   +5 more
doaj   +1 more source

Verification of forward simulations with thread-local, step-local proof obligations [PDF]

This paper presents a proof technique for proving refinements for general state-based models of concurrent systems that reduces proving forward simulations to thread-local, step-local proof obligations.
Reif, Wolfgang, Bodenmüller, Stefan, Schellhorn, Gerhard   +2 more
core   +1 more source