• Publications
  • Influence
Secure Multiparty Computations on Bitcoin
TLDR
The Bit coin system can be used to go beyond the standard "emulation-based" definition of the MPCs, by constructing protocols that link their inputs and the outputs with the real Bit coin transactions.
Perun: Virtual Payment Hubs over Cryptocurrencies
TLDR
This work introduces Perun, an off-chain channel system that offers a new method for connecting channels that is more efficient than the existing technique of ``routing transactions'' over multiple channels, and formally model and prove security of this technique in the case of one intermediary.
PERUN: Virtual Payment Channels over Cryptographic Currencies
TLDR
Perun is introduced, a new system for payment and state channels over cryptographic currencies, that has several advantages over the existing proposals and offers a new method for connecting channels that is more efficient than the existing technique of “routing transactions” over multiple channels.
Fair Two-Party Computations via Bitcoin Deposits
TLDR
The Bitcoin currency system can be used to obtain fairness in any two-party secure computation protocol in the following sense: if one party aborts the protocol after learning the output then the other party gets a financial compensation (in bitcoins).
Efficient Zero-Knowledge Contingent Payments in Cryptocurrencies Without Scripts
TLDR
Although smart contracts are believed to have a huge potential, for the moment they are not widely used in practice, because most of Bitcoin miners allow only to post standard transactions on the blockchain, it is currently very hard to create non-trivial smart contracts in Bitcoin.
Secure Multiparty Computations on Bitcoin
TLDR
The Bit coin system can be used to go beyond the standard "emulation-based" definition of the MPCs, by constructing protocols that link their inputs and the outputs with the real Bit coin transactions.
On the Malleability of Bitcoin Transactions
TLDR
The behavior of the popular Bitcoin wallets in the situation when their transactions are mauled is analyzed; it is concluded that most of them are to some extend not able to handle this situation correctly.
Modeling Bitcoin Contracts by Timed Automata
TLDR
Although the Bitcoin contracts have several potential applications in the digital economy, so far they have not been widely used in real life, partly due to the fact that they are cumbersome to create and analyze, and hence risky to use.
How to deal with malleability of BitCoin transactions
TLDR
This short note shows a general technique for creating malleability-resilient "refund" transactions, which does not require any modification of the BitCoin protocol.
PERUN : Virtual Payment Hubs over Cryptographic Currencies
TLDR
This work introduces Perun, an off-chain channel system that offers a novel method for connecting channels that is more efficient than the existing technique of “routing transactions” over multiple channels, and formally model and prove security of this technique for routing payments over one intermediary.
...
1
2
...