3 papers
cs.CR2026
Thresholding Post-Quantum Signatures
Francesco De Sclavis, Matteo Nardelli, Marco Pedicini
Threshold signature schemes distribute the signing process among parties out of . They enable a variety of applications and their research is also motivated by a recent NIST…
cs.CR2025
A Hitchhiker's Guide to Privacy-Preserving Digital Payment Systems: A Survey on Anonymity, Confidentiality, and Auditability
Matteo Nardelli, Francesco De Sclavis, Michela Iezzi
Crypto-assets and central bank digital currencies (CBDCs) are reshaping how value is exchanged in distributed computing environments. These systems combine cryptographic primitives…
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…