Lukasz Mazurek

According to our database, Lukasz Mazurek authored at least 6 papers between 2013 and 2021.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2021

EthVer: Formal Verification of Randomized Ethereum Smart Contracts.

Lukasz Mazurek

Proceedings of the Financial Cryptography and Data Security. FC 2021 International Workshops, 2021

2015

On the Malleability of Bitcoin Transactions.

Marcin Andrychowicz, Stefan Dziembowski, Daniel Malinowski, Lukasz Mazurek

Proceedings of the Financial Cryptography and Data Security, 2015

2014

Secure Multiparty Computations on Bitcoin.

Marcin Andrychowicz, Stefan Dziembowski, Daniel Malinowski, Lukasz Mazurek

Proceedings of the 2014 IEEE Symposium on Security and Privacy, 2014

Modeling Bitcoin Contracts by Timed Automata.

Marcin Andrychowicz, Stefan Dziembowski, Daniel Malinowski, Lukasz Mazurek

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2014

Fair Two-Party Computations via Bitcoin Deposits.

Marcin Andrychowicz, Stefan Dziembowski, Daniel Malinowski, Lukasz Mazurek

Proceedings of the Financial Cryptography and Data Security, 2014

2013

How to deal with malleability of BitCoin transactions.

Marcin Andrychowicz, Stefan Dziembowski, Daniel Malinowski, Lukasz Mazurek

CoRR, 2013