Author of the publication

Babel Fees via Limited Liabilities.

, , , , and . ACNS, volume 13269 of Lecture Notes in Computer Science, page 707-726. Springer, (2022)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

UTXOsf ma: UTXO with Multi-asset Support., , , , , , , , and . ISoLA (3), volume 12478 of Lecture Notes in Computer Science, page 112-130. Springer, (2020)Distributed Haskell: Goffin on the Internet., , and . Fuji International Symposium on Functional and Logic Programming, page 80-97. World Scientific, Singapore, (1998)GOFFIN: Higher-Order Functions Meet Concurrent Constraints., , and . CCP, page 6:1-6:15. INRIA Rocquencourt, (1995)Babel Fees via Limited Liabilities., , , , and . ACNS, volume 13269 of Lecture Notes in Computer Science, page 707-726. Springer, (2022)Structured Contracts in the EUTxO Ledger Model., , , , , , , and . FMBC@CAV, volume 118 of OASIcs, page 10:1-10:19. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2024)C -> HASKELL, or Yet Another Interfacing Tool.. IFL, volume 1868 of Lecture Notes in Computer Science, page 131-148. Springer, (1999)Hydra: Fast Isomorphic State Channels., , , , , , and . IACR Cryptology ePrint Archive, (2020)Translation certification for smart contracts., , , and . Sci. Comput. Program., (2024)Translation Certification for Smart Contracts., , , and . FLOPS, volume 13215 of Lecture Notes in Computer Science, page 94-111. Springer, (2022)The Extended UTXO Model., , , , , and . Financial Cryptography Workshops, volume 12063 of Lecture Notes in Computer Science, page 525-539. Springer, (2020)