Cover Image

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

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	De Sclavis, Francesco, Galano, Giuseppe, Glielmo, Aldo, Nardelli, Matteo
Format:	Preprint
Published:	2024
Subjects:	Cryptography and Security Distributed, Parallel, and Cluster Computing Logic in Computer Science
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

A Hitchhiker's Guide to Privacy-Preserving Digital Payment Systems: A Survey on Anonymity, Confidentiality, and Auditability
by: Nardelli, Matteo, et al.
Published: (2025)

ChonkyBFT: Consensus Protocol of ZKsync
by: França, Bruno, et al.
Published: (2025)

Towards a Formal Verification of Secure Vehicle Software Updates
by: Hagen, Martin Slind, et al.
Published: (2025)

Fast and Secure Decentralized Optimistic Rollups Using Setchain
by: Capretto, Margarita, et al.
Published: (2024)

LOGSAFE: Logic-Guided Verification for Trustworthy Federated Time-Series Learning
by: Nguyen, Dung Thuy, et al.
Published: (2024)

Self-Balancing Semi-Hierarchical PCNs for CBDCs
by: Benedetti, Marco, et al.
Published: (2024)

GLP: A Grassroots, Multiagent, Concurrent, Logic Programming Language
by: Shapiro, Ehud
Published: (2025)

Cross-Blockchain Communication Using Oracles With an Off-Chain Aggregation Mechanism Based on zk-SNARKs
by: Sober, Michael, et al.
Published: (2024)

Performance Analysis of Decentralized Physical Infrastructure Networks and Centralized Clouds
by: von der Assen, Jan, et al.
Published: (2024)

Automated Selfish Mining Analysis for DAG-Based PoW Consensus Protocols
by: Keller, Patrik
Published: (2025)

An Approach for Decentralized Authentication in Networks of UAVs
by: Jäger, Nicholas, et al.
Published: (2024)

Ark: Offchain Transaction Batching in Bitcoin
by: Keer, Pim, et al.
Published: (2026)

Redactable Blockchains: An Overview
by: Calandra, Federico, et al.
Published: (2025)

Collaborative Access Control for IoT -- A Blockchain Approach
by: Huang, Yongtao, et al.
Published: (2024)

FedGuard: A Diverse-Byzantine-Robust Mechanism for Federated Learning with Major Malicious Clients
by: Jiang, Haocheng, et al.
Published: (2025)

Chop Chop: Byzantine Atomic Broadcast to the Network Limit
by: Camaioni, Martina, et al.
Published: (2023)

Goldfish: No More Attacks on Ethereum?!
by: D'Amato, Francesco, et al.
Published: (2022)

GPU Acceleration of Learning With Errors KEMs Using OpenACC for Post-Quantum Cryptography
by: Liberati, Tiziana, et al.
Published: (2026)

Comparative Analysis of Cross-Chain Token Standards
by: Soureshjani, Fatemeh Heidari, et al.
Published: (2026)

Cyberattack Data Analysis in IoT Environments using Big Data
by: Patidar, Neelam, et al.
Published: (2024)

Static Analysis for Detecting Transaction Conflicts in Ethereum Smart Contracts
by: Chahoki, Atefeh Zareh, et al.
Published: (2025)

Blockchain-Based Transferable Digital Rights of Land
by: Dwivedi, Ras, et al.
Published: (2023)

A Comparative Analysis of zk-SNARKs and zk-STARKs: Theory and Practice
by: Nainwal, Ayush, et al.
Published: (2025)

Efficient Query Verification for Blockchain Superlight Clients Using SNARKs
by: De Angelis, Stefano, et al.
Published: (2025)

Towards Proxy Staking Accounts Based on NFTs in Ethereum
by: Valaštín, Viktor, et al.
Published: (2024)

Obelia: Scaling DAG-Based Blockchains to Hundreds of Validators
by: Danezis, George, et al.
Published: (2024)

ALBERTA: ALgorithm-Based Error Resilience in Transformer Architectures
by: Liu, Haoxuan, et al.
Published: (2023)

Regular Model Checking Upside-Down: An Invariant-Based Approach
by: Esparza, Javier, et al.
Published: (2022)

Reliability Analysis of Smart Contract Execution Architectures: A Comparative Simulation Study
by: Gürcan, Önder
Published: (2025)

Adversarial Analysis of the Differentially-Private Federated Learning in Cyber-Physical Critical Infrastructures
by: Hossain, Md Tamjid, et al.
Published: (2022)

Head Count: Privacy-Preserving Face-Based Crowd Monitoring
by: Marzani, Fatemeh, et al.
Published: (2026)

Bullshark on Narwhal: Implementation-level Workflow Analysis of Round-based DAG Consensus in Theory and Practice
by: Tanaka, Yusei
Published: (2025)

Voyager: MTD-Based Aggregation Protocol for Mitigating Poisoning Attacks on DFL
by: Feng, Chao, et al.
Published: (2023)

Developing a Blockchain-Based Secure Digital Contents Distribution System
by: Qadri, Syed Mohiuddin, et al.
Published: (2025)

A Range-Based Sharding (RBS) Protocol for Scalable Enterprise Blockchain
by: Haider, M. Z., et al.
Published: (2025)

Analyzing Performance Bottlenecks in Zero-Knowledge Proof Based Rollups on Ethereum
by: Habib, Md. Ahsan
Published: (2025)

Zero-Knowledge Proof-Based Consensus for Blockchain-Secured Federated Learning
by: Fu, Tianxing, et al.
Published: (2025)

Mahi-Mahi: Low-Latency Asynchronous BFT DAG-Based Consensus
by: Jovanovic, Philipp, et al.
Published: (2024)

Variational Autoencoder-Based Black-Box Adversarial Attack on Collaborative DNN Inference
by: Yousefi, Shima, et al.
Published: (2025)

SoK: Concurrency in Blockchain -- A Systematic Literature Review and the Unveiling of a Misconception
by: Chahoki, Atefeh Zareh, et al.
Published: (2025)