1 citations · 1 across the 4 of their papers we have counts for
7 papers
A new lower bound for the sixth Schur number:
Zhiyang Chen, Ligeng Zhu, Fan Long
We give an explicit partition of into six sum-free sets, establishing . This improves the lower bound 536 of Fredricksen and Sweet (2000). Known rec…
Ghost-Filled Orders: Detecting and Testing Atomicity Violations in Non-Custodial Prediction Markets
Zhiyang Chen, Fan Long, Zhendong Su
Blockchain based prediction markets combine offchain order management with onchain settlement. This architecture supports user controlled custody, since users keep funds in wallets…
Enforcing Control Flow Integrity on DeFi Smart Contracts
Zhiyang Chen, Sidi Mohamed Beillahi, Pasha Barahimi +4
Smart contracts power decentralized financial (DeFi) services but are vulnerable to security exploits that can lead to significant financial losses. Existing security measures ofte…
OpenTracer: A Dynamic Transaction Trace Analyzer for Smart Contract Invariant Generation and Beyond
Zhiyang Chen, Ye Liu, Sidi Mohamed Beillahi +2
Smart contracts, self-executing programs on the blockchain, facilitate reliable value exchanges without centralized oversight. Despite the recent focus on dynamic analysis of their…
Assessing Code Generation with Intermediate Languages
Xun Deng, Sicheng Zhong, Honghua Dong +4
Intermediate step methodologies like chain of thoughts (COT) have demonstrated effectiveness in enhancing the performance of Large Language Models (LLMs) on code generation. This s…
Demystifying Invariant Effectiveness for Securing Smart Contracts
Zhiyang Chen, Ye Liu, Sidi Mohamed Beillahi +2
Smart contract transactions associated with security attacks often exhibit distinct behavioral patterns compared with historical benign transactions before the attacking events. Wh…
Safeguarding DeFi Smart Contracts against Oracle Deviations
Xun Deng, Sidi Mohamed Beillahi, Cyrus Minwalla +3
This paper presents OVer, a framework designed to automatically analyze the behavior of decentralized finance (DeFi) protocols when subjected to a "skewed" oracle input. OVer first…