4 citations · 8 across the 3 of their papers we have counts for
3 papers
Unveiling the Mechanisms of DAI: A Logic-Based Approach to Stablecoin Analysis
Francesco De Sclavis, Giuseppe Galano, Aldo Glielmo +1
Stablecoins are digital assets designed to maintain a stable value, typically pegged to traditional currencies. Despite their growing prominence, many stablecoins have struggled to…
Self-Balancing Semi-Hierarchical PCNs for CBDCs
Marco Benedetti, Francesco De Sclavis, Marco Favorito +4
We introduce a family of PCNs (Payment Channel Networks) characterized by a semi-hierarchical topology and a custom set of channel rebalancing strategies. This family exhibits two…
A PoW-less Bitcoin with Certified Byzantine Consensus
Marco Benedetti, Francesco De Sclavis, Marco Favorito +4
Distributed Ledger Technologies (DLTs), when managed by a few trusted validators, require most but not all of the machinery available in public DLTs. In this work, we explore one p…