We stand with Ukraine  

Joachim Zahnentferner

Affiliations:
  • Input Output HK, Hong Kong


According to our database1, Joachim Zahnentferner authored at least 7 papers between 2018 and 2023.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2023
hodlCoin: A Financial Game.
[BibTeX]
[DOI]
Joachim Zahnentferner
IACR Cryptol. ePrint Arch., 2023

Djed: A Formally Verified Crypto-Backed Autonomous Stablecoin Protocol.
[BibTeX]
[DOI]
Joachim Zahnentferner
,
Dmytro Kaidalov
,
Jean-Frédéric Étienne
,
Javier Díaz
Proceedings of the IEEE International Conference on Blockchain and Cryptocurrency, 2023

2021
Djed: A Formally Verified Crypto-Backed Pegged Algorithmic Stablecoin.
[BibTeX]
[DOI]
Joachim Zahnentferner
,
Dmytro Kaidalov
,
Jean-Frédéric Étienne
,
Javier Díaz
IACR Cryptol. ePrint Arch., 2021

2020
Multi-Currency Ledgers.
[BibTeX]
[DOI]
Joachim Zahnentferner
IACR Cryptol. ePrint Arch., 2020

UTXO<sub>sf ma</sub>: UTXO with Multi-asset Support.
[BibTeX]
[DOI]
Manuel M. T. Chakravarty
,
James Chapman
,
Kenneth MacKenzie
,
Orestis Melkonian
,
Jann Müller
,
Michael Peyton Jones
,
Polina Vinogradova
,
Philip Wadler
,
Joachim Zahnentferner
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Applications, 2020

2018
An Abstract Model of UTxO-based Cryptocurrencies with Scripts.
[BibTeX]
[DOI]
Joachim Zahnentferner
IACR Cryptol. ePrint Arch., 2018

Chimeric Ledgers: Translating and Unifying UTXO-based and Account-based Cryptocurrencies.
[BibTeX]
[DOI]
Joachim Zahnentferner
IACR Cryptol. ePrint Arch., 2018


  Loading...