Featured Papers

Research paper cover

Stablecoin

Bruno Woltzenlogel Paleo, PhD
Encyclopedia of Cryptography, Security and Privacy

Research paper cover

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.

Research paper cover

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

Research paper cover

Design and Formalization of Oracles for Blockchains

M. Shaheer, Prof. G. Reis, B. Woltzenlogel Paleo
Types and LPAR

Research paper cover

Stablecoins - Past, Present and Future

Prof. A. Nejadmalayeri, L. Molchanovsky, B. Woltzenlogel Paleo, R. W. Prescott
Workshop on Coordination of Decentralized Finance

Research paper cover

Djed: A Formally-Verified Crypto-Backed Algorithmic Stablecoin

J. Zahnentferner, D. Kaidalov, J.-E. Etienne, J. Diaz

Research paper cover

Orb: Formally Verified, Decentralized and Sustainable Oracles

J. Zahnentferner, S. Dengre, L. D'Angelo, L. Quilling

Research paper cover

Fate Protocol: Perpetual Prediction Pools

J. Zahnentferner, A. Jha, R. Shah
1st Stability Workshop

Research paper cover

RainDrop: Reward Distribution Protocol

J. Zahnentferner, S. Dengre
1st Stability Workshop

Research paper cover

Djed Shu: A Stablecoin Protocol with Two Oracle Prices

J. Zahnentferner, Y. Agrawal
1st Stability Workshop

Research paper cover

Orb: Decentralized and Sustainable Oracles

J. Zahnentferner, S. Dengre, L. D'Angelo
1st Stability Workshop

Research paper cover

Gluon W: A Cryptocurrency Stabilization Protocol

B. Woltzenlogel Paleo, L. D'Angelo, M. Shaheer, G. Reis
Cryptology ePrint Archive

Research paper cover

hodlCoin: A Staking Protocol

J. Zahnentferner, L. D'Angelo
Cryptology ePrint Archive

Research paper cover

hodlCoin: A Financial Game

J. Zahnentferner
Cryptology ePrint Archive

Research paper cover

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

Research paper cover

Multi-Currency Ledgers

J. Zahnentferner
Cryptology ePrint Archive

Research paper cover

An Abstract Model of UTxO-based Cryptocurrencies with Scripts

J. Zahnentferner
Cryptology ePrint Archive

Research paper cover

Chimeric Ledgers: Translating and Unifying UTXO & Account-based Cryptocurrencies

J. Zahnentferner
Cryptology ePrint Archive

Featured Videos

The Stability Research Network

The Stability Research Network (SRN) is the global network for researchers with a common interest on topics related to stability.