Technical Papers

Title	Date	Authors	Comments
Djed: A Formally Verified Crypto-Backed Pegged Algorithmic Stablecoin	2021-08-23	Joachim Zahnentferner, Dmytro Kaidalov, Jean-Frédéric Etienne, Javier Díaz	Describes the Minimal and Extended Djed protocols.
Djed: A Formally Verified Crypto-Backed Autonomous Stablecoin Protocol	2023-05-03	Joachim Zahnentferner, Dmytro Kaidalov, Jean-Frédéric Etienne, Javier Díaz	Accepted at the IEEE International Conference on Blockchain and Cryptocurrency.
Stablecoin	2023-05-31	Bruno Woltzenlogel Paleo	Invited Chapter in the Encyclopedia of Cryptography, Security and Privacy.
Formalization of Blockchain Oracles in Coq (Slides, Recording)	2023-06-12	Mohammad Shaheer, Giselle Reis and Bruno Woltzenlogel Paleo	Accepted at TYPES and as a presentation paper at LPAR.