Follow
Joachim Zahnentferner
Joachim Zahnentferner
Unknown affiliation
Verified email at iohk.io
Title
Cited by
Cited by
Year
Chimeric ledgers: Translating and unifying utxo-based and account-based cryptocurrencies
J Zahnentferner
Cryptology ePrint Archive, 2018
642018
An abstract model of UTxO-based cryptocurrencies with scripts
J Zahnentferner
Cryptology ePrint Archive, 2018
142018
UTXO: UTXO with Multi-asset Support
MMT Chakravarty, J Chapman, K MacKenzie, O Melkonian, J Müller, ...
International symposium on leveraging applications of formal methods, 112-130, 2020
122020
Djed: A formally verified crypto-backed pegged algorithmic stablecoin
J Zahnentferner, D Kaidalov, JF Etienne, J Díaz
Cryptology ePrint Archive, 2021
82021
Djed: a formally verified crypto-backed autonomous stablecoin protocol
J Zahnentferner, D Kaidalov, JF Etienne, J Díaz
2023 IEEE International Conference on Blockchain and Cryptocurrency (ICBC), 1-9, 2023
32023
Multi-currency ledgers
J Zahnentferner
Cryptology ePrint Archive, 2020
32020
hodlCoin: A Financial Game
J Zahnentferner
Cryptology ePrint Archive, 2023
2023
The system can't perform the operation now. Try again later.
Articles 1–7