22 citations · 29 across the 2 of their papers we have counts for
2 papers
cs.CR2014★ 7 cited
Modeling Bitcoin Contracts by Timed Automata
Marcin Andrychowicz, Stefan Dziembowski, Daniel Malinowski +1
Bitcoin is a peer-to-peer cryptographic currency system. Since its introduction in 2008, Bitcoin has gained noticeable popularity, mostly due to its following properties: (1) the t…
cs.CR2013★ 22 cited
How to deal with malleability of BitCoin transactions
Marcin Andrychowicz, Stefan Dziembowski, Daniel Malinowski +1
BitCoin transactions are malleable in a sense that given a transaction an adversary can easily construct an equivalent transaction which has a different hash. This can pose a serio…