21 citations · 35 across the 8 of their papers we have counts for
8 papers
The Smart Contract Model
Yackolley Amoussou-Guenou, Maurice Herlihy, Sucharita Jayanti +2
Many of the problems that arise in the context of blockchains and decentralized finance can be seen as variations on classical problems of distributed computing. The smart contract…
Byzantine Attacks Exploiting Penalties in Ethereum PoS
Ulysse Pavloff, Yackolley Amoussou-Genou, Sara Tucci-Piergiovanni
In May 2023, the Ethereum blockchain experienced its first inactivity leak, a mechanism designed to reinstate chain finalization amid persistent network disruptions. This mechanism…
Ethereum Proof-of-Stake under Scrutiny
Ulysse Pavloff, Yackolley Amoussou-Guenou, Sara Tucci-Piergiovanni
Ethereum has undergone a recent change called \textit{the Merge}, which made Ethereum a Proof-of-Stake blockchain, shifting closer to BFT consensus. Ethereum, which wished to keep…
Topos: A Secure, Trustless, and Decentralized Interoperability Protocol
Théo Gauthier, Sébastien Dan, Monir Hadji +2
Topos is an open interoperability protocol designed to reduce as much as possible trust assumptions by replacing them with cryptographic constructions and decentralization while ex…
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…
Rationals vs Byzantines in Consensus-based Blockchains
Yackolley Amoussou-Guenou, Bruno Biais, Maria Potop-Butucaru +1
In this paper we analyze from the game theory point of view Byzantine Fault Tolerant blockchains when processes exhibit rational or Byzantine behavior. Our work is the first to mod…
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…
Correctness and Fairness of Tendermint-core Blockchains
Yackolley Amoussou-Guenou, Antonella Del Pozzo, Maria Potop-Butucaru +1
Tendermint-core blockchains (e.g. Cosmos) are considered today one of the most viable alternatives for the highly energy consuming proof-of-work blockchains such as Bitcoin and Eth…