Joachim Zahnentferner

Publication Activity (10 Years)

Years Active: 2018-2023
Publications (10 Years): 7

Top Topics

Cryptographic Algorithms

Autonomous Systems

Coloured Petri Nets

Banking Industry

Top Venues

IACR Cryptol. ePrint Arch.

Publications

Joachim Zahnentferner
hodlCoin: A Financial Game. IACR Cryptol. ePrint Arch. 2023 (2023)
Joachim Zahnentferner, Dmytro Kaidalov, Jean-Frédéric Étienne, Javier Díaz
Djed: A Formally Verified Crypto-Backed Autonomous Stablecoin Protocol. ICBC (2023)
Joachim Zahnentferner, Dmytro Kaidalov, Jean-Frédéric Etienne, Javier Díaz
Djed: A Formally Verified Crypto-Backed Pegged Algorithmic Stablecoin. IACR Cryptol. ePrint Arch. 2021 (2021)
Manuel M. T. Chakravarty, James Chapman, Kenneth MacKenzie, Orestis Melkonian, Jann Müller, Michael Peyton Jones, Polina Vinogradova, Philip Wadler, Joachim Zahnentferner
: UTXO with Multi-asset Support. ISoLA (3) (2020)
Joachim Zahnentferner
Multi-Currency Ledgers. IACR Cryptol. ePrint Arch. 2020 (2020)
Joachim Zahnentferner
Chimeric Ledgers: Translating and Unifying UTXO-based and Account-based Cryptocurrencies. IACR Cryptol. ePrint Arch. 2018 (2018)
Joachim Zahnentferner
An Abstract Model of UTxO-based Cryptocurrencies with Scripts. IACR Cryptol. ePrint Arch. 2018 (2018)