2 papers
cs.CR2024
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…
cs.DC2024
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…