Lukasz Mazurek

Orcid: 0000-0003-3296-3138

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.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Links

On csauthors.net:

Bibliography

2021

EthVer: Formal Verification of Randomized Ethereum Smart Contracts.

[BibT_eX]

[DOI]

Lukasz Mazurek

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

2016

Secure multiparty computations on Bitcoin.

[BibT_eX]

[DOI]

Commun. ACM, 2016

2015

On the Malleability of Bitcoin Transactions.

[BibT_eX]

[DOI]

Proceedings of the Financial Cryptography and Data Security, 2015

2014

Modeling Bitcoin Contracts by Timed Automata.

[BibT_eX]

[DOI]

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

2013

Fair Two-Party Computations via the BitCoin Deposits.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2013

How to deal with malleability of BitCoin transactions.

[BibT_eX]

[DOI]

CoRR, 2013

Lukasz Mazurek

Timeline

Legend:

Links

On csauthors.net:

Bibliography

Loading...