iBet uBet web content aggregator. Adding the entire web to your favor.
iBet uBet web content aggregator. Adding the entire web to your favor.



Link to original content: https://dblp.org/pid/162/3997.rss
dblp: Sidi Mohamed Beillahi https://dblp.org/pid/162/3997.html dblp person page RSS feed Mon, 18 Nov 2024 20:45:11 +0100 en-US daily 1 released under the CC0 1.0 license dblp@dagstuhl.de (dblp team) dblp@dagstuhl.de (dblp team) Computers/Computer_Science/Publications/Bibliographies http://www.rssboard.org/rss-specification https://dblp.org/img/logo.144x51.pngdblp: Sidi Mohamed Beillahihttps://dblp.org/pid/162/3997.html14451 Demystifying Invariant Effectiveness for Securing Smart Contracts.https://doi.org/10.1145/3660786, , , , :
Demystifying Invariant Effectiveness for Securing Smart Contracts. Proc. ACM Softw. Eng. 1(FSE): 1772-1795 ()]]>https://dblp.org/rec/journals/pacmse/Chen0B0L24Mon, 01 Jan 2024 00:00:00 +0100 LMPT: A Novel Authenticated Data Structure to Eliminate Storage Bottlenecks for High Performance Blockchains.https://doi.org/10.1109/TNSM.2023.3346202, , , , , , :
LMPT: A Novel Authenticated Data Structure to Eliminate Storage Bottlenecks for High Performance Blockchains. IEEE Trans. Netw. Serv. Manag. 21(2): 1333-1343 ()]]>https://dblp.org/rec/journals/tnsm/ChoiBSMLVL24Mon, 01 Apr 2024 01:00:00 +0200 LVMT: An Efficient Authenticated Storage for Blockchain.https://doi.org/10.1145/3664818, , , , , :
LVMT: An Efficient Authenticated Storage for Blockchain. ACM Trans. Storage 20(3): 17 ()]]>https://dblp.org/rec/journals/tos/LiBYWXL24Thu, 01 Aug 2024 01:00:00 +0200 FlashSyn: Flash Loan Attack Synthesis via Counter Example Driven Approximation.https://doi.org/10.1145/3597503.3639190, , :
FlashSyn: Flash Loan Attack Synthesis via Counter Example Driven Approximation. ICSE : 142:1-142:13]]>https://dblp.org/rec/conf/icse/ChenBL24Mon, 01 Jan 2024 00:00:00 +0100 Safeguarding DeFi Smart Contracts against Oracle Deviations.https://doi.org/10.1145/3597503.3639225, , , , , :
Safeguarding DeFi Smart Contracts against Oracle Deviations. ICSE : 171:1-171:12]]>https://dblp.org/rec/conf/icse/DengBMDVL24Mon, 01 Jan 2024 00:00:00 +0100 Safeguarding DeFi Smart Contracts against Oracle Deviations.https://doi.org/10.48550/arXiv.2401.06044, , , , , :
Safeguarding DeFi Smart Contracts against Oracle Deviations. CoRR abs/2401.06044 ()]]>https://dblp.org/rec/journals/corr/abs-2401-06044Mon, 01 Jan 2024 00:00:00 +0100 Demystifying Invariant Effectiveness for Securing Smart Contracts.https://doi.org/10.48550/arXiv.2404.14580, , , , :
Demystifying Invariant Effectiveness for Securing Smart Contracts. CoRR abs/2404.14580 ()]]>https://dblp.org/rec/journals/corr/abs-2404-14580Mon, 01 Jan 2024 00:00:00 +0100 Assessing Code Generation with Intermediate Languages.https://doi.org/10.48550/arXiv.2407.05411, , , , , , :
Assessing Code Generation with Intermediate Languages. CoRR abs/2407.05411 ()]]>https://dblp.org/rec/journals/corr/abs-2407-05411Mon, 01 Jan 2024 00:00:00 +0100 OpenTracer: A Dynamic Transaction Trace Analyzer for Smart Contract Invariant Generation and Beyond.https://doi.org/10.48550/arXiv.2407.10039, , , , :
OpenTracer: A Dynamic Transaction Trace Analyzer for Smart Contract Invariant Generation and Beyond. CoRR abs/2407.10039 ()]]>https://dblp.org/rec/journals/corr/abs-2407-10039Mon, 01 Jan 2024 00:00:00 +0100 A Robust Front-Running Methodology for Malicious Flash- Loan DeFi Attacks.https://doi.org/10.1109/DAPPS57946.2023.00015, , , , , , , :
A Robust Front-Running Methodology for Malicious Flash- Loan DeFi Attacks. DAPPS : 38-47]]>https://dblp.org/rec/conf/dappcon/DengZBDMNVL23Sun, 01 Jan 2023 00:00:00 +0100 Möbius: an Atomic State Sharding Design for Account-Based Blockchains.https://doi.org/10.1109/ICBC56567.2023.10174978, , , , :
Möbius: an Atomic State Sharding Design for Account-Based Blockchains. ICBC : 1-9]]>https://dblp.org/rec/conf/icbc2/SinghMBVL23Sun, 01 Jan 2023 00:00:00 +0100 Comparing Causal Convergence Consistency Models.https://doi.org/10.1007/978-3-031-37765-5_5, , :
Comparing Causal Convergence Consistency Models. NETYS : 62-77]]>https://dblp.org/rec/conf/netys/BeillahiBE23Sun, 01 Jan 2023 00:00:00 +0100 LVMT: An Efficient Authenticated Storage for Blockchain.https://www.usenix.org/conference/osdi23/presentation/li-chenxing, , , , , :
LVMT: An Efficient Authenticated Storage for Blockchain. OSDI : 135-153]]>https://dblp.org/rec/conf/osdi/LiB00XL23Sun, 01 Jan 2023 00:00:00 +0100 SigVM: enabling event-driven execution for truly decentralized smart contracts.https://doi.org/10.1145/3563312, , , , , :
SigVM: enabling event-driven execution for truly decentralized smart contracts. Proc. ACM Program. Lang. 6(OOPSLA2): 673-698 ()]]>https://dblp.org/rec/journals/pacmpl/ZhaoBSCVL22Sat, 01 Jan 2022 00:00:00 +0100 Automated Auditing of Price Gouging TOD Vulnerabilities in Smart Contracts.https://doi.org/10.1109/ICBC54727.2022.9805509, , , , :
Automated Auditing of Price Gouging TOD Vulnerabilities in Smart Contracts. ICBC : 1-6]]>https://dblp.org/rec/conf/icbc2/BeillahiKNVL22Sat, 01 Jan 2022 00:00:00 +0100 LMPTs: Eliminating Storage Bottlenecks for Processing Blockchain Transactions.https://doi.org/10.1109/ICBC54727.2022.9805484, , , , :
LMPTs: Eliminating Storage Bottlenecks for Processing Blockchain Transactions. ICBC : 1-9]]>https://dblp.org/rec/conf/icbc2/ChoiBLVL22Sat, 01 Jan 2022 00:00:00 +0100 Automated Synthesis of Asynchronizations.https://doi.org/10.1007/978-3-031-22308-2_7, , , :
Automated Synthesis of Asynchronizations. SAS : 135-159]]>https://dblp.org/rec/conf/sas/BeillahiBEL22Sat, 01 Jan 2022 00:00:00 +0100 FlashSyn: Flash Loan Attack Synthesis via Counter Example Driven Approximation.https://doi.org/10.48550/arXiv.2206.10708, , :
FlashSyn: Flash Loan Attack Synthesis via Counter Example Driven Approximation. CoRR abs/2206.10708 ()]]>https://dblp.org/rec/journals/corr/abs-2206-10708Sat, 01 Jan 2022 00:00:00 +0100 Automated Synthesis of Asynchronizations.https://doi.org/10.48550/arXiv.2209.06648, , , :
Automated Synthesis of Asynchronizations. CoRR abs/2209.06648 ()]]>https://dblp.org/rec/journals/corr/abs-2209-06648Sat, 01 Jan 2022 00:00:00 +0100 Robustness Against Transactional Causal Consistency.https://lmcs.episciences.org/7149, , :
Robustness Against Transactional Causal Consistency. Log. Methods Comput. Sci. 17(1) ()]]>https://dblp.org/rec/journals/lmcs/BeillahiBE21Fri, 01 Jan 2021 00:00:00 +0100 Smart Contracts Refinement for Gas Optimization.https://doi.org/10.1109/BRAINS52497.2021.9569819, , , :
Smart Contracts Refinement for Gas Optimization. BRAINS : 229-236]]>https://dblp.org/rec/conf/brains/NelaturuBLV21Fri, 01 Jan 2021 00:00:00 +0100 Checking Robustness Between Weak Transactional Consistency Models.https://doi.org/10.1007/978-3-030-72019-3_4, , :
Checking Robustness Between Weak Transactional Consistency Models. ESOP : 87-117]]>https://dblp.org/rec/conf/esop/BeillahiBE21Fri, 01 Jan 2021 00:00:00 +0100 Checking Robustness Between Weak Transactional Consistency Models.https://arxiv.org/abs/2101.09032, , :
Checking Robustness Between Weak Transactional Consistency Models. CoRR abs/2101.09032 ()]]>https://dblp.org/rec/journals/corr/abs-2101-09032Fri, 01 Jan 2021 00:00:00 +0100 Behavioral simulation for smart contracts.https://doi.org/10.1145/3385412.3386022, , , :
Behavioral simulation for smart contracts. PLDI : 470-486]]>https://dblp.org/rec/conf/pldi/BeillahiCEE20Wed, 01 Jan 2020 00:00:00 +0100 A modeling and verification framework for optical quantum circuits.https://doi.org/10.1007/s00165-019-00480-5, , :
A modeling and verification framework for optical quantum circuits. Formal Aspects Comput. 31(3): 321-351 ()]]>https://dblp.org/rec/journals/fac/BeillahiMT19Tue, 01 Jan 2019 00:00:00 +0100 Checking Robustness Against Snapshot Isolation.https://doi.org/10.1007/978-3-030-25543-5_17, , :
Checking Robustness Against Snapshot Isolation. CAV (2) : 286-304]]>https://dblp.org/rec/conf/cav/BeillahiBE19Tue, 01 Jan 2019 00:00:00 +0100 Robustness Against Transactional Causal Consistency.https://doi.org/10.4230/LIPIcs.CONCUR.2019.30, , :
Robustness Against Transactional Causal Consistency. CONCUR : 30:1-30:18]]>https://dblp.org/rec/conf/concur/BeillahiBE19Tue, 01 Jan 2019 00:00:00 +0100 Checking Robustness Against Snapshot Isolation.http://arxiv.org/abs/1905.08406, , :
Checking Robustness Against Snapshot Isolation. CoRR abs/1905.08406 ()]]>https://dblp.org/rec/journals/corr/abs-1905-08406Tue, 01 Jan 2019 00:00:00 +0100 Robustness Against Transactional Causal Consistency.http://arxiv.org/abs/1906.12095, , :
Robustness Against Transactional Causal Consistency. CoRR abs/1906.12095 ()]]>https://dblp.org/rec/journals/corr/abs-1906-12095Tue, 01 Jan 2019 00:00:00 +0100 Formal Analysis of Engineering Systems Based on Signal-Flow-Graph Theory.https://doi.org/10.1007/978-3-319-54292-8_3, , :
Formal Analysis of Engineering Systems Based on Signal-Flow-Graph Theory. NSV@CAV : 31-46]]>https://dblp.org/rec/conf/cav/BeillahiST16Fri, 01 Jan 2016 00:00:00 +0100 Hierarchical Verification of Quantum Circuits.https://doi.org/10.1007/978-3-319-40648-0_26, , :
Hierarchical Verification of Quantum Circuits. NFM : 344-352]]>https://dblp.org/rec/conf/nfm/BeillahiMT16Fri, 01 Jan 2016 00:00:00 +0100 On the Formal Analysis of Photonic Signal Processing Systems.https://doi.org/10.1007/978-3-319-19458-5_11, , :
On the Formal Analysis of Photonic Signal Processing Systems. FMICS : 162-177]]>https://dblp.org/rec/conf/fmics/SiddiqueBT15Thu, 01 Jan 2015 00:00:00 +0100 Formal Analysis of Power Electronic Systems.https://doi.org/10.1007/978-3-319-25423-4_17, , :
Formal Analysis of Power Electronic Systems. ICFEM : 270-286]]>https://dblp.org/rec/conf/icfem/BeillahiST15Thu, 01 Jan 2015 00:00:00 +0100