scispace - formally typeset
A

Abdelatif Hafid

Researcher at Université de Montréal

Publications -  6
Citations -  193

Abdelatif Hafid is an academic researcher from Université de Montréal. The author has contributed to research in topics: Cryptocurrency & Blockchain. The author has an hindex of 3, co-authored 5 publications receiving 59 citations.

Papers
More filters
Journal ArticleDOI

Scaling Blockchains: A Comprehensive Survey

TL;DR: This paper focuses on sharding as a promising first layer solution to the scalability issue and proposes a taxonomy based on committee formation and intra-committee consensus, and presents a performance-based comparative analysis of the advantages and disadvantages in existing scalability solutions.
Journal ArticleDOI

New Mathematical Model to Analyze Security of Sharding-Based Blockchain Protocols

TL;DR: This paper proposes a mathematical model to analyze the security of sharding-based blockchain protocols and answers the following fundamental question: “how to keep the failure probability, for a given sharding protocol, smaller than a predefined threshold?”
Book ChapterDOI

A Methodology for a Probabilistic Security Analysis of Sharding-Based Blockchain Protocols

TL;DR: This paper analyzes the security of three Sharding-based protocols using tail inequalities for sums of bounded hypergeometric and binomial distributions and upper bound the failure probability for one committee and so for each epoch using head inequalities.
Journal ArticleDOI

A Novel Methodology-Based Joint Hypergeometric Distribution to Analyze the Security of Sharded Blockchains

TL;DR: This methodology estimates the failure probability of one sharding round taking into consideration the failure probabilities of all shards, a novel methodology to analyze the security of these protocols (e.g., OmniLedger and RapidChain).
Journal ArticleDOI

Sharding-Based Proof-of-Stake Blockchain Protocols: Key Components & Probabilistic Security Analysis

TL;DR: In this article , a probabilistic model is proposed to analyze the security of sharding-based protocols and the probability of committing a faulty block and measure the security by computing the number of years to fail.