Volgen
Łukasz Mazurek
Łukasz Mazurek
PhD student, Institute of Informatics, University of Warsaw
Geverifieerd e-mailadres voor mimuw.edu.pl - Homepage
Titel
Geciteerd door
Geciteerd door
Jaar
Secure multiparty computations on bitcoin
M Andrychowicz, S Dziembowski, D Malinowski, Ł Mazurek
Communications of the ACM 59 (4), 76-84, 2016
5722016
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
2102014
On the malleability of bitcoin transactions
M Andrychowicz, S Dziembowski, D Malinowski, Ł Mazurek
Financial Cryptography and Data Security: FC 2015 International Workshops …, 2015
1112015
Modeling bitcoin contracts by timed automata
M Andrychowicz, S Dziembowski, D Malinowski, Ł Mazurek
Formal Modeling and Analysis of Timed Systems: 12th International Conference …, 2014
602014
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
EthVer: Formal verification of randomized Ethereum smart contracts
Ł Mazurek
Financial Cryptography and Data Security. FC 2021 International Workshops …, 2021
42021
How to deal with malleability of bitcoin transactions (2013)
M Andrychowicz, S Dziembowski, D Malinowski, L Mazurek
CoRR, abs/1312.3230, 0
3
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
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–11