• Publications
  • Influence
On the Security and Performance of Proof of Work Blockchains
TLDR
This paper introduces a novel quantitative framework to analyse the security and performance implications of various consensus and network parameters of PoW blockchains and devise optimal adversarial strategies for double-spending and selfish mining while taking into account real world constraints.
Securify: Practical Security Analysis of Smart Contracts
TLDR
An extensive evaluation of Securify over real-world Ethereum smart contracts is presented and it is demonstrated that it can effectively prove the correctness of smart contracts and discover critical violations.
Do you Need a Blockchain?
TLDR
This paper critically analyze whether a blockchain is indeed the appropriate technical solution for a particular application scenario, and distinguishes between permissionless and permissioned blockchains and contrast their properties to those of a centrally managed database.
ROTE: Rollback Protection for Trusted Execution
TLDR
A model that captures adversarial ability to schedule enclave execution is constructed and it is shown that the solution achieves a strong security property: the only way to violate integrity is to reset all participating platforms to their initial state.
Revive: Rebalancing Off-Blockchain Payment Networks
TLDR
The first solution that allows an arbitrary set of users in a payment channel network to securely rebalance their channels, according to the preferences of the channel owners is presented, and it is shown that an honest participant cannot lose any of its funds while rebalancing.
Is Bitcoin a Decentralized Currency?
TLDR
A limited set of entities controls Bitcoin's services, decision-making, mining, and incident resolution processes, and can decide Bitcoin's fate, bypassing the will of the multitude of users that populate the network.
Misbehavior in Bitcoin: A Study of Double-Spending and Accountability
TLDR
This work proposes a new and lightweight countermeasure that enables the detection of double-spending attacks in fast transactions in Bitcoin and provides accountability and privacy definition for Bitcoin, and investigates analytically and empirically the privacy and accountability provisions in Bitcoin.
On the privacy provisions of Bloom filters in lightweight bitcoin clients
TLDR
An efficient countermeasure is proposed to enhance the privacy of users which rely on SPV clients which can be directly integrated within existing SPV client implementations.
TLS-N: Non-repudiation over TLS Enabling - Ubiquitous Content Signing for Disintermediation
TLDR
TLS-N is the first TLS extension that provides secure non-repudiation and enables a practical and decentralized blockchain oracle for web content and increases the accountability for content provided on the web.
Attacking the DeFi Ecosystem with Flash Loans for Fun and Profit
TLDR
This paper is the first to explore the implication of flash loans for the nascent decentralized finance (DeFi) ecosystem and shows how two previously executed attacks can be "boosted" to result in a profit of 2.37x and 1.73x, respectively.
...
...