Technical Papers

TitleDateAuthorsComments

2021-08-23

Joachim Zahnentferner, Dmytro Kaidalov, Jean-Frédéric Etienne, Javier Díaz

Describes the Minimal and Extended Djed protocols.

2023-05-03

Joachim Zahnentferner, Dmytro Kaidalov, Jean-Frédéric Etienne, Javier Díaz

2023-05-31

Bruno Woltzenlogel Paleo

Formalization of Blockchain Oracles in Coq (Slides, Recording)

2023-06-12

Accepted at TYPES and as a presentation paper at LPAR.

Last updated