Formal verification of fraud-resilience in a crowdsourcing consensus protocol
Crowdsourcing has emerged as a promising computing paradigm that utilizes human
intelligence to achieve complex tasks, but it encounters several security and trust issues …
intelligence to achieve complex tasks, but it encounters several security and trust issues …
Research on multidimensional trust evaluation mechanism of fintech based on blockchain
Y Song, C Sun, Y Peng, Y Zeng, B Sun - IEEE Access, 2022 - ieeexplore.ieee.org
New technologies such as Internet, cloud computing, artificial intelligence (AI) and
blockchain have greatly promoted the innovation of financial industry structure and …
blockchain have greatly promoted the innovation of financial industry structure and …
Axiomatization of Blockchain Theory
S Goncharov, A Nechesov - Mathematics, 2023 - mdpi.com
The increasing use of artificial intelligence algorithms, smart contracts, the internet of things,
cryptocurrencies, and digital money highlights the need for secure and sustainable …
cryptocurrencies, and digital money highlights the need for secure and sustainable …
Proof-of-monitoring (pom): A novel consensus mechanism for blockchain-based secure service level agreement management
In the current 5th Generation (5G) networking paradigm, the enforcement of Service Level
Agreements (SLAs) is a non-trivial measure to ensure the scope and the quality of services …
Agreements (SLAs) is a non-trivial measure to ensure the scope and the quality of services …
[PDF][PDF] Critical review of blockchain consensus algorithms: challenges and opportunities
UM Tahir, M Sardaraz, U Aziz - Int. J. Innov. Sci. Technol., 2022 - researchgate.net
__________________________________… lockchain is a distributed ledger in which
transactions are grouped in blocks linked by hash pointers. Blockchain-based solutions …
transactions are grouped in blocks linked by hash pointers. Blockchain-based solutions …
Research on Blockchain-Based FinTech Trust Evaluation Mechanism
Y Song, C Sun, L Li, F Wei, Y Liu, B Sun - IEEE Access, 2023 - ieeexplore.ieee.org
The financial technology (FinTech) has promoted the wide application of FinTech with the
help of artificial intelligence, blockchain, cloud computing, data science and other new …
help of artificial intelligence, blockchain, cloud computing, data science and other new …
An Enhanced Block Validation Framework with Efficient Consensus for Secure Consortium Blockchains
Consortium blockchains have attracted considerable interest from academia and industry
due to their low-cost installation and maintenance. However, typical consortium blockchains …
due to their low-cost installation and maintenance. However, typical consortium blockchains …
CrowdFAB: Intelligent Crowd-Forecasting Using Blockchains and its use in Security
Crowdsourcing applications, such as Uber for ride-sharing, enable distributed problem-
solving. A subset of these applications is intelligent crowd-forecasting applications, eg …
solving. A subset of these applications is intelligent crowd-forecasting applications, eg …
Formal verification of the pub-sub blockchain interoperability protocol using stochastic timed automata
In recent times, the research on blockchain interoperability has gained momentum, enabling
the entities from different heterogeneous blockchain networks to communicate with each …
the entities from different heterogeneous blockchain networks to communicate with each …
Formal Verification of Justification and Finalization in Beacon Chain
In recent years, Beacon Chain known as the core of Ethereum 2.0, has gained considerable
attention since its launch. Many validators have staked billions of Ether in the Proof of Stake …
attention since its launch. Many validators have staked billions of Ether in the Proof of Stake …