Łukasz Mazurek
Łukasz Mazurek
PhD student, Institute of Informatics, University of Warsaw
Verified email at mimuw.edu.pl - Homepage
Title
Cited by
Cited by
Year
Secure multiparty computations on bitcoin
M Andrychowicz, S Dziembowski, D Malinowski, L Mazurek
2014 IEEE Symposium on Security and Privacy, 443-458, 2014
4562014
Fair two-party computations via bitcoin deposits
M Andrychowicz, S Dziembowski, D Malinowski, Ł Mazurek
International Conference on Financial Cryptography and Data Security, 105-121, 2014
1722014
On the malleability of bitcoin transactions
M Andrychowicz, S Dziembowski, D Malinowski, Ł Mazurek
International Conference on Financial Cryptography and Data Security, 1-18, 2015
832015
Modeling bitcoin contracts by timed automata
M Andrychowicz, S Dziembowski, D Malinowski, Ł Mazurek
International Conference on Formal Modeling and Analysis of Timed Systems, 7-22, 2014
482014
How to deal with malleability of bitcoin transactions
M Andrychowicz, S Dziembowski, D Malinowski, Ł Mazurek
arXiv preprint arXiv:1312.3230, 2013
202013
Wavefront sensor with Fresnel zone plates for use in an undergraduate laboratory
P Migdał, P Fita, C Radzewicz, Ł Mazurek
American Journal of Physics 76 (3), 229-235, 2008
72008
Secure Multiparty Computations on Bitcoin, 2014
M Andrychowicz, S Dziembowski, D Malinowski, Ł Mazurek
35th IEEE Symposium on Security and Privacy (Oakland). ACM, 0
4
How to deal with malleability of bitcoin transactions, 2013
M Andrychowicz, S Dziembowski, D Malinowski, L Mazurek
CoRR, abs/1312.3230, 0
3
EthVer: Formal Verification of Randomized Ethereum Smart Contracts
Ł Mazurek
International Conference on Financial Cryptography and Data Security, 364-380, 2021
2021
Poster: Modelling Bitcoin Contracts by Timed Automata
M Andrychowicz, S Dziembowski, D Malinowski, Ł Mazurek
The system can't perform the operation now. Try again later.
Articles 1–10