Sidi Mohamed Beillahi

Publication Activity (10 Years)

Years Active: 2015-2024
Publications (10 Years): 32

Top Topics

Causal Relations

Formal Analysis

Graph Based Representations

Engineering Systems

Top Venues

IEEE Trans. Netw. Serv. Manag.

Publications

Zhiyang Chen, Sidi Mohamed Beillahi, Fan Long
FlashSyn: Flash Loan Attack Synthesis via Counter Example Driven Approximation. ICSE (2024)
Zhiyang Chen, Ye Liu, Sidi Mohamed Beillahi, Yi Li, Fan Long
OpenTracer: A Dynamic Transaction Trace Analyzer for Smart Contract Invariant Generation and Beyond. CoRR (2024)
Xun Deng, Sidi Mohamed Beillahi, Cyrus Minwalla, Han Du, Andreas G. Veneris, Fan Long
Safeguarding DeFi Smart Contracts against Oracle Deviations. ICSE (2024)
Xun Deng, Sidi Mohamed Beillahi, Cyrus Minwalla, Han Du, Andreas G. Veneris, Fan Long
Safeguarding DeFi Smart Contracts against Oracle Deviations. CoRR (2024)
Xun Deng, Sicheng Zhong, Honghua Dong, Jingyu Hu, Sidi Mohamed Beillahi, Xujie Si, Fan Long
Assessing Code Generation with Intermediate Languages. CoRR (2024)
Zhiyang Chen, Ye Liu, Sidi Mohamed Beillahi, Yi Li, Fan Long
Demystifying Invariant Effectiveness for Securing Smart Contracts. CoRR (2024)
Chenxing Li, Sidi Mohamed Beillahi, Guang Yang, Ming Wu, Wei Xu, Fan Long
LVMT: An Efficient Authenticated Storage for Blockchain. ACM Trans. Storage 20 (3) (2024)
Jemin Andrew Choi, Sidi Mohamed Beillahi, Srisht Fateh Singh, Panagiotis Michalopoulos, Peilun Li, Andreas G. Veneris, Fan Long
LMPT: A Novel Authenticated Data Structure to Eliminate Storage Bottlenecks for High Performance Blockchains. IEEE Trans. Netw. Serv. Manag. 21 (2) (2024)
Zhiyang Chen, Ye Liu, Sidi Mohamed Beillahi, Yi Li, Fan Long
Demystifying Invariant Effectiveness for Securing Smart Contracts. Proc. ACM Softw. Eng. 1 (FSE) (2024)
Xun Deng, Zihan Zhao, Sidi Mohamed Beillahi, Han Du, Cyrus Minwalla, Keerthi Nelaturu, Andreas G. Veneris, Fan Long
A Robust Front-Running Methodology for Malicious Flash- Loan DeFi Attacks. DAPPS (2023)
Chenxing Li, Sidi Mohamed Beillahi, Guang Yang, Ming Wu, Wei Xu, Fan Long
LVMT: An Efficient Authenticated Storage for Blockchain. OSDI (2023)
Srisht Fateh Singh, Panagiotis Michalopoulos, Sidi Mohamed Beillahi, Andreas G. Veneris, Fan Long
Möbius: an Atomic State Sharding Design for Account-Based Blockchains. ICBC (2023)
Sidi Mohamed Beillahi, Ahmed Bouajjani, Constantin Enea
Comparing Causal Convergence Consistency Models. NETYS (2023)
Sidi Mohamed Beillahi, Ahmed Bouajjani, Constantin Enea, Shuvendu K. Lahiri
Automated Synthesis of Asynchronizations. CoRR (2022)
Zihan Zhao, Sidi Mohamed Beillahi, Ryan Song, Yuxi Cai, Andreas G. Veneris, Fan Long
SigVM: enabling event-driven execution for truly decentralized smart contracts. Proc. ACM Program. Lang. 6 (OOPSLA2) (2022)
Sidi Mohamed Beillahi, Ahmed Bouajjani, Constantin Enea, Shuvendu K. Lahiri
Automated Synthesis of Asynchronizations. SAS (2022)
Sidi Mohamed Beillahi, Eric Keilty, Keerthi Nelaturu, Andreas G. Veneris, Fan Long
Automated Auditing of Price Gouging TOD Vulnerabilities in Smart Contracts. ICBC (2022)
Zhiyang Chen, Sidi Mohamed Beillahi, Fan Long
FlashSyn: Flash Loan Attack Synthesis via Counter Example Driven Approximation. CoRR (2022)
Jemin Andrew Choi, Sidi Mohamed Beillahi, Peilun Li, Andreas G. Veneris, Fan Long
LMPTs: Eliminating Storage Bottlenecks for Processing Blockchain Transactions. ICBC (2022)
Sidi Mohamed Beillahi, Ahmed Bouajjani, Constantin Enea
Robustness Against Transactional Causal Consistency. Log. Methods Comput. Sci. 17 (1) (2021)
Sidi Mohamed Beillahi, Ahmed Bouajjani, Constantin Enea
Checking Robustness Between Weak Transactional Consistency Models. CoRR (2021)
Sidi Mohamed Beillahi, Ahmed Bouajjani, Constantin Enea
Checking Robustness Between Weak Transactional Consistency Models. ESOP (2021)
Sidi Mohamed Beillahi, Gabriela F. Ciocarlie, Michael Emmi, Constantin Enea
Behavioral simulation for smart contracts. PLDI (2020)
Sidi Mohamed Beillahi, Ahmed Bouajjani, Constantin Enea
Robustness Against Transactional Causal Consistency. CoRR (2019)
Sidi Mohamed Beillahi, Mohamed Yousri Mahmoud, Sofiène Tahar
A modeling and verification framework for optical quantum circuits. Formal Aspects Comput. 31 (3) (2019)
Sidi Mohamed Beillahi, Ahmed Bouajjani, Constantin Enea
Checking Robustness Against Snapshot Isolation. CoRR (2019)
Sidi Mohamed Beillahi, Ahmed Bouajjani, Constantin Enea
Checking Robustness Against Snapshot Isolation. CAV (2) (2019)
Sidi Mohamed Beillahi, Ahmed Bouajjani, Constantin Enea
Robustness Against Transactional Causal Consistency. CONCUR (2019)
Sidi Mohamed Beillahi, Umair Siddique, Sofiène Tahar
Formal Analysis of Engineering Systems Based on Signal-Flow-Graph Theory. NSV@CAV (2016)
Sidi Mohamed Beillahi, Mohamed Yousri Mahmoud, Sofiène Tahar
Hierarchical Verification of Quantum Circuits. NFM (2016)
Umair Siddique, Sidi Mohamed Beillahi, Sofiène Tahar
On the Formal Analysis of Photonic Signal Processing Systems. FMICS (2015)
Sidi Mohamed Beillahi, Umair Siddique, Sofiène Tahar
Formal Analysis of Power Electronic Systems. ICFEM (2015)