activity
20202026
most citedSmart Contract and DeFi Security Tools: Do They Meet the Needs of Practitioners?

59 citations · 259 across the 26 of their papers we have counts for

collaborators
Showing 2023Show all

7 papers · 1 filter

cs.CR2023★ 21 cited

Do you still need a manual smart contract audit?

Isaac David, Liyi Zhou, Kaihua Qin +3

We investigate the feasibility of employing large language models (LLMs) for conducting the security audit of smart contracts, a traditionally time-consuming and costly process. Ou…

cs.CR2023★ 1 cited

Blockchain Censorship

Anton Wahrstätter, Jens Ernstberger, Aviv Yaish +8

Permissionless blockchains promise to be resilient against censorship by a single entity. This suggests that deterministic rules, and not third-party actors, are responsible for de…

cs.NI2023★ 4 cited

Time to Bribe: Measuring Block Construction Market

Anton Wahrstätter, Liyi Zhou, Kaihua Qin +2

With the emergence of Miner Extractable Value (MEV), block construction markets on blockchains have evolved into a competitive arena. Following Ethereum's transition from Proof of…

cs.CR2023★ 2 cited

Enhancing Smart Contract Security Analysis with Execution Property Graphs

Kaihua Qin, Zhe Ye, Zhun Wang +5

Smart contract vulnerabilities have led to significant financial losses, with their increasing complexity rendering outright prevention of hacks increasingly challenging. This tren…

cs.CR2023★ 15 cited

Blockchain Large Language Models

Yu Gai, Liyi Zhou, Kaihua Qin +2

This paper presents a dynamic, real-time approach to detecting anomalous blockchain transactions. The proposed tool, BlockGPT, generates tracing representations of blockchain activ…

cs.CR2023★ 59 cited

Smart Contract and DeFi Security Tools: Do They Meet the Needs of Practitioners?

Stefanos Chaliasos, Marcos Antonios Charalambous, Liyi Zhou +4

The growth of the decentralized finance (DeFi) ecosystem built on blockchain technology and smart contracts has led to an increased demand for secure and reliable smart contract de…

q-fin.PR2023★ 1 cited

Mitigating Decentralized Finance Liquidations with Reversible Call Options

Kaihua Qin, Jens Ernstberger, Liyi Zhou +2

Liquidations in Decentralized Finance (DeFi) are both a blessing and a curse -- whereas liquidations prevent lenders from capital loss, they simultaneously lead to liquidation spir…