On the Formal Analysis of Photonic Signal Processing Systems. - Umair Siddique; Sidi Mohamed Beillahi; Sofiène Tahar (FMICS, 2015)

Formal Analysis of Power Electronic Systems. - Sidi Mohamed Beillahi; Umair Siddique; Sofiène Tahar (ICFEM, 2015)

Formal Analysis of Engineering Systems Based on Signal-Flow-Graph Theory. - Sidi Mohamed Beillahi; Umair Siddique; Sofiène Tahar (NSV@CAV, 2016)

Hierarchical Verification of Quantum Circuits. - Sidi Mohamed Beillahi; Mohamed Yousri Mahmoud; Sofiène Tahar (NFM, 2016)

Checking Robustness Against Snapshot Isolation. - Sidi Mohamed Beillahi; Ahmed Bouajjani; Constantin Enea (CAV (2), 2019)

A modeling and verification framework for optical quantum circuits. - Sidi Mohamed Beillahi; Mohamed Yousri Mahmoud; Sofiène Tahar (Formal Aspects Comput., 2019)

Behavioral simulation for smart contracts. - Sidi Mohamed Beillahi; Gabriela F. Ciocarlie; Michael Emmi; Constantin Enea (PLDI, 2020)

Smart Contracts Refinement for Gas Optimization. - Keerthi Nelaturu; Sidi Mohamed Beillahi; Fan Long; Andreas G. Veneris (BRAINS, 2021)

Checking Robustness Between Weak Transactional Consistency Models. - Sidi Mohamed Beillahi; Ahmed Bouajjani; Constantin Enea (ESOP, 2021)

Robustness Against Transactional Causal Consistency. - Sidi Mohamed Beillahi; Ahmed Bouajjani; Constantin Enea (Log. Methods Comput. Sci., 2021)

Automated Auditing of Price Gouging TOD Vulnerabilities in Smart Contracts. - Sidi Mohamed Beillahi; Eric Keilty; Keerthi Nelaturu; Andreas G. Veneris; Fan Long (ICBC, 2022)

LMPTs: Eliminating Storage Bottlenecks for Processing Blockchain Transactions. - Jemin Andrew Choi; Sidi Mohamed Beillahi; Peilun Li; Andreas G. Veneris; Fan Long (ICBC, 2022)

Automated Synthesis of Asynchronizations. - Sidi Mohamed Beillahi; Ahmed Bouajjani; Constantin Enea; Shuvendu K. Lahiri (SAS, 2022)

SigVM: enabling event-driven execution for truly decentralized smart contracts. - Zihan Zhao; Sidi Mohamed Beillahi; Ryan Song; Yuxi Cai; Andreas G. Veneris; Fan Long (Proc. ACM Program. Lang., 2022)

A Robust Front-Running Methodology for Malicious Flash- Loan DeFi Attacks. - Xun Deng; Zihan Zhao; Sidi Mohamed Beillahi; Han Du; Cyrus Minwalla; Keerthi Nelaturu; Andreas G. Veneris; Fan Long (DAPPS, 2023)

Möbius: an Atomic State Sharding Design for Account-Based Blockchains. - Srisht Fateh Singh; Panagiotis Michalopoulos; Sidi Mohamed Beillahi; Andreas G. Veneris; Fan Long (ICBC, 2023)

Comparing Causal Convergence Consistency Models. - Sidi Mohamed Beillahi; Ahmed Bouajjani; Constantin Enea (NETYS, 2023)

FlashSyn: Flash Loan Attack Synthesis via Counter Example Driven Approximation. - Zhiyang Chen 004; Sidi Mohamed Beillahi; Fan Long (ICSE, 2024)

Safeguarding DeFi Smart Contracts against Oracle Deviations. - Xun Deng; Sidi Mohamed Beillahi; Cyrus Minwalla; Han Du; Andreas G. Veneris; Fan Long (ICSE, 2024)

OpenTracer: A Dynamic Transaction Trace Analyzer for Smart Contract Invariant Generation and Beyond. - Zhiyang Chen 004; Ye Liu 012; Sidi Mohamed Beillahi; Yi Li 008; Fan Long (ASE, 2024)

Assessing Code Generation with Intermediate Languages. - Xun Deng; Sicheng Zhong; Honghua Dong; Jingyu Hu; Sidi Mohamed Beillahi; Xujie Si; Fan Long (CoRR, 2024)

Demystifying Invariant Effectiveness for Securing Smart Contracts. - Zhiyang Chen 004; Ye Liu 012; Sidi Mohamed Beillahi; Yi Li 008; Fan Long (Proc. ACM Softw. Eng., 2024)

LMPT: A Novel Authenticated Data Structure to Eliminate Storage Bottlenecks for High Performance Blockchains. - Jemin Andrew Choi; Sidi Mohamed Beillahi; Srisht Fateh Singh; Panagiotis Michalopoulos; Peilun Li; Andreas G. Veneris; Fan Long (IEEE Trans. Netw. Serv. Manag., 2024)

LVMT: An Efficient Authenticated Storage for Blockchain. - Chenxing Li; Sidi Mohamed Beillahi; Guang Yang 020; Ming Wu 007; Wei Xu 005; Fan Long (ACM Trans. Storage, 2024)

Secure Smart Contract with Control Flow Integrity. - Zhiyang Chen; Sidi Mohamed Beillahi; Pasha Barahimi; Cyrus Minwalla; Han Du; Andreas G. Veneris; Fan Long (CoRR, 2025)