Unveiling the Mechanisms of DAI: A Logic-Based Approach to Stablecoin Analysis

Francesco De Sclavis, Giuseppe Galano, Aldo Glielmo, Matteo Nardelli 0001. Unveiling the Mechanisms of DAI: A Logic-Based Approach to Stablecoin Analysis. In 2025 IEEE International Conference on Blockchain and Cryptocurrency, ICBC 2025, Pisa, Italy, June 2-6, 2025. pages 1-5, IEEE, 2025. [doi]

Abstract

Abstract is missing.