2 citations · 4 across the 4 of their papers we have counts for
3 papers · 1 filter
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…