Drafts

  1. Vladyslav Nekriach, Sidi Mohamed Beillahi, Chenxing Li, Peilun Li, Ming Wu, Andreas Veneris, Fan Long. HEMVM: a Heterogeneous Blockchain Framework for Interoperable Virtual Machines. 2023.

In International Journals

  1. Chenxing Li, Sidi Mohamed Beillahi, Guang Yang, Ming Wu, Wei Xu, Fan Long. LVMT: An Efficient Authenticated Storage for Blockchain. In ACM Transactions on Storage (accepted) 2024. (PDF)
  2. Jemin Andrew Choi, Sidi Mohamed Beillahi, Srisht Fateh Singh, Panagiotis Michalopoulos, Peilun Li, Andreas Veneris, Fan Long. LMPT: A Novel Authenticated Data Structure to Eliminate Storage Bottlenecks for High Performance Blockchains. In IEEE Transactions on Network and Service Management, volume 21, issue 2, pages 1333-1343. IEEE, 2024. (PDF)
  3. Sidi Mohamed Beillahi, Ahmed Bouajjani, Constantin Enea. Robustness Against Transactional Causal Consistency. In Logical Methods in Computer Science, volume 17, issue 1, pages 12:1-12:42. 2021. (PDF)
  4. Sidi Mohamed Beillahi, Mohamed Yousri Mahmoud, Sofiene Tahar. A Modeling and Verification Framework for Optical Quantum Circuit. In Formal Aspects of Computing, volume 31, issue 3, pages 321-351. Springer, 2019. (PDF)

In International Conference Proceedings

  1. Zhiyang Chen, Ye Liu, Sidi Mohamed Beillahi, Yi Li, Fan Long. Demystifying Invariant Effectiveness for Securing Smart Contracts. In Proc. ACM International Conference on the Foundations of Software Engineering (accepted) (FSE '24). 2024. (PDF)
  2. Zhiyang Chen, Sidi Mohamed Beillahi, Fan Long. FlashSyn: Flash Loan Attack Synthesis via Counter Example Driven Approximation. In Proc. 46th International Conference on Software Engineering (ICSE '24). 2024. (PDF)
  3. Xun Deng, Sidi Mohamed Beillahi, Cyrus Minwalla, Han Du, Andreas Veneris, Fan Long. Safeguarding DeFi Smart Contracts against Oracle Deviations. In Proc. 46th International Conference on Software Engineering (ICSE '24). 2024. ACM SIGSOFT Distinguished Paper Award (PDF)
  4. Chenxing Li, Sidi Mohamed Beillahi, Guang Yang, Ming Wu, Wei Xu, Fan Long. LVMT: An Efficient Authenticated Storage for Blockchain. In Proc. 17th USENIX Symposium on Operating Systems Design and Implementation (OSDI '23). 2023. Invited to a Journal Special Issue for Selected OSDI 2023 Papers. (PDF)
  5. Srisht Fateh Singh, Panagiotis Michalopoulos, Sidi Mohamed Beillahi, Andreas Veneris, Fan Long. Mobius: An Atomic State Sharding Design for Account-Based Blockchains. In Proc. IEEE International Conference on Blockchain and Cryptocurrency (ICBC '23). 2023. (PDF)
  6. Xun Deng, Zihan Zhao, Sidi Mohamed Beillahi, Han Du, Cyrus Minwalla, Keerthi Nelaturu, Andreas Veneris, Fan Long. A Robust Front-Running Methodology for Malicious Flash-Loan DeFi Attacks. In Proc. IEEE International Conference on Decentralized Applications and Infrastructures (DAPPS '23). 2023.
  7. Sidi Mohamed Beillahi, Ahmed Bouajjani, Constantin Enea. Comparing Causal Convergence Consistency Models. In Proc. International Conference on Networked Systems (NETYS '23). 2023.
  8. Sidi Mohamed Beillahi, Ahmed Bouajjani, Constantin Enea, Shuvendu Lahiri. Automated Synthesis of Asynchronizations. In Proc. 29th Static Analysis Symposium (SAS '22). 2022. (PDF)
  9. Zihan Zhao, Sidi Mohamed Beillahi, Ryan Song, Yuxi Cai, Andreas Veneris, Fan Long. SigVM: Enabling Event-Driven Execution for Truly Decentralized Smart Contracts. In Proc. ACM SIGPLAN conference on Object-oriented Programming, Systems, Languages, and Applications (OOPSLA '22). 2022. (PDF)
  10. Jemin Andrew Choi, Sidi Mohamed Beillahi, Peilun Li, Andreas Veneris, Fan Long. LMPTs: Eliminating Storage Bottlenecks for Processing Blockchain Transactions. In Proc. IEEE International Conference on Blockchain and Cryptocurrency (ICBC '22). 2022. ICBC Distinguished Paper Award (PDF)
  11. Sidi Mohamed Beillahi, Eric Keilty, Keerthi Nelaturu, Andreas Veneris, Fan Long. Automated Auditing of Price Gouging TOD Vulnerabilities in Smart Contracts. In Proc. IEEE International Conference on Blockchain and Cryptocurrency (ICBC '22). 2022. (PDF)
  12. Keerthi Nelaturu, Sidi Mohamed Beillahi, Fan Long, Andreas Veneris. Smart Contracts Refinement for Gas Optimization. In Proc. 3rd Conference on Blockchain Research \& Applications for Innovative Networks and Services (BRAINS '21). 2021. (PDF)
  13. Sidi Mohamed Beillahi, Ahmed Bouajjani, Constantin Enea. Checking Robustness Between Weak Transactional Consistency Models. In Proc. 30th European Symposium on Programming (ESOP '21). LNCS, 2021. (PDF)
  14. Sidi Mohamed Beillahi, Gabriela Ciocarlie, Michael Emmi, Constantin Enea. Behavioral Simulation for Smart Contracts. In Proc. 41st annual ACM SIGPLAN conference on Programming Language Design and Implementation (PLDI '20). ACM, 2020. (PDF)
  15. Sidi Mohamed Beillahi, Ahmed Bouajjani, Constantin Enea. Robustness Against Transactional Causal Consistency. In Proc. 30th International Conference on Concurrency Theory (CONCUR '19), LIPIcs 140, pages 30:1-30:18. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2019. Invited to a Journal Special Issue for Selected CONCUR 2019 Papers. (PDF)
  16. Sidi Mohamed Beillahi, Ahmed Bouajjani, Constantin Enea. Checking Robustness Against Snapshot Isolation. In Proc. 31st International Conference on Computer Aided Verification (CAV '19), LNCS 11562, pages 286-304. Springer, 2019. (PDF)
  17. Sidi Mohamed Beillahi, Mohamed Yousri Mahmoud, Sofiene Tahar. Hierarchical Verification of Quantum Circuits. In Proc. 8th International Symposium NASA Formal Methods (NFM '16), LNCS 9690, pages 344-352. Springer, 2016. (PDF)
  18. Sidi Mohamed Beillahi, Umair Siddique, Sofiene Tahar. Formal Analysis of Power Electronic Systems. In Proc. 17th International Conference on Formal Engineering Methods (ICFEM '15), LNCS 9407, pages 270-286. Springer, 2015. (PDF)

In International Workshop Proceedings

  1. Sidi Mohamed Beillahi, Umair Siddique, Sofiene Tahar. Formal Analysis of Engineering Systems Based on Signal-Flow-Graph Theory. In Proc. 9th International Workshop Numerical Software Verification (NSV-CAV '16), LNCS 10152, pages 31-46. Springer, 2016. (PDF)
  2. Umair Siddique, Sidi Mohamed Beillahi, Sofiene Tahar. On the Formal Analysis of Photonic Signal Processing Systems. In Proc. 20th International Workshop Formal Methods for Industrial Critical Systems (FMICS '15), LNCS 9128, pages 162-177. Springer, 2015. (PDF)
  3. Sidi Mohamed Beillahi, Mohamed Yousri Mahmoud, Sofiene Tahar. A Tool for the Formal Verification of Quantum Optical Computing Systems. In Proc. Automated Reasoning Workshop (ARW '15), pages 25-26. 2015. (PDF)