| Secure multiparty computations on bitcoin M Andrychowicz, S Dziembowski, D Malinowski, Ł Mazurek Communications of the ACM 59 (4), 76-84, 2016 | 598 | 2016 |
| 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 | 226 | 2014 |
| On the malleability of bitcoin transactions M Andrychowicz, S Dziembowski, D Malinowski, Ł Mazurek Financial Cryptography and Data Security: FC 2015 International Workshops …, 2015 | 117 | 2015 |
| Modeling bitcoin contracts by timed automata M Andrychowicz, S Dziembowski, D Malinowski, Ł Mazurek Formal Modeling and Analysis of Timed Systems: 12th International Conference …, 2014 | 59 | 2014 |
| How to deal with malleability of bitcoin transactions M Andrychowicz, S Dziembowski, D Malinowski, Ł Mazurek arXiv preprint arXiv:1312.3230, 2013 | 28 | 2013 |
| 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 | 9 | 2008 |
| EthVer: Formal verification of randomized Ethereum smart contracts Ł Mazurek International Conference on Financial Cryptography and Data Security, 364-380, 2021 | 7 | 2021 |
| Secure multiparty computations on bitcoin, 2014 M Andrychowicz, S Dziembowski, D Malinowski, Ł Mazurek 35th IEEE Symposium on Security and Privacy (Oakland). ACM, 29, 2014 | 5 | 2014 |
| 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 | | |
Stefan DziembowskiUniversity of Warsaw and IDEAS NCBRVerified email at mimuw.edu.pl
