publications | Crypto@UW

Secure multiparty computations on Bitcoin

ACM

Marcin Andrychowicz, Stefan Dziembowski, Daniel Malinowski, Łukasz Mazurek

Communications of the ACM 59(4), 2016 (a short version of the IEEE S&P 2014 paper)

On the Malleability of Bitcoin Transactions

Springer

Marcin Andrychowicz, Stefan Dziembowski, Daniel Malinowski, Lukasz Mazurek

Workshop on Bitcoin Research, BITCOIN 2015

Modeling Bitcoin Contracts by Timed Automata

arXiv

Marcin Andrychowicz, Stefan Dziembowski, Daniel Malinowski, Lukasz Mazurek

Formal Modeling and Analysis of Timed Systems, FORMATS 2014

Secure Multiparty Computations on Bitcoin

Eprint

Marcin Andrychowicz, Stefan Dziembowski, Daniel Malinowski, Łukasz Mazurek

IEEE Symposium on Security and Privacy, IEEE S&P 2014 (BEST PAPER AWARD)

Fair Two-Party Computations via Bitcoin Deposits

Pdf

Marcin Andrychowicz, Stefan Dziembowski, Daniel Malinowski, Łukasz Mazurek

Workshop on Bitcoin Research, BITCOIN 2014