2 citations · 4 across the 4 of their papers we have counts for
9 papers
On Finality in Blockchains
Emmanuelle Anceaume, Antonella Pozzo, Thibault Rieutord +1
There exist many forms of Blockchain finality conditions, from deterministic to probabilistic terminations. To favor availability against consistency in the face of partitions, mos…
Tenderbake -- A Solution to Dynamic Repeated Consensus for Blockchains
Lăcrămioara Aştefanoaei, Pierre Chambart, Antonella Del Pozzo +3
First-generation blockchains provide probabilistic finality: a block can be revoked, albeit the probability decreases as the block sinks deeper into the chain. Recent proposals rev…
On Fairness in Committee-based Blockchains
Yackolley Amoussou-Guenou, Antonella del Pozzo, Maria Potop-Butucaru +1
Committee-based blockchains are among the most popular alternatives of proof-of-work based blockchains, such as Bitcoin. They provide strong consistency (no fork) under classical a…
Pluralize: a Trustworthy Framework for High-Level Smart Contract-Draft
Zaynah Dargaye, Antonella Pozzo, Sara Tucci-Piergiovanni
The paper presents Pluralize a formal logical framework able to extend the execution of blockchain transactions to events coming from external oracles, like external time, sensor d…
Dissecting Tendermint
Yackolley Amoussou-Guenou, Antonella del Pozzo, Maria Potop-Butucaru +1
In this paper we analyze Tendermint proposed in [7], one of the most popular blockchains based on PBFT Consensus. The current paper dissects Tendermint under various system communi…
Blockchain Abstract Data Type
Emmanuelle Anceaume, Antonella Del Pozzo, Romaric Ludinard +2
The presented work continues the line of recent distributed computing communityefforts dedicated to the theoretical aspects of blockchains. This paper is the rst tospecify blockcha…