Papers

Title	Date	Authors	Comments
Potential Points of Failure of Stablecoins	2023-07-25	Michi Kakebayashi, Ali Nejadmalayeri, Andrea Bracciali, Bruno Woltzenlogel Paleo, Chloe White, Gary Weinstein, Jarek Nabrzyski, Ken Katayama, Leon Molchanovsky, Masato Yamanaka, Mitchell Travers, Tomonori Yuyama, Yuko Kawai	In collaboration with the Blockchain Governance Innitiative Network.
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.
Stablecoin	2023-05-31	Bruno Woltzenlogel Paleo	Invited Chapter in the Encyclopedia of Cryptography, Security and Privacy.
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.
Stablecoins - Past, Present and Future	2022-10-19	Ali Nejadmalayeri, Leon Molchanovsky, Bruno Woltzenlogel Paleo, Rodney W Prescott	In collaboration with the Blockchain Governance Innitiative Network.
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.