Sidi Mohamed Beillahi

According to our database, Sidi Mohamed Beillahi authored at least 24 papers between 2015 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2024

LVMT: An Efficient Authenticated Storage for Blockchain.

Chenxing Li, Sidi Mohamed Beillahi, Guang Yang, Ming Wu, Wei Xu, Fan Long

ACM Trans. Storage, August, 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., April, 2024

Demystifying Invariant Effectiveness for Securing Smart Contracts.

Zhiyang Chen, Ye Liu, Sidi Mohamed Beillahi, Yi Li, Fan Long

Proc. ACM Softw. Eng., 2024

OpenTracer: A Dynamic Transaction Trace Analyzer for Smart Contract Invariant Generation and Beyond.

Zhiyang Chen, Ye Liu, Sidi Mohamed Beillahi, Yi Li, Fan Long

CoRR, 2024

Assessing Code Generation with Intermediate Languages.

Xun Deng, Sicheng Zhong, Honghua Dong, Jingyu Hu, Sidi Mohamed Beillahi, Xujie Si, Fan Long

CoRR, 2024

Safeguarding DeFi Smart Contracts against Oracle Deviations.

Xun Deng, Sidi Mohamed Beillahi, Cyrus Minwalla, Han Du, Andreas G. Veneris, Fan Long

Proceedings of the 46th IEEE/ACM International Conference on Software Engineering, 2024

FlashSyn: Flash Loan Attack Synthesis via Counter Example Driven Approximation.

Zhiyang Chen, Sidi Mohamed Beillahi, Fan Long

Proceedings of the 46th IEEE/ACM International Conference on Software Engineering, 2024

2023

Comparing Causal Convergence Consistency Models.

Sidi Mohamed Beillahi, Ahmed Bouajjani, Constantin Enea

Proceedings of the Networked Systems - 11th International Conference, 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

Proceedings of the IEEE International Conference on Blockchain and Cryptocurrency, 2023

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

Proceedings of the IEEE International Conference on Decentralized Applications and Infrastructures, 2023

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

Automated Synthesis of Asynchronizations.

Sidi Mohamed Beillahi, Ahmed Bouajjani, Constantin Enea, Shuvendu K. Lahiri

Proceedings of the Static Analysis - 29th International Symposium, 2022

LMPTs: Eliminating Storage Bottlenecks for Processing Blockchain Transactions.

Jemin Andrew Choi, Sidi Mohamed Beillahi, Peilun Li, Andreas G. Veneris, Fan Long

Proceedings of the IEEE International Conference on Blockchain and Cryptocurrency, 2022

Automated Auditing of Price Gouging TOD Vulnerabilities in Smart Contracts.

Sidi Mohamed Beillahi, Eric Keilty, Keerthi Nelaturu, Andreas G. Veneris, Fan Long

Proceedings of the IEEE International Conference on Blockchain and Cryptocurrency, 2022

2021

Robustness Against Transactional Causal Consistency.

Sidi Mohamed Beillahi, Ahmed Bouajjani, Constantin Enea

Log. Methods Comput. Sci., 2021

Checking Robustness Between Weak Transactional Consistency Models.

Sidi Mohamed Beillahi, Ahmed Bouajjani, Constantin Enea

Proceedings of the Programming Languages and Systems, 2021

Smart Contracts Refinement for Gas Optimization.

Keerthi Nelaturu, Sidi Mohamed Beillahi, Fan Long, Andreas G. Veneris

Proceedings of the 3rd Conference on Blockchain Research & Applications for Innovative Networks and Services, 2021

2020

Behavioral simulation for smart contracts.

Sidi Mohamed Beillahi, Gabriela F. Ciocarlie, Michael Emmi, Constantin Enea

Proceedings of the 41st ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2020

2019

A modeling and verification framework for optical quantum circuits.

Sidi Mohamed Beillahi, Mohamed Yousri Mahmoud, Sofiène Tahar

Formal Aspects Comput., 2019

Checking Robustness Against Snapshot Isolation.

Sidi Mohamed Beillahi, Ahmed Bouajjani, Constantin Enea

Proceedings of the Computer Aided Verification - 31st International Conference, 2019

2016

Hierarchical Verification of Quantum Circuits.

Sidi Mohamed Beillahi, Mohamed Yousri Mahmoud, Sofiène Tahar

Proceedings of the NASA Formal Methods - 8th International Symposium, 2016

Formal Analysis of Engineering Systems Based on Signal-Flow-Graph Theory.

Sidi Mohamed Beillahi, Umair Siddique, Sofiène Tahar

Proceedings of the Numerical Software Verification - 9th International Workshop, 2016

2015

Formal Analysis of Power Electronic Systems.

Sidi Mohamed Beillahi, Umair Siddique, Sofiène Tahar

Proceedings of the Formal Methods and Software Engineering, 2015

On the Formal Analysis of Photonic Signal Processing Systems.

Umair Siddique, Sidi Mohamed Beillahi, Sofiène Tahar

Proceedings of the Formal Methods for Industrial Critical Systems, 2015