activity
20182026
most citedSecurify: Practical Security Analysis of Smart Contracts

128 citations · 417 across the 26 of their papers we have counts for

collaborators
Showing 2023Show all

8 papers · 1 filter

cs.GT2023★ 2 cited

What Drives the (In)stability of a Stablecoin?

Yujin Kwon, Kornrapat Pongmala, Kaihua Qin +5

In May 2022, an apparent speculative attack, followed by market panic, led to the precipitous downfall of UST, one of the most popular stablecoins at that time. However, UST is not…

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…