185 citations · 221 across the 6 of their papers we have counts for
8 papers
EF/CF: High Performance Smart Contract Fuzzing for Exploit Generation
Michael Rodler, David Paaßen, Wenting Li +4
Smart contracts are increasingly being used to manage large numbers of high-value cryptocurrency accounts. There is a strong demand for automated, efficient, and comprehensive meth…
EVMPatch: Timely and Automated Patching of Ethereum Smart Contracts
Michael Rodler, Wenting Li, Ghassan O. Karame +1
Recent attacks exploiting errors in smart contract code had devastating consequences thereby questioning the benefits of this technology. It is currently highly challenging to fix…
Sereum: Protecting Existing Smart Contracts Against Re-Entrancy Attacks
Michael Rodler, Wenting Li, Ghassan O. Karame +1
Recently, a number of existing blockchain systems have witnessed major bugs and vulnerabilities within smart contracts. Although the literature features a number of proposals for s…
ReplicaTEE: Enabling Seamless Replication of SGX Enclaves in the Cloud
Claudio Soriente, Ghassan Karame, Wenting Li +1
With the proliferation of Trusted Execution Environments (TEEs) such as Intel SGX, a number of cloud providers will soon introduce TEE capabilities within their offering (e.g., Mic…
Scalable Byzantine Consensus via Hardware-assisted Secret Sharing
Jian Liu, Wenting Li, Ghassan O. Karame +1
The surging interest in blockchain technology has revitalized the search for effective Byzantine consensus schemes. In particular, the blockchain community has been looking for way…
Towards Fairness of Cryptocurrency Payments
Jian Liu, Wenting Li, Ghassan O. Karame +1
Motivated by the great success and adoption of Bitcoin, a number of cryptocurrencies such as Litecoin, Dogecoin, and Ethereum are becoming increasingly popular. Although existing b…
PrivLoc: Preventing Location Tracking in Geofencing Services
Jens Mathias Bohli, Dan Dobre, Ghassan O. Karame +1
Location-based services are increasingly used in our daily activities. In current services, users however have to give up their location privacy in order to acquire the service. Th…
Proofs of Writing for Efficient and Robust Storage
Dan Dobre, Ghassan Karame, Wenting Li +3
We present PoWerStore, the first efficient robust storage protocol that achieves optimal latency without using digital signatures. PoWerStore's robustness comprises tolerating asyn…