Secure multiparty computations on Bitcoin
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
Marcin Andrychowicz, Stefan Dziembowski, Daniel Malinowski, Lukasz Mazurek
Workshop on Bitcoin Research, BITCOIN 2015
Modeling Bitcoin Contracts by Timed Automata
Marcin Andrychowicz, Stefan Dziembowski, Daniel Malinowski, Lukasz Mazurek
Formal Modeling and Analysis of Timed Systems, FORMATS 2014
Fair Two-Party Computations via Bitcoin Deposits
Marcin Andrychowicz, Stefan Dziembowski, Daniel Malinowski, Łukasz Mazurek
Workshop on Bitcoin Research, BITCOIN 2014
Secure Multiparty Computations on Bitcoin
Marcin Andrychowicz, Stefan Dziembowski, Daniel Malinowski, Łukasz Mazurek
IEEE Symposium on Security and Privacy, IEEE S&P 2014 (BEST PAPER AWARD)