Author of the publication

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

A Formal Model of Bitcoin Transactions., , , and . Financial Cryptography, volume 10957 of Lecture Notes in Computer Science, page 541-560. Springer, (2018)Faderank: An Incremental Algorithm for Ranking Twitter Users., , and . WISE (2), volume 10042 of Lecture Notes in Computer Science, page 55-69. (2016)A Proof-of-Stake Protocol for Consensus on Bitcoin Subchains., , and . Financial Cryptography Workshops, volume 10323 of Lecture Notes in Computer Science, page 568-584. Springer, (2017)Verification of recursive Bitcoin contracts., , , and . CoRR, (2020)Computationally sound Bitcoin tokens., , and . CSF, page 1-15. IEEE, (2021)SoK: Unraveling Bitcoin Smart Contracts., , , , and . POST, volume 10804 of Lecture Notes in Computer Science, page 217-242. Springer, (2018)Verifying liquidity of recursive Bitcoin contracts., , , and . Log. Methods Comput. Sci., (2022)A general framework for blockchain analytics., , , and . SERIAL@Middleware, page 7:1-7:6. ACM, (2017)Bitcoin Covenants Unchained., , and . ISoLA (3), volume 12478 of Lecture Notes in Computer Science, page 25-42. Springer, (2020)Developing secure bitcoin contracts with BitML., , , , and . ESEC/SIGSOFT FSE, page 1124-1128. ACM, (2019)