Autor der Publikation

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

EthVer: Formal Verification of Randomized Ethereum Smart Contracts.. Financial Cryptography Workshops, Volume 12676 von Lecture Notes in Computer Science, Seite 364-380. Springer, (2021)Secure Multiparty Computations on Bitcoin., , , und . IEEE Symposium on Security and Privacy, Seite 443-458. IEEE Computer Society, (2014)Fair Two-Party Computations via Bitcoin Deposits., , , und . Financial Cryptography Workshops, Volume 8438 von Lecture Notes in Computer Science, Seite 105-121. Springer, (2014)How to deal with malleability of BitCoin transactions., , , und . CoRR, (2013)On the Malleability of Bitcoin Transactions., , , und . Financial Cryptography Workshops, Volume 8976 von Lecture Notes in Computer Science, Seite 1-18. Springer, (2015)Modeling Bitcoin Contracts by Timed Automata., , , und . FORMATS, Volume 8711 von Lecture Notes in Computer Science, Seite 7-22. Springer, (2014)Wavefront sensor with Fresnel zone plates for use in an undergraduate laboratory, , , und . American Journal of Physics, 76 (3): 229-235 (2008)