Provider: Schloss Dagstuhl - Leibniz Center for Informatics
Database: dblp computer science bibliography
Content:text/plain; charset="utf-8"
TY - JOUR
ID - DBLP:journals/pacmse/Chen0B0L24
AU - Chen, Zhiyang
AU - Liu, Ye
AU - Beillahi, Sidi Mohamed
AU - Li, Yi
AU - Long, Fan
TI - Demystifying Invariant Effectiveness for Securing Smart Contracts.
JO - Proc. ACM Softw. Eng.
VL - 1
IS - FSE
SP - 1772
EP - 1795
PY - 2024//
DO - 10.1145/3660786
UR - https://doi.org/10.1145/3660786
ER -
TY - JOUR
ID - DBLP:journals/tnsm/ChoiBSMLVL24
AU - Choi, Jemin Andrew
AU - Beillahi, Sidi Mohamed
AU - Singh, Srisht Fateh
AU - Michalopoulos, Panagiotis
AU - Li, Peilun
AU - Veneris, Andreas G.
AU - Long, Fan
TI - LMPT: A Novel Authenticated Data Structure to Eliminate Storage Bottlenecks for High Performance Blockchains.
JO - IEEE Trans. Netw. Serv. Manag.
VL - 21
IS - 2
SP - 1333
EP - 1343
PY - 2024/04/
DO - 10.1109/TNSM.2023.3346202
UR - https://doi.org/10.1109/TNSM.2023.3346202
ER -
TY - JOUR
ID - DBLP:journals/tos/LiBYWXL24
AU - Li, Chenxing
AU - Beillahi, Sidi Mohamed
AU - Yang, Guang
AU - Wu, Ming
AU - Xu, Wei
AU - Long, Fan
TI - LVMT: An Efficient Authenticated Storage for Blockchain.
JO - ACM Trans. Storage
VL - 20
IS - 3
SP - 17
PY - 2024/08/
DO - 10.1145/3664818
UR - https://doi.org/10.1145/3664818
ER -
TY - CPAPER
ID - DBLP:conf/icse/ChenBL24
AU - Chen, Zhiyang
AU - Beillahi, Sidi Mohamed
AU - Long, Fan
TI - FlashSyn: Flash Loan Attack Synthesis via Counter Example Driven Approximation.
BT - Proceedings of the 46th IEEE/ACM International Conference on Software Engineering, ICSE 2024, Lisbon, Portugal, April 14-20, 2024
SP - 142:1
EP - 142:13
PY - 2024//
DO - 10.1145/3597503.3639190
UR - https://doi.org/10.1145/3597503.3639190
ER -
TY - CPAPER
ID - DBLP:conf/icse/DengBMDVL24
AU - Deng, Xun
AU - Beillahi, Sidi Mohamed
AU - Minwalla, Cyrus
AU - Du, Han
AU - Veneris, Andreas G.
AU - Long, Fan
TI - Safeguarding DeFi Smart Contracts against Oracle Deviations.
BT - Proceedings of the 46th IEEE/ACM International Conference on Software Engineering, ICSE 2024, Lisbon, Portugal, April 14-20, 2024
SP - 171:1
EP - 171:12
PY - 2024//
DO - 10.1145/3597503.3639225
UR - https://doi.org/10.1145/3597503.3639225
ER -
TY - Informal or Other Publication
ID - DBLP:journals/corr/abs-2401-06044
AU - Deng, Xun
AU - Beillahi, Sidi Mohamed
AU - Minwalla, Cyrus
AU - Du, Han
AU - Veneris, Andreas G.
AU - Long, Fan
TI - Safeguarding DeFi Smart Contracts against Oracle Deviations.
JO - CoRR
VL - abs/2401.06044
PY - 2024//
DO - 10.48550/ARXIV.2401.06044
UR - https://doi.org/10.48550/arXiv.2401.06044
ER -
TY - Informal or Other Publication
ID - DBLP:journals/corr/abs-2404-14580
AU - Chen, Zhiyang
AU - Liu, Ye
AU - Beillahi, Sidi Mohamed
AU - Li, Yi
AU - Long, Fan
TI - Demystifying Invariant Effectiveness for Securing Smart Contracts.
JO - CoRR
VL - abs/2404.14580
PY - 2024//
DO - 10.48550/ARXIV.2404.14580
UR - https://doi.org/10.48550/arXiv.2404.14580
ER -
TY - Informal or Other Publication
ID - DBLP:journals/corr/abs-2407-05411
AU - Deng, Xun
AU - Zhong, Sicheng
AU - Dong, Honghua
AU - Hu, Jingyu
AU - Beillahi, Sidi Mohamed
AU - Si, Xujie
AU - Long, Fan
TI - Assessing Code Generation with Intermediate Languages.
JO - CoRR
VL - abs/2407.05411
PY - 2024//
DO - 10.48550/ARXIV.2407.05411
UR - https://doi.org/10.48550/arXiv.2407.05411
ER -
TY - Informal or Other Publication
ID - DBLP:journals/corr/abs-2407-10039
AU - Chen, Zhiyang
AU - Liu, Ye
AU - Beillahi, Sidi Mohamed
AU - Li, Yi
AU - Long, Fan
TI - OpenTracer: A Dynamic Transaction Trace Analyzer for Smart Contract Invariant Generation and Beyond.
JO - CoRR
VL - abs/2407.10039
PY - 2024//
DO - 10.48550/ARXIV.2407.10039
UR - https://doi.org/10.48550/arXiv.2407.10039
ER -
TY - CPAPER
ID - DBLP:conf/dappcon/DengZBDMNVL23
AU - Deng, Xun
AU - Zhao, Zihan
AU - Beillahi, Sidi Mohamed
AU - Du, Han
AU - Minwalla, Cyrus
AU - Nelaturu, Keerthi
AU - Veneris, Andreas G.
AU - Long, Fan
TI - A Robust Front-Running Methodology for Malicious Flash- Loan DeFi Attacks.
BT - IEEE International Conference on Decentralized Applications and Infrastructures, DAPPS 2023, Athens, Greece, July 17-20, 2023
SP - 38
EP - 47
PY - 2023//
DO - 10.1109/DAPPS57946.2023.00015
UR - https://doi.org/10.1109/DAPPS57946.2023.00015
ER -
TY - CPAPER
ID - DBLP:conf/icbc2/SinghMBVL23
AU - Singh, Srisht Fateh
AU - Michalopoulos, Panagiotis
AU - Beillahi, Sidi Mohamed
AU - Veneris, Andreas G.
AU - Long, Fan
TI - Möbius: an Atomic State Sharding Design for Account-Based Blockchains.
BT - IEEE International Conference on Blockchain and Cryptocurrency, ICBC 2023, Dubai, United Arab Emirates, May 1-5, 2023
SP - 1
EP - 9
PY - 2023//
DO - 10.1109/ICBC56567.2023.10174978
UR - https://doi.org/10.1109/ICBC56567.2023.10174978
ER -
TY - CPAPER
ID - DBLP:conf/netys/BeillahiBE23
AU - Beillahi, Sidi Mohamed
AU - Bouajjani, Ahmed
AU - Enea, Constantin
TI - Comparing Causal Convergence Consistency Models.
BT - Networked Systems - 11th International Conference, NETYS 2023, Benguerir, Morocco, May 22-24, 2023, Proceedings
SP - 62
EP - 77
PY - 2023//
DO - 10.1007/978-3-031-37765-5_5
UR - https://doi.org/10.1007/978-3-031-37765-5_5
ER -
TY - CPAPER
ID - DBLP:conf/osdi/LiB00XL23
AU - Li, Chenxing
AU - Beillahi, Sidi Mohamed
AU - Yang, Guang
AU - Wu, Ming
AU - Xu, Wei
AU - Long, Fan
TI - LVMT: An Efficient Authenticated Storage for Blockchain.
BT - 17th USENIX Symposium on Operating Systems Design and Implementation, OSDI 2023, Boston, MA, USA, July 10-12, 2023.
SP - 135
EP - 153
PY - 2023//
UR - https://www.usenix.org/conference/osdi23/presentation/li-chenxing
ER -
TY - JOUR
ID - DBLP:journals/pacmpl/ZhaoBSCVL22
AU - Zhao, Zihan
AU - Beillahi, Sidi Mohamed
AU - Song, Ryan
AU - Cai, Yuxi
AU - Veneris, Andreas G.
AU - Long, Fan
TI - SigVM: enabling event-driven execution for truly decentralized smart contracts.
JO - Proc. ACM Program. Lang.
VL - 6
IS - OOPSLA2
SP - 673
EP - 698
PY - 2022//
DO - 10.1145/3563312
UR - https://doi.org/10.1145/3563312
ER -
TY - CPAPER
ID - DBLP:conf/icbc2/BeillahiKNVL22
AU - Beillahi, Sidi Mohamed
AU - Keilty, Eric
AU - Nelaturu, Keerthi
AU - Veneris, Andreas G.
AU - Long, Fan
TI - Automated Auditing of Price Gouging TOD Vulnerabilities in Smart Contracts.
BT - IEEE International Conference on Blockchain and Cryptocurrency, ICBC 2022, Shanghai, China, May 2-5, 2022
SP - 1
EP - 6
PY - 2022//
DO - 10.1109/ICBC54727.2022.9805509
UR - https://doi.org/10.1109/ICBC54727.2022.9805509
ER -
TY - CPAPER
ID - DBLP:conf/icbc2/ChoiBLVL22
AU - Choi, Jemin Andrew
AU - Beillahi, Sidi Mohamed
AU - Li, Peilun
AU - Veneris, Andreas G.
AU - Long, Fan
TI - LMPTs: Eliminating Storage Bottlenecks for Processing Blockchain Transactions.
BT - IEEE International Conference on Blockchain and Cryptocurrency, ICBC 2022, Shanghai, China, May 2-5, 2022
SP - 1
EP - 9
PY - 2022//
DO - 10.1109/ICBC54727.2022.9805484
UR - https://doi.org/10.1109/ICBC54727.2022.9805484
ER -
TY - CPAPER
ID - DBLP:conf/sas/BeillahiBEL22
AU - Beillahi, Sidi Mohamed
AU - Bouajjani, Ahmed
AU - Enea, Constantin
AU - Lahiri, Shuvendu K.
TI - Automated Synthesis of Asynchronizations.
BT - Static Analysis - 29th International Symposium, SAS 2022, Auckland, New Zealand, December 5-7, 2022, Proceedings
SP - 135
EP - 159
PY - 2022//
DO - 10.1007/978-3-031-22308-2_7
UR - https://doi.org/10.1007/978-3-031-22308-2_7
ER -
TY - Informal or Other Publication
ID - DBLP:journals/corr/abs-2206-10708
AU - Chen, Zhiyang
AU - Beillahi, Sidi Mohamed
AU - Long, Fan
TI - FlashSyn: Flash Loan Attack Synthesis via Counter Example Driven Approximation.
JO - CoRR
VL - abs/2206.10708
PY - 2022//
DO - 10.48550/ARXIV.2206.10708
UR - https://doi.org/10.48550/arXiv.2206.10708
ER -
TY - Informal or Other Publication
ID - DBLP:journals/corr/abs-2209-06648
AU - Beillahi, Sidi Mohamed
AU - Bouajjani, Ahmed
AU - Enea, Constantin
AU - Lahiri, Shuvendu K.
TI - Automated Synthesis of Asynchronizations.
JO - CoRR
VL - abs/2209.06648
PY - 2022//
DO - 10.48550/ARXIV.2209.06648
UR - https://doi.org/10.48550/arXiv.2209.06648
ER -
TY - JOUR
ID - DBLP:journals/lmcs/BeillahiBE21
AU - Beillahi, Sidi Mohamed
AU - Bouajjani, Ahmed
AU - Enea, Constantin
TI - Robustness Against Transactional Causal Consistency.
JO - Log. Methods Comput. Sci.
VL - 17
IS - 1
PY - 2021//
UR - https://lmcs.episciences.org/7149
ER -
TY - CPAPER
ID - DBLP:conf/brains/NelaturuBLV21
AU - Nelaturu, Keerthi
AU - Beillahi, Sidi Mohamed
AU - Long, Fan
AU - Veneris, Andreas G.
TI - Smart Contracts Refinement for Gas Optimization.
BT - 3rd Conference on Blockchain Research & Applications for Innovative Networks and Services, BRAINS 2021, Paris, France, September 27-30, 2021
SP - 229
EP - 236
PY - 2021//
DO - 10.1109/BRAINS52497.2021.9569819
UR - https://doi.org/10.1109/BRAINS52497.2021.9569819
ER -
TY - CPAPER
ID - DBLP:conf/esop/BeillahiBE21
AU - Beillahi, Sidi Mohamed
AU - Bouajjani, Ahmed
AU - Enea, Constantin
TI - Checking Robustness Between Weak Transactional Consistency Models.
BT - Programming Languages and Systems - 30th European Symposium on Programming, ESOP 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings
SP - 87
EP - 117
PY - 2021//
DO - 10.1007/978-3-030-72019-3_4
UR - https://doi.org/10.1007/978-3-030-72019-3_4
ER -
TY - Informal or Other Publication
ID - DBLP:journals/corr/abs-2101-09032
AU - Beillahi, Sidi Mohamed
AU - Bouajjani, Ahmed
AU - Enea, Constantin
TI - Checking Robustness Between Weak Transactional Consistency Models.
JO - CoRR
VL - abs/2101.09032
PY - 2021//
UR - https://arxiv.org/abs/2101.09032
ER -
TY - CPAPER
ID - DBLP:conf/pldi/BeillahiCEE20
AU - Beillahi, Sidi Mohamed
AU - Ciocarlie, Gabriela F.
AU - Emmi, Michael
AU - Enea, Constantin
TI - Behavioral simulation for smart contracts.
BT - Proceedings of the 41st ACM SIGPLAN International Conference on Programming Language Design and Implementation, PLDI 2020, London, UK, June 15-20, 2020
SP - 470
EP - 486
PY - 2020//
DO - 10.1145/3385412.3386022
UR - https://doi.org/10.1145/3385412.3386022
ER -
TY - JOUR
ID - DBLP:journals/fac/BeillahiMT19
AU - Beillahi, Sidi Mohamed
AU - Mahmoud, Mohamed Yousri
AU - Tahar, Sofiène
TI - A modeling and verification framework for optical quantum circuits.
JO - Formal Aspects Comput.
VL - 31
IS - 3
SP - 321
EP - 351
PY - 2019//
DO - 10.1007/S00165-019-00480-5
UR - https://doi.org/10.1007/s00165-019-00480-5
ER -
TY - CPAPER
ID - DBLP:conf/cav/BeillahiBE19
AU - Beillahi, Sidi Mohamed
AU - Bouajjani, Ahmed
AU - Enea, Constantin
TI - Checking Robustness Against Snapshot Isolation.
BT - Computer Aided Verification - 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II
SP - 286
EP - 304
PY - 2019//
DO - 10.1007/978-3-030-25543-5_17
UR - https://doi.org/10.1007/978-3-030-25543-5_17
ER -
TY - CPAPER
ID - DBLP:conf/concur/BeillahiBE19
AU - Beillahi, Sidi Mohamed
AU - Bouajjani, Ahmed
AU - Enea, Constantin
TI - Robustness Against Transactional Causal Consistency.
BT - 30th International Conference on Concurrency Theory, CONCUR 2019, August 27-30, 2019, Amsterdam, the Netherlands.
SP - 30:1
EP - 30:18
PY - 2019//
DO - 10.4230/LIPICS.CONCUR.2019.30
UR - https://doi.org/10.4230/LIPIcs.CONCUR.2019.30
ER -
TY - Informal or Other Publication
ID - DBLP:journals/corr/abs-1905-08406
AU - Beillahi, Sidi Mohamed
AU - Bouajjani, Ahmed
AU - Enea, Constantin
TI - Checking Robustness Against Snapshot Isolation.
JO - CoRR
VL - abs/1905.08406
PY - 2019//
UR - http://arxiv.org/abs/1905.08406
ER -
TY - Informal or Other Publication
ID - DBLP:journals/corr/abs-1906-12095
AU - Beillahi, Sidi Mohamed
AU - Bouajjani, Ahmed
AU - Enea, Constantin
TI - Robustness Against Transactional Causal Consistency.
JO - CoRR
VL - abs/1906.12095
PY - 2019//
UR - http://arxiv.org/abs/1906.12095
ER -
TY - CPAPER
ID - DBLP:conf/cav/BeillahiST16
AU - Beillahi, Sidi Mohamed
AU - Siddique, Umair
AU - Tahar, Sofiène
TI - Formal Analysis of Engineering Systems Based on Signal-Flow-Graph Theory.
BT - Numerical Software Verification - 9th International Workshop, NSV 2016, Toronto, ON, Canada, July 17-18, 2016, [collocated with CAV 2016], Revised Selected Papers
SP - 31
EP - 46
PY - 2016//
DO - 10.1007/978-3-319-54292-8_3
UR - https://doi.org/10.1007/978-3-319-54292-8_3
ER -
TY - CPAPER
ID - DBLP:conf/nfm/BeillahiMT16
AU - Beillahi, Sidi Mohamed
AU - Mahmoud, Mohamed Yousri
AU - Tahar, Sofiène
TI - Hierarchical Verification of Quantum Circuits.
BT - NASA Formal Methods - 8th International Symposium, NFM 2016, Minneapolis, MN, USA, June 7-9, 2016, Proceedings
SP - 344
EP - 352
PY - 2016//
DO - 10.1007/978-3-319-40648-0_26
UR - https://doi.org/10.1007/978-3-319-40648-0_26
ER -
TY - CPAPER
ID - DBLP:conf/fmics/SiddiqueBT15
AU - Siddique, Umair
AU - Beillahi, Sidi Mohamed
AU - Tahar, Sofiène
TI - On the Formal Analysis of Photonic Signal Processing Systems.
BT - Formal Methods for Industrial Critical Systems - 20th International Workshop, FMICS 2015, Oslo, Norway, June 22-23, 2015 Proceedings
SP - 162
EP - 177
PY - 2015//
DO - 10.1007/978-3-319-19458-5_11
UR - https://doi.org/10.1007/978-3-319-19458-5_11
ER -
TY - CPAPER
ID - DBLP:conf/icfem/BeillahiST15
AU - Beillahi, Sidi Mohamed
AU - Siddique, Umair
AU - Tahar, Sofiène
TI - Formal Analysis of Power Electronic Systems.
BT - Formal Methods and Software Engineering - 17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015, Proceedings
SP - 270
EP - 286
PY - 2015//
DO - 10.1007/978-3-319-25423-4_17
UR - https://doi.org/10.1007/978-3-319-25423-4_17
ER -
