Featured Papers
View Papers Repository
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
Orb: Formally Verified, Decentralized and Sustainable Oracles
J. Zahnentferner, S. Dengre, L. D'Angelo, L. Quilling
Fate Protocol: Perpetual Prediction Pools
J. Zahnentferner, A. Jha, R. Shah
1st Stability Workshop
RainDrop: Reward Distribution Protocol
J. Zahnentferner, S. Dengre
1st Stability Workshop
Djed Shu: A Stablecoin Protocol with Two Oracle Prices
J. Zahnentferner, Y. Agrawal
1st Stability Workshop
Orb: Decentralized and Sustainable Oracles
J. Zahnentferner, S. Dengre, L. D'Angelo
1st Stability Workshop
Gluon W: A Cryptocurrency Stabilization Protocol
B. Woltzenlogel Paleo, L. D'Angelo, M. Shaheer, G. Reis
Cryptology ePrint Archive
hodlCoin: A Staking Protocol
J. Zahnentferner, L. D'Angelo
Cryptology ePrint Archive
hodlCoin: A Financial Game
J. Zahnentferner
Cryptology ePrint Archive
UTXOsf ma: UTXO with Multi-asset Support
M. Chakravarty, J. Chapman, K. MacKenzie, O. Melkonian, J. Müller, M. Peyton Jones, P. Vinogradova, P. Wadler, J. Zahnentferner
Springer LNCS
Multi-Currency Ledgers
J. Zahnentferner
Cryptology ePrint Archive
An Abstract Model of UTxO-based Cryptocurrencies with Scripts
J. Zahnentferner
Cryptology ePrint Archive
Chimeric Ledgers: Translating and Unifying UTXO & Account-based Cryptocurrencies
J. Zahnentferner
Cryptology ePrint Archive
Research Talks
Talks, panels, and presentations by Stability Nexus researchers — covering stablecoins, oracles, prediction markets, and formal verification.
The Stability Research Network
The Stability Research Network (SRN) is the global network for researchers with a common interest on topics related to stability.