Sidi Mohamed Beillahi

36 papers A* 5A 1B 2C 5Journal 17Unranked 6

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