E-LIB Suche - Ergebnisse für: Beillahi, Sidi Mohamed

1

FlashSyn: Flash Loan Attack Synthesis via Counter Example D..:

, In: 2024 IEEE/ACM 46th International Conference on Software Engineering (ICSE),

Chen, Zhiyang ; Beillahi, Sidi Mohamed ; Long, Fan - p. 1749-1761 , 2024

2

LMPT: A Novel Authenticated Data Structure to Eliminate Sto..:

Choi, Jemin Andrew ; Beillahi, Sidi Mohamed ; Singh, Srisht Fateh...
IEEE Transactions on Network and Service Management. 21 (2024) 2 - p. 1333-1343 , 2024

Link: https://doi.org/10.1109/..

3

FlashSyn: Flash Loan Attack Synthesis via Counter Example D..:

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

Chen, Zhiyang ; Beillahi, Sidi Mohamed ; Long, Fan - p. 1-13 , 2024

Link: https://dl.acm.org/doi/1..

4

LVMT: An Efficient Authenticated Storage for Blockchain:

Li, Chenxing ; Beillahi, Sidi Mohamed ; Yang, Guang...
ACM Transactions on Storage. 20 (2024) 3 - p. 1-34 , 2024

Link: https://doi.org/10.1145/..

5

Safeguarding DeFi Smart Contracts against Oracle Deviations:

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

Deng, Xun ; Beillahi, Sidi Mohamed ; Minwalla, Cyrus... - p. 1-12 , 2024

Link: https://dl.acm.org/doi/1..

6

Safeguarding DeFi Smart Contracts Against Oracle Deviations:

, In: 2024 IEEE/ACM 46th International Conference on Software Engineering (ICSE),

Deng, Xun ; Beillahi, Sidi Mohamed ; Minwalla, Cyrus... - p. 2111-2122 , 2024

Link: https://doi.org/10.1145/..

7

Comparing Causal Convergence Consistency Models:

, In: Networked Systems; Lecture Notes in Computer Science,

Beillahi, Sidi Mohamed ; Bouajjani, Ahmed ; Enea, Constantin - p. 62-77 , 2023

Link: https://doi.org/10.1007/..

8

Möbius: an Atomic State Sharding Design for Account-Based B..:

, In: 2023 IEEE International Conference on Blockchain and Cryptocurrency (ICBC),

Singh, Srisht Fateh ; Michalopoulos, Panagiotis ; Beillahi, Sidi Mohamed.. - p. 1-9 , 2023

Link: https://doi.org/10.1109/..

9

A Robust Front-Running Methodology for Malicious Flash- Loa..:

, In: 2023 IEEE International Conference on Decentralized Applications and Infrastructures (DAPPS),

Deng, Xun ; Zhao, Zihan ; Beillahi, Sidi Mohamed... - p. 38-47 , 2023

Link: https://doi.org/10.1109/..

10

LMPTs: Eliminating Storage Bottlenecks for Processing Block..:

, In: 2022 IEEE International Conference on Blockchain and Cryptocurrency (ICBC),

Choi, Jemin Andrew ; Beillahi, Sidi Mohamed ; Li, Peilun.. - p. 1-9 , 2022

Link: https://doi.org/10.1109/..

11

SigVM: enabling event-driven execution for truly decentrali..:

Zhao, Zihan ; Beillahi, Sidi Mohamed ; Song, Ryan...
Proceedings of the ACM on Programming Languages. 6 (2022) OOPSLA2 - p. 673-698 , 2022

Link: https://doi.org/10.1145/..

12

Automated Synthesis of Asynchronizations:

, In: Static Analysis; Lecture Notes in Computer Science,

Beillahi, Sidi Mohamed ; Bouajjani, Ahmed ; Enea, Constantin. - p. 135-159 , 2022

Link: https://doi.org/10.1007/..

13

Automated Auditing of Price Gouging TOD Vulnerabilities in ..:

, In: 2022 IEEE International Conference on Blockchain and Cryptocurrency (ICBC),

Beillahi, Sidi Mohamed ; Keilty, Eric ; Nelaturu, Keerthi.. - p. 1-6 , 2022

Link: https://doi.org/10.1109/..

14

Checking Robustness Between Weak Transactional Consistency ..:

, In: Programming Languages and Systems; Lecture Notes in Computer Science,

Beillahi, Sidi Mohamed ; Bouajjani, Ahmed ; Enea, Constantin - p. 87-117 , 2021

Link: https://doi.org/10.1007/..

15

Behavioral simulation for smart contracts:

, In: Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation,

Beillahi, Sidi Mohamed ; Ciocarlie, Gabriela ; Emmi, Michael. - p. 470-486 , 2020

Link: https://dl.acm.org/doi/1..