26 citations · 36 across the 9 of their papers we have counts for
11 papers
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…
Automated Synthesis of Asynchronizations
Sidi Mohamed Beillahi, Ahmed Bouajjani, Constantin Enea +1
Asynchronous programming is widely adopted for building responsive and efficient software, and modern languages such as C# provide async/await primitives to simplify the use of asy…
FlashSyn: Flash Loan Attack Synthesis via Counter Example Driven Approximation
Zhiyang Chen, Sidi Mohamed Beillahi, Fan Long
In decentralized finance (DeFi), lenders can offer flash loans to borrowers, i.e., loans that are only valid within a blockchain transaction and must be repaid with fees by the end…
SigVM: Enabling Event-Driven Execution for Autonomous Smart Contracts
Zihan Zhao, Sidi Mohamed Beillahi, Ryan Song +3
This paper presents SigVM, a novel blockchain virtual machine that supports an event-driven execution model, enabling developers to build autonomous smart contracts. Contracts in S…
Checking Robustness Between Weak Transactional Consistency Models
Sidi Mohamed Beillahi, Ahmed Bouajjani, Constantin Enea
Concurrent accesses to databases are typically encapsulated in transactions in order to enable isolation from other concurrent computations and resilience to failures. Modern datab…
Robustness Against Transactional Causal Consistency
Sidi Mohamed Beillahi, Ahmed Bouajjani, Constantin Enea
Distributed storage systems and databases are widely used by various types of applications. Transactional access to these storage systems is an important abstraction allowing appli…
Checking Robustness Against Snapshot Isolation
Sidi Mohamed Beillahi, Ahmed Bouajjani, Constantin Enea
Transactional access to databases is an important abstraction allowing programmers to consider blocks of actions (transactions) as executing in isolation. The strongest consistency…