Research and Development
of Novel Technologies for
Greater Global Stability
Advancing decentralization and autonomy through
formal methods and rigorous software engineering
Research Library25+ Peer-Reviewed Publications
Highlights of Our Research Output
Peer-reviewed papers on decentralized financial primitives and protocols
that promote stability, trust, autonomy and resilience, and power 10+ applications.
Djed: A Formally Verified Crypto-Backed Autonomous Stablecoin Protocol
J. Zahnentferner, D. Kaidalov, J.-F. Etienne, J. Diaz
IEEE ICBC · 2023
Orb: Formally Verified, Decentralized and Sustainable Oracles
J. Zahnentferner, S. Dengre, L. D'Angelo, L. Quilling
Stability Nexus · 2026
Gluon W: A Cryptocurrency Stabilization Protocol
B. Woltzenlogel Paleo, L. D'Angelo, M. Shaheer, G. Reis
Cryptology ePrint · 2025