# Papers

<table><thead><tr><th width="238">Title</th><th width="129.33333333333331">Date</th><th width="184">Authors</th><th>Comments</th></tr></thead><tbody><tr><td><a href="https://bgin-global.org/documents/20230724_PoF_of_Stablecoins.pdf">Potential Points of Failure of Stablecoins</a></td><td>2023-07-25</td><td>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</td><td>In collaboration with the <a href="https://bgin-global.org/">Blockchain Governance Innitiative Network</a>.</td></tr><tr><td>Formalization of Blockchain Oracles in Coq (<a href="https://types2023.webs.upv.es/slides/S19/TYPES2023-Shaheer-Reis-Woltzenlogel-Paleo.pdf">Slides</a>, <a href="https://media.upv.es/#/portal/video/14bf81a0-34f9-11ee-8317-3dc1d7f6252c">Recording</a>)</td><td>2023-06-12</td><td><a href="https://www.linkedin.com/in/mohammad-shaheer-aa622b194/">Mohammad Shaheer</a>, <a href="http://www.gisellereis.com/">Giselle Reis</a> and <a href="https://www.linkedin.com/in/brunowp/">Bruno Woltzenlogel Paleo</a></td><td>Accepted at <a href="https://types2023.webs.upv.es/Accepted.html">TYPES</a> and as a presentation paper at <a href="https://easychair.org/cfp/LPAR2023">LPAR</a>.</td></tr><tr><td><a href="https://link.springer.com/referenceworkentry/10.1007/978-3-642-27739-9_1671-1">Stablecoin</a></td><td>2023-05-31</td><td>Bruno Woltzenlogel Paleo</td><td>Invited Chapter in the <a href="https://link.springer.com/referencework/10.1007/978-3-642-27739-9">Encyclopedia of Cryptography, Security and Privacy</a>.</td></tr><tr><td><a href="https://ieeexplore.ieee.org/document/10174901">Djed: A Formally Verified Crypto-Backed Autonomous Stablecoin Protocol</a></td><td>2023-05-03</td><td>Joachim Zahnentferner, Dmytro Kaidalov, Jean-Frédéric Etienne, Javier Díaz</td><td>Accepted at the <a href="https://icbc2023.ieee-icbc.org/program">IEEE International Conference on Blockchain and Cryptocurrency</a>.</td></tr><tr><td><a href="https://papers.ssrn.com/sol3/papers.cfm?abstract_id=4226071">Stablecoins - Past, Present and Future</a></td><td>2022-10-19</td><td>Ali Nejadmalayeri, Leon Molchanovsky, Bruno Woltzenlogel Paleo, Rodney W Prescott</td><td>In collaboration with the <a href="https://bgin-global.org/">Blockchain Governance Innitiative Network</a>.</td></tr><tr><td><a href="https://eprint.iacr.org/2021/1069">Djed: A Formally Verified Crypto-Backed Pegged Algorithmic Stablecoin</a></td><td>2021-08-23</td><td>Joachim Zahnentferner, Dmytro Kaidalov, Jean-Frédéric Etienne, Javier Díaz</td><td>Describes the Minimal and Extended Djed protocols.</td></tr></tbody></table>