# 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>


---

# Agent Instructions: Querying This Documentation

If you need additional information that is not directly available in this page, you can query the documentation dynamically by asking a question.

Perform an HTTP GET request on the current page URL with the `ask` query parameter:

```
GET https://docs.stability.nexus/about-us/the-stability-research-network/technical-papers.md?ask=<question>
```

The question should be specific, self-contained, and written in natural language.
The response will contain a direct answer to the question and relevant excerpts and sources from the documentation.

Use this mechanism when the answer is not explicitly present in the current page, you need clarification or additional context, or you want to retrieve related documentation sections.