How to deal with malleability of BitCoin transactions. - Marcin Andrychowicz; Stefan Dziembowski; Daniel Malinowski; Lukasz Mazurek (CoRR, 2013)

Fair Two-Party Computations via the BitCoin Deposits. - Marcin Andrychowicz; Stefan Dziembowski; Daniel Malinowski; Lukasz Mazurek (IACR Cryptol. ePrint Arch., 2013)

Modeling Bitcoin Contracts by Timed Automata. - Marcin Andrychowicz; Stefan Dziembowski; Daniel Malinowski; Lukasz Mazurek (FORMATS, 2014)

On the Malleability of Bitcoin Transactions. - Marcin Andrychowicz; Stefan Dziembowski; Daniel Malinowski; Lukasz Mazurek (Financial Cryptography Workshops, 2015)

Secure multiparty computations on Bitcoin. - Marcin Andrychowicz; Stefan Dziembowski; Daniel Malinowski; Lukasz Mazurek (Commun. ACM, 2016)

EthVer: Formal Verification of Randomized Ethereum Smart Contracts. - Lukasz Mazurek (Financial Cryptography Workshops, 2021)