collaborators

9 papers

cs.DC2026

Multi-Round Visibility: A Post-Consensus Ordering Layer for DAG-Based BFT

Pengkun Ren, Dong Hai, Nasrin Sohrabi +1

Directed acyclic graph (DAG)-based Byzantine Fault-Tolerant (BFT) protocols achieve high throughput by decoupling dissemination from agreement and allowing many vertices to be comm…

cs.CR2025

How To Cook The Fragmented Rug Pull?

Minh Trung Tran, Nasrin Sohrabi, Zahir Tari +1

Existing rug pull detectors assume a simple workflow: the deployer keeps liquidity pool (LP) tokens and performs one or a few large sells (within a day) that collapse the pool and…

cs.DC2025

Proof-Carrying Fair Ordering: Asymmetric Verification for BFT via Incremental Graphs

Pengkun Ren, Hai Dong, Nasrin Sohrabi +2

Byzantine Fault-Tolerant (BFT) consensus protocols ensure agreement on transaction ordering despite malicious actors, but unconstrained ordering power enables sophisticated value e…

cs.DC2025

Efficient and Secure Sleepy Model for BFT Consensus

Pengkun Ren, Hai Dong, Zahir Tari +1

Byzantine Fault Tolerant (BFT) consensus protocols for dynamically available systems face a critical challenge: balancing latency and security in fluctuating node participation. Ex…

cs.LG2025

FedLAD: A Linear Algebra Based Data Poisoning Defence for Federated Learning

Qi Xiong, Hai Dong, Nasrin Sohrabi +1

Sybil attacks pose a significant threat to federated learning, as malicious nodes can collaborate and gain a majority, thereby overwhelming the system. Therefore, it is essential t…

cs.IR2025

Enhanced Influence-aware Group Recommendation for Online Media Propagation

Chengkun He, Xiangmin Zhou, Chen Wang +6

Group recommendation over social media streams has attracted significant attention due to its wide applications in domains such as e-commerce, entertainment, and online news broadc…

cs.LG2025

Univariate to Multivariate: LLMs as Zero-Shot Predictors for Time-Series Forecasting

Chamara Madarasingha, Nasrin Sohrabi, Zahir Tari

Time-series prediction or forecasting is critical across many real-world dynamic systems, and recent studies have proposed using Large Language Models (LLMs) for this task due to t…

cs.SE2025

Legal Compliance Evaluation of Smart Contracts Generated By Large Language Models

Chanuka Wijayakoon, Hai Dong, H. M. N. Dilum Bandara +2

Smart contracts can implement and automate parts of legal contracts, but ensuring their legal compliance remains challenging. Existing approaches such as formal specification, veri…

cs.CR2025

Slow is Fast! Dissecting Ethereum's Slow Liquidity Drain Scams

Minh Trung Tran, Nasrin Sohrabi, Zahir Tari +3

We identify the slow liquidity drain (SLID) scam, an insidious and highly profitable threat to decentralized finance (DeFi), posing a large-scale, persistent, and growing risk to t…