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.

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.

Papers & Presentations - Previous

Study Reports

Next - Papers & Presentations

Presentations

Last modified 3mo ago