Łukasz Mazurek
University of Warsaw(PL)
Publications by Year
Research Areas
Cryptography and Data Security, Blockchain Technology Applications and Security, Complexity and Algorithms in Graphs, Security and Verification in Computing, Formal Methods in Verification
Most-Cited Works
- → Secure Multiparty Computations on Bitcoin(2014)360 cited
- → Fair Two-Party Computations via Bitcoin Deposits(2014)158 cited
- → On the Malleability of Bitcoin Transactions(2015)80 cited
- → Modeling Bitcoin Contracts by Timed Automata(2014)51 cited
- → How to deal with malleability of BitCoin transactions(2013)22 cited
- Fair Two-Party Computations via the BitCoin Deposits.(2013)
- → EthVer: Formal Verification of Randomized Ethereum Smart Contracts(2021)6 cited
- Secure Multiparty Computations on BitCoin.(2013)