• Publications
  • Influence
Proofs of Space
TLDR
Proofs of work (PoW) have been suggested by Dwork and Naor as protection to a shared resource and used to prevent double spending in the Bitcoin digital currency system.
FairSwap: How To Fairly Exchange Digital Goods
TLDR
FairSwap is introduced -- an efficient protocol for fair exchange of digital goods using smart contracts executed over decentralized cryptocurrencies, where the contract takes the role of an external judge that completes the exchange in case of disagreement.
Leakage-Resilient Cryptography From the Inner-Product Extractor
TLDR
It is shown that the encoding scheme used to store a cryptographic secret such that it remains information theoretically hidden, even given arbitrary continuous leakage from the storage, can be used to protect important cryptographic tasks such as identification, signing and encryption.
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.
General State Channel Networks
TLDR
The main contribution of this work is to give the first full specification for general state channel networks, and provide formal security definitions and prove the security of the construction against powerful adversaries.
Continuous Non-malleable Codes
TLDR
This paper shows how to construct continuous non-malleable codes in the common split-state model where an encoding consist of two parts and the tampering can be arbitrary but has to be independent with both parts.
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.
FastKitten: Practical Smart Contracts on Bitcoin
TLDR
FASTKITTEN is the first truly practical framework for complex smart contract execution over Bitcoin and leverages the power of trusted computing environments (TEEs), in which contracts are run off-chain to enable efficient contract execution at low cost.
Unifying Leakage Models: From Probing Attacks to Noisy Leakage
TLDR
This work provides an alternative security proof in the same noisy model that overcomes three challenges and achieves a new reduction from noisy leakage to the important theoretical model of probing adversaries.
Protecting Circuits from Leakage: the Computationally-Bounded and Noisy Cases
TLDR
A general transformation that compiles any circuit into a new, functionally equivalent circuit which is resilient against well-defined classes of leakage, based on modeling the adversary as a powerful observer that inspects the device via a limited measurement apparatus.
...
1
2
3
4
5
...