Featured Papers
Stablecoin
Bruno Woltzenlogel Paleo, PhD
Encyclopedia of Cryptography, Security and Privacy
Djed: A Formally Verified Crypto-Backed Autonomous Stablecoin Protocol
J. Zahnentferner, D. Kaidalov, J.-F. Etienne, J. Diaz
IEEE International Conference on Blockchain and Cryptocurr.
Potential Points of Failure of Stablecoins
M. Kakebayashi, A. Nejadmalayeri, A. Bracciali, B. W. Paleo, C. White, G. Weinstein, J. Nabrzyski, K. Katayama, L. Molchanovsky, M. Yamanaka, M. Travers, T. Yuyama, Y. Kawai
Design and Formalization of Oracles for Blockchains
M. Shaheer, Prof. G. Reis, B. Woltzenlogel Paleo
Types and LPAR
Stablecoins - Past, Present and Future
Prof. A. Nejadmalayeri, L. Molchanovsky, B. Woltzenlogel Paleo, R. W. Prescott
Workshop on Coordination of Decentralized Finance
Djed: A Formally-Verified Crypto-Backed Algorithmic Stablecoin
J. Zahnentferner, D. Kaidalov, J.-E. Etienne, J. Diaz
Featured Videos
The Gluon Stabilization Protocol
Bruno Woltzenlogel Paleo, PhD
Formalization of Blockchain Oracles in Coq
Prof. Giselle Reis
Ideas for Improvements of the Djed Stablecoin Protocol
Bruno Woltzenlogel Paleo, PhD
BGIN Stablecoin Panel
Djed Alliance and Circle (USDC)
Djed Stablecoin on Cardano
David (IOG)
Overview of SigmaUSD's Smart Contracts
Amitabh Saxeena
The Release of Agenor
Robert Kornacki
A Pegged and Crypto-backed Algorithmic Stablecoin
Bruno Woltzenlogel Paleo, PhD
The Djed Stablecoin Protocol
Djed Alliance
The Stability Research Network
The Stability Research Network (SRN) is the global network for researchers with a common interest on topics related to stability.