Follow
Ł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, Ł Mazurek
Communications of the ACM 59 (4), 76-84, 2016
5692016
Fair two-party computations via bitcoin deposits
M Andrychowicz, S Dziembowski, D Malinowski, Ł Mazurek
Financial Cryptography and Data Security: FC 2014 Workshops, BITCOIN and …, 2014
2082014
On the malleability of bitcoin transactions
M Andrychowicz, S Dziembowski, D Malinowski, Ł Mazurek
Financial Cryptography and Data Security: FC 2015 International Workshops …, 2015
1092015
Modeling bitcoin contracts by timed automata
M Andrychowicz, S Dziembowski, D Malinowski, Ł Mazurek
Formal Modeling and Analysis of Timed Systems: 12th International Conference …, 2014
582014
How to deal with malleability of bitcoin transactions
M Andrychowicz, S Dziembowski, D Malinowski, Ł Mazurek
arXiv preprint arXiv:1312.3230, 2013
252013
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
82008
Secure multiparty computations on bitcoin, 2014
M Andrychowicz, S Dziembowski, D Malinowski, Ł Mazurek
35th IEEE Symposium on Security and Privacy (Oakland). ACM, 29, 2014
52014
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
Financial Cryptography and Data Security. FC 2021 International Workshops …, 2021
22021
The magazine archive includes every article published in Communications of the ACM for over the past 50 years.
M Andrychowicz, S Dziembowski, D Malinowski, Ł Mazurek
Communications of the ACM 59 (4), 76-84, 2016
2016
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–11