{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,21]],"date-time":"2026-03-21T06:31:41Z","timestamp":1774074701944,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":61,"publisher":"ACM","license":[{"start":{"date-parts":[[2022,11,7]],"date-time":"2022-11-07T00:00:00Z","timestamp":1667779200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"NSF","award":["CCF-1901482"],"award-info":[{"award-number":["CCF-1901482"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2022,11,7]]},"DOI":"10.1145\/3548606.3560552","type":"proceedings-article","created":{"date-parts":[[2022,11,7]],"date-time":"2022-11-07T11:41:28Z","timestamp":1667821288000},"page":"639-652","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":28,"title":["VRust"],"prefix":"10.1145","author":[{"given":"Siwei","family":"Cui","sequence":"first","affiliation":[{"name":"Texas A&M University, College Station, TX, USA"}]},{"given":"Gang","family":"Zhao","sequence":"additional","affiliation":[{"name":"Texas A&M University, College Station, TX, USA"}]},{"given":"Yifei","family":"Gao","sequence":"additional","affiliation":[{"name":"Texas A&M University, College Station, TX, USA"}]},{"given":"Tien","family":"Tavu","sequence":"additional","affiliation":[{"name":"Texas A&M University, College Station, TX, USA"}]},{"given":"Jeff","family":"Huang","sequence":"additional","affiliation":[{"name":"Texas A&M University, College Station, TX, USA"}]}],"member":"320","published-online":{"date-parts":[[2022,11,7]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICCBB.2018.8756390"},{"key":"e_1_3_2_1_2_1","volume-title":"https:\/\/hackmd.io\/@ironaddicteddog\/solana-anchor-escrow Retrieved","year":"2022","unstructured":"Anchor. 2020. Anchor. https:\/\/hackmd.io\/@ironaddicteddog\/solana-anchor-escrow Retrieved April 18, 2022 . Anchor. 2020. Anchor. https:\/\/hackmd.io\/@ironaddicteddog\/solana-anchor-escrow Retrieved April 18, 2022."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/3190508.3190538"},{"key":"e_1_3_2_1_4_1","volume-title":"coral-xyz\/sealevel-attacks: Common Security Exploits and Protections on Solana. https:\/\/github.com\/coral-xyz\/sealevel-attacks Retrieved","author":"Ferrante Armani","year":"2022","unstructured":"Armani Ferrante . 2022. coral-xyz\/sealevel-attacks: Common Security Exploits and Protections on Solana. https:\/\/github.com\/coral-xyz\/sealevel-attacks Retrieved Sep. 6, 2022 . et al. Armani Ferrante. 2022. coral-xyz\/sealevel-attacks: Common Security Exploits and Protections on Solana. https:\/\/github.com\/coral-xyz\/sealevel-attacks Retrieved Sep. 6, 2022."},{"key":"e_1_3_2_1_5_1","volume-title":"Solana vs Ethereum: A Detailed Comparison | Alexandria. https:\/\/coinmarketcap.com\/alexandria\/article\/solana-vs-ethereum-a-detailed-comparison Retrieved","year":"2022","unstructured":"Avyan. 2022. Solana vs Ethereum: A Detailed Comparison | Alexandria. https:\/\/coinmarketcap.com\/alexandria\/article\/solana-vs-ethereum-a-detailed-comparison Retrieved April 05, 2022 . Avyan. 2022. Solana vs Ethereum: A Detailed Comparison | Alexandria. https:\/\/coinmarketcap.com\/alexandria\/article\/solana-vs-ethereum-a-detailed-comparison Retrieved April 05, 2022."},{"key":"e_1_3_2_1_6_1","volume-title":"What is Hyperledger Fabric? https:\/\/aws.amazon.com\/blockchain\/what-is-hyperledger-fabric\/ Retrieved","author":"AWS.","year":"2022","unstructured":"AWS. 2022. What is Hyperledger Fabric? https:\/\/aws.amazon.com\/blockchain\/what-is-hyperledger-fabric\/ Retrieved August 10, 2022 . AWS. 2022. What is Hyperledger Fabric? https:\/\/aws.amazon.com\/blockchain\/what-is-hyperledger-fabric\/ Retrieved August 10, 2022."},{"key":"e_1_3_2_1_7_1","volume-title":"3rd Symposium on Distributed Ledger Technology (SDLT-2018)","author":"Beckert Bernhard","year":"2018","unstructured":"Bernhard Beckert , Mihai Herda , Michael Kirsten , and Jonas Schiffl . 2018 . Formal specification and verification of Hyperledger Fabric chaincode . In 3rd Symposium on Distributed Ledger Technology (SDLT-2018) co-located with ICFEM. 44--48. Bernhard Beckert, Mihai Herda, Michael Kirsten, and Jonas Schiffl. 2018. Formal specification and verification of Hyperledger Fabric chaincode. In 3rd Symposium on Distributed Ledger Technology (SDLT-2018) co-located with ICFEM. 44--48."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1007\/s13389-012-0027-1"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.3390\/jtaer16050072"},{"key":"e_1_3_2_1_10_1","first-page":"173","article-title":"Practical byzantine fault tolerance","volume":"99","author":"Castro Miguel","year":"1999","unstructured":"Miguel Castro , Barbara Liskov , 1999 . Practical byzantine fault tolerance . In OsDI , Vol. 99. 173 -- 186 . Miguel Castro, Barbara Liskov, et al. 1999. Practical byzantine fault tolerance. In OsDI, Vol. 99. 173--186.","journal-title":"OsDI"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jbvi.2019.e00151"},{"key":"e_1_3_2_1_12_1","volume-title":"Non-fungible tokens: Blockchains, scarcity, and value. Critical Blockchain Research Initiative (CBRI) Working Papers","author":"Chohan Usman W","year":"2021","unstructured":"Usman W Chohan . 2021. Non-fungible tokens: Blockchains, scarcity, and value. Critical Blockchain Research Initiative (CBRI) Working Papers ( 2021 ). Usman W Chohan. 2021. Non-fungible tokens: Blockchains, scarcity, and value. Critical Blockchain Research Initiative (CBRI) Working Papers (2021)."},{"key":"e_1_3_2_1_13_1","volume-title":"ETH to USD live, marketcap and chart | CoinMarketCap. https:\/\/coinmarketcap.com\/currencies\/ethereum\/ Retrieved","year":"2022","unstructured":"Coinmarketcap. 2022. Ethereum price today , ETH to USD live, marketcap and chart | CoinMarketCap. https:\/\/coinmarketcap.com\/currencies\/ethereum\/ Retrieved April 20, 2022 . Coinmarketcap. 2022. Ethereum price today, ETH to USD live, marketcap and chart | CoinMarketCap. https:\/\/coinmarketcap.com\/currencies\/ethereum\/ Retrieved April 20, 2022."},{"key":"e_1_3_2_1_14_1","volume-title":"Hedera, Quorum, Vechain, Roostock, Tron and other EVM-compatible blockchains. https:\/\/github.com\/ConsenSys\/mythril Retrieved","year":"2022","unstructured":"ConsenSys. 2022. ConsenSys\/mythril : Security analysis tool for EVM bytecode. Supports smart contracts built for Ethereum , Hedera, Quorum, Vechain, Roostock, Tron and other EVM-compatible blockchains. https:\/\/github.com\/ConsenSys\/mythril Retrieved April 13, 2022 . ConsenSys. 2022. ConsenSys\/mythril: Security analysis tool for EVM bytecode. Supports smart contracts built for Ethereum, Hedera, Quorum, Vechain, Roostock, Tron and other EVM-compatible blockchains. https:\/\/github.com\/ConsenSys\/mythril Retrieved April 13, 2022."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1109\/QRS-C55045.2021.00094"},{"key":"e_1_3_2_1_16_1","volume-title":"https:\/\/ethereum.org\/en\/ Retrieved","author":"Home","year":"2022","unstructured":"ethereum. 2015. Home | ethereum.org. https:\/\/ethereum.org\/en\/ Retrieved March 29, 2022 . ethereum. 2015. Home | ethereum.org. https:\/\/ethereum.org\/en\/ Retrieved March 29, 2022."},{"key":"e_1_3_2_1_17_1","volume-title":"https:\/\/hyperledger-fabric.readthedocs.io\/en\/release-2.2\/blockchain.html Retrieved","author":"Blockchain Fabric","year":"2022","unstructured":"Fabric. 2022a. Fabric Blockchain . https:\/\/hyperledger-fabric.readthedocs.io\/en\/release-2.2\/blockchain.html Retrieved August 9, 2022 . Fabric. 2022a. Fabric Blockchain. https:\/\/hyperledger-fabric.readthedocs.io\/en\/release-2.2\/blockchain.html Retrieved August 9, 2022."},{"key":"e_1_3_2_1_18_1","volume-title":"https:\/\/hyperledger-fabric.readthedocs.io\/en\/release-2.2\/fabric_model.html Retrieved","author":"Model Fabric","year":"2022","unstructured":"Fabric. 2022b. Fabric Model . https:\/\/hyperledger-fabric.readthedocs.io\/en\/release-2.2\/fabric_model.html Retrieved August 9, 2022 . Fabric. 2022b. Fabric Model. https:\/\/hyperledger-fabric.readthedocs.io\/en\/release-2.2\/fabric_model.html Retrieved August 9, 2022."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1109\/WETSEB.2019.00008"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSME.2019.00067"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2020.2971482"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/3395363.3397385"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1109\/EuroSP48549.2020.00023"},{"key":"e_1_3_2_1_24_1","volume-title":"Working Conference on Verified Software: Theories, Tools, and Experiments. Springer, 161--179","author":"Hajdu \u00c1kos","year":"2019","unstructured":"\u00c1kos Hajdu and Dejan Jovanovi\u0107 . 2019 . solc-verify: A modular verifier for solidity smart contracts . In Working Conference on Verified Software: Theories, Tools, and Experiments. Springer, 161--179 . \u00c1kos Hajdu and Dejan Jovanovi\u0107. 2019. solc-verify: A modular verifier for solidity smart contracts. In Working Conference on Verified Software: Theories, Tools, and Experiments. Springer, 161--179."},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2009.30"},{"key":"e_1_3_2_1_26_1","volume-title":"Check instructions sysvar \u00b7 certusone\/wormhole@e8b9181. https:\/\/github.com\/certusone\/wormhole\/commit\/e8b91810a9bb35c3c139f86b4d0795432d647305 Retrieved","author":"Hofstadt Hendrik","year":"2022","unstructured":"Hendrik Hofstadt . 2022a. Check instructions sysvar \u00b7 certusone\/wormhole@e8b9181. https:\/\/github.com\/certusone\/wormhole\/commit\/e8b91810a9bb35c3c139f86b4d0795432d647305 Retrieved April 26, 2022 . Hendrik Hofstadt. 2022a. Check instructions sysvar \u00b7 certusone\/wormhole@e8b9181. https:\/\/github.com\/certusone\/wormhole\/commit\/e8b91810a9bb35c3c139f86b4d0795432d647305 Retrieved April 26, 2022."},{"key":"e_1_3_2_1_27_1","volume-title":"Update Solana to 1.9.4. https:\/\/github.com\/certusone\/wormhole\/commit\/7edbbd3677ee6ca681be8722a607bc576a3912c8 Retrieved","author":"Hofstadt Hendrik","year":"2022","unstructured":"Hendrik Hofstadt . 2022b. Update Solana to 1.9.4. https:\/\/github.com\/certusone\/wormhole\/commit\/7edbbd3677ee6ca681be8722a607bc576a3912c8 Retrieved March 29, 2022 . Hendrik Hofstadt. 2022b. Update Solana to 1.9.4. https:\/\/github.com\/certusone\/wormhole\/commit\/7edbbd3677ee6ca681be8722a607bc576a3912c8 Retrieved March 29, 2022."},{"key":"e_1_3_2_1_28_1","volume-title":"https:\/\/www.hyperledger.org\/wp-content\/uploads\/2018\/04\/Hyperledger_Arch_WG_Paper_2_SmartContracts.pdf Retrieved","author":"Architecture Hyperledger","year":"2022","unstructured":"Hyperledger. 2022a. Hyperledger Architecture , Volume II. https:\/\/www.hyperledger.org\/wp-content\/uploads\/2018\/04\/Hyperledger_Arch_WG_Paper_2_SmartContracts.pdf Retrieved August 10, 2022 . Hyperledger. 2022a. Hyperledger Architecture, Volume II. https:\/\/www.hyperledger.org\/wp-content\/uploads\/2018\/04\/Hyperledger_Arch_WG_Paper_2_SmartContracts.pdf Retrieved August 10, 2022."},{"key":"e_1_3_2_1_29_1","volume-title":"Hyperledger -- Open Source Blockchain Technologies. https:\/\/www.hyperledger.org\/ Retrieved","year":"2022","unstructured":"Hyperledger. 2022b. Hyperledger -- Open Source Blockchain Technologies. https:\/\/www.hyperledger.org\/ Retrieved August 9, 2022 . Hyperledger. 2022b. Hyperledger -- Open Source Blockchain Technologies. https:\/\/www.hyperledger.org\/ Retrieved August 9, 2022."},{"key":"e_1_3_2_1_30_1","volume-title":"https:\/\/blog.coinbase.com\/scaling-ethereum-crypto-for-a-billion-users-715ce15afc0b Retrieved","author":"Justin Mart Connor Dempsey","year":"2022","unstructured":"Connor Dempsey Justin Mart . 2021. Scaling Ethereum & crypto for a billion users | by Coinbase | The Coinbase Blog . https:\/\/blog.coinbase.com\/scaling-ethereum-crypto-for-a-billion-users-715ce15afc0b Retrieved March 29, 2022 . Connor Dempsey Justin Mart. 2021. Scaling Ethereum & crypto for a billion users | by Coinbase | The Coinbase Blog. https:\/\/blog.coinbase.com\/scaling-ethereum-crypto-for-a-billion-users-715ce15afc0b Retrieved March 29, 2022."},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"crossref","unstructured":"Sukrit Kalra Seep Goel Mohan Dhawan and Subodh Sharma. 2018. Zeus: analyzing safety of smart contracts.. In Ndss. 1--12.  Sukrit Kalra Seep Goel Mohan Dhawan and Subodh Sharma. 2018. Zeus: analyzing safety of smart contracts.. In Ndss. 1--12.","DOI":"10.14722\/ndss.2018.23082"},{"key":"e_1_3_2_1_32_1","volume-title":"International Conference on Blockchain. Springer, 74--100","author":"Li Xiangyu","year":"2021","unstructured":"Xiangyu Li , Xinyu Wang , Tingli Kong , Junhao Zheng , and Min Luo . 2021 . From Bitcoin to Solana--Innovating Blockchain Towards Enterprise Applications . In International Conference on Blockchain. Springer, 74--100 . Xiangyu Li, Xinyu Wang, Tingli Kong, Junhao Zheng, and Min Luo. 2021. From Bitcoin to Solana--Innovating Blockchain Towards Enterprise Applications. In International Conference on Blockchain. Springer, 74--100."},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/3183440.3183495"},{"key":"e_1_3_2_1_34_1","volume-title":"A hacker exploited an \"infinite mint glitch\" and drained about $28 million worth of assets from? | by lunaray | Coinmonks |","year":"2022","unstructured":"lunaray. 2022. A hacker exploited an \"infinite mint glitch\" and drained about $28 million worth of assets from? | by lunaray | Coinmonks | Mar , 2022 | Medium . https:\/\/medium.com\/coinmonks\/a-hacker-exploited-an-infinite-mint-glitch-and-drained-about-28-million-worth-of-assets-from-a19277c0e20c Retrieved April 30, 2022. lunaray. 2022. A hacker exploited an \"infinite mint glitch\" and drained about $28 million worth of assets from? | by lunaray | Coinmonks | Mar, 2022 | Medium. https:\/\/medium.com\/coinmonks\/a-hacker-exploited-an-infinite-mint-glitch-and-drained-about-28-million-worth-of-assets-from-a19277c0e20c Retrieved April 30, 2022."},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/2976749.2978309"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1109\/ISCC53001.2021.9631249"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2019.00133"},{"key":"e_1_3_2_1_38_1","volume-title":"Introduction - Solana Security Workshop. https:\/\/workshop.neodyme.io\/ Retrieved","year":"2021","unstructured":"Neodyme. 2021 . Introduction - Solana Security Workshop. https:\/\/workshop.neodyme.io\/ Retrieved Sep 6, 2022. Neodyme. 2021. Introduction - Solana Security Workshop. https:\/\/workshop.neodyme.io\/ Retrieved Sep 6, 2022."},{"key":"e_1_3_2_1_39_1","volume-title":"solana-poc-framework. https:\/\/github.com\/neodyme-labs\/solana-poc-framework Retrieved","year":"2022","unstructured":"neodyme labs. 2021. solana-poc-framework. https:\/\/github.com\/neodyme-labs\/solana-poc-framework Retrieved April 26, 2022 . neodyme labs. 2021. solana-poc-framework. https:\/\/github.com\/neodyme-labs\/solana-poc-framework Retrieved April 26, 2022."},{"key":"e_1_3_2_1_40_1","volume-title":"Rekt - Poly Network - REKT. https:\/\/rekt.news\/polynetwork-rekt\/ Retrieved","author":"Network Poly","year":"2022","unstructured":"Poly Network . 2022. Rekt - Poly Network - REKT. https:\/\/rekt.news\/polynetwork-rekt\/ Retrieved August 10, 2022 . Poly Network. 2022. Rekt - Poly Network - REKT. https:\/\/rekt.news\/polynetwork-rekt\/ Retrieved August 10, 2022."},{"key":"e_1_3_2_1_41_1","volume-title":"https:\/\/arrowprotocol.com\/ Retrieved","author":"Protocol Arrow","year":"2022","unstructured":"Arrow Protocol . 2021. Arrow. https:\/\/arrowprotocol.com\/ Retrieved April 30, 2022 . Arrow Protocol. 2021. Arrow. https:\/\/arrowprotocol.com\/ Retrieved April 30, 2022."},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2020.2969429"},{"key":"e_1_3_2_1_43_1","volume-title":"1191-hir - The Rust RFC Book. https:\/\/rust-lang.github.io\/rfcs\/1191-hir.html Retrieved","author":"RFCs.","year":"2022","unstructured":"RFCs. 2015. 1191-hir - The Rust RFC Book. https:\/\/rust-lang.github.io\/rfcs\/1191-hir.html Retrieved April 27, 2022 . RFCs. 2015. 1191-hir - The Rust RFC Book. https:\/\/rust-lang.github.io\/rfcs\/1191-hir.html Retrieved April 27, 2022."},{"key":"e_1_3_2_1_44_1","volume-title":"1211-mir - The Rust RFC Book. https:\/\/rust-lang.github.io\/rfcs\/1211-mir.html Retrieved","author":"RFCs.","year":"2022","unstructured":"RFCs. 2022. 1211-mir - The Rust RFC Book. https:\/\/rust-lang.github.io\/rfcs\/1211-mir.html Retrieved April 21, 2022 . RFCs. 2022. 1211-mir - The Rust RFC Book. https:\/\/rust-lang.github.io\/rfcs\/1211-mir.html Retrieved April 21, 2022."},{"key":"e_1_3_2_1_45_1","volume-title":"https:\/\/github.com\/sivachokkapu\/revive-cc Retrieved","author":"CC.","year":"2022","unstructured":"sivachokkapu. 2020. Revive CC. https:\/\/github.com\/sivachokkapu\/revive-cc Retrieved August 11, 2022 . sivachokkapu. 2020. ReviveCC. https:\/\/github.com\/sivachokkapu\/revive-cc Retrieved August 11, 2022."},{"key":"e_1_3_2_1_46_1","volume-title":"Scalable Blockchain Infrastructure: Billions of transactions & counting | Solana: Build crypto apps that scale. https:\/\/solana.com\/ Retrieved","year":"2022","unstructured":"Solana. 2019. Scalable Blockchain Infrastructure: Billions of transactions & counting | Solana: Build crypto apps that scale. https:\/\/solana.com\/ Retrieved March 29, 2022 . Solana. 2019. Scalable Blockchain Infrastructure: Billions of transactions & counting | Solana: Build crypto apps that scale. https:\/\/solana.com\/ Retrieved March 29, 2022."},{"key":"e_1_3_2_1_47_1","volume-title":"Calling Between Programs | Solana Docs. https:\/\/docs.solana.com\/developing\/programming-model\/calling-between-programs Retrieved","year":"2022","unstructured":"Solana. 2022. Calling Between Programs | Solana Docs. https:\/\/docs.solana.com\/developing\/programming-model\/calling-between-programs Retrieved July 31, 2022 . Solana. 2022. Calling Between Programs | Solana Docs. https:\/\/docs.solana.com\/developing\/programming-model\/calling-between-programs Retrieved July 31, 2022."},{"key":"e_1_3_2_1_48_1","volume-title":"https:\/\/docs.solana.com\/developing\/programming-model\/overview Retrieved","author":"Solana Docs Overview","year":"2022","unstructured":"solana. 2022. Overview | Solana Docs . https:\/\/docs.solana.com\/developing\/programming-model\/overview Retrieved April 07, 2022 . solana. 2022. Overview | Solana Docs. https:\/\/docs.solana.com\/developing\/programming-model\/overview Retrieved April 07, 2022."},{"key":"e_1_3_2_1_49_1","volume-title":"Program Derived Addresses (PDAs) | Solana Cookbook. https:\/\/solanacookbook.com\/core-concepts\/pdas.html#facts Retrieved","year":"2022","unstructured":"Solana. 2022a. Program Derived Addresses (PDAs) | Solana Cookbook. https:\/\/solanacookbook.com\/core-concepts\/pdas.html#facts Retrieved August 8, 2022 . Solana. 2022a. Program Derived Addresses (PDAs) | Solana Cookbook. https:\/\/solanacookbook.com\/core-concepts\/pdas.html#facts Retrieved August 8, 2022."},{"key":"e_1_3_2_1_50_1","volume-title":"https:\/\/saber.so\/ Retrieved","author":"Saber","year":"2022","unstructured":"Solana. 2022b. Saber | Solana AMM and DEX. https:\/\/saber.so\/ Retrieved April 30, 2022 from https:\/\/saber.so\/ Solana. 2022b. Saber | Solana AMM and DEX. https:\/\/saber.so\/ Retrieved April 30, 2022 from https:\/\/saber.so\/"},{"key":"e_1_3_2_1_51_1","volume-title":"https:\/\/docs.solana.com\/implemented-proposals\/tower-bft Retrieved","author":"Solana Docs Tower BFT","year":"2022","unstructured":"Solana. 2022c. Tower BFT | Solana Docs . https:\/\/docs.solana.com\/implemented-proposals\/tower-bft Retrieved April 05, 2022 . Solana. 2022c. Tower BFT | Solana Docs. https:\/\/docs.solana.com\/implemented-proposals\/tower-bft Retrieved April 05, 2022."},{"key":"e_1_3_2_1_52_1","volume-title":"Data Types - The Rust Programming Language. https:\/\/doc.rust-lang.org\/book\/ch03-02-data-types.html#integer-overflow Retrieved","author":"Steve Klabnik Carol Nichols","year":"2022","unstructured":"Carol Nichols Steve Klabnik . 2022. Data Types - The Rust Programming Language. https:\/\/doc.rust-lang.org\/book\/ch03-02-data-types.html#integer-overflow Retrieved April 05, 2022 . Carol Nichols Steve Klabnik. 2022. Data Types - The Rust Programming Language. https:\/\/doc.rust-lang.org\/book\/ch03-02-data-types.html#integer-overflow Retrieved April 05, 2022."},{"key":"e_1_3_2_1_53_1","doi-asserted-by":"publisher","DOI":"10.1145\/3194113.3194115"},{"key":"e_1_3_2_1_54_1","doi-asserted-by":"publisher","DOI":"10.1145\/3243734.3243780"},{"key":"e_1_3_2_1_55_1","volume-title":"Parallel Processing: Solana's Key to Hardware Scalability. https:\/\/www.johnwang.xyz\/parallel-processing-solanas-key-to-hardware-scalability\/ Retrieved","author":"Wang John","year":"2021","unstructured":"John Wang . 2021 . Parallel Processing: Solana's Key to Hardware Scalability. https:\/\/www.johnwang.xyz\/parallel-processing-solanas-key-to-hardware-scalability\/ Retrieved April 11, 2022. John Wang. 2021. Parallel Processing: Solana's Key to Hardware Scalability. https:\/\/www.johnwang.xyz\/parallel-processing-solanas-key-to-hardware-scalability\/ Retrieved April 11, 2022."},{"key":"e_1_3_2_1_56_1","volume-title":"Solana vs Ethereum: What's the Difference? https:\/\/www.one37pm.com\/nft\/tech\/solana-vs-ethereum Retrieved","author":"White-Gomez Alex","year":"2022","unstructured":"Alex White-Gomez . 2022. Solana vs Ethereum: What's the Difference? https:\/\/www.one37pm.com\/nft\/tech\/solana-vs-ethereum Retrieved April 04, 2022 . Alex White-Gomez. 2022. Solana vs Ethereum: What's the Difference? https:\/\/www.one37pm.com\/nft\/tech\/solana-vs-ethereum Retrieved April 04, 2022."},{"key":"e_1_3_2_1_57_1","volume-title":"Solana: A new architecture for a high performance blockchain v0. 8.13. Whitepaper","author":"Yakovenko Anatoly","year":"2018","unstructured":"Anatoly Yakovenko . 2018 . Solana: A new architecture for a high performance blockchain v0. 8.13. Whitepaper (2018). Anatoly Yakovenko. 2018. Solana: A new architecture for a high performance blockchain v0. 8.13. Whitepaper (2018)."},{"key":"e_1_3_2_1_58_1","unstructured":"Anatoly Yakovenko. 2019. Sealevel - Parallel Processing Thousands of Smart Contracts | by Anatoly Yakovenko | Solana | Medium. https:\/\/medium.com\/solana-labs\/sealevel-parallel-processing-thousands-of-smart-contracts-d814b378192 Retrieved April 11 2022.  Anatoly Yakovenko. 2019. Sealevel - Parallel Processing Thousands of Smart Contracts | by Anatoly Yakovenko | Solana | Medium. https:\/\/medium.com\/solana-labs\/sealevel-parallel-processing-thousands-of-smart-contracts-d814b378192 Retrieved April 11 2022."},{"key":"e_1_3_2_1_59_1","doi-asserted-by":"publisher","DOI":"10.1109\/IWBOSE.2019.8666486"},{"key":"e_1_3_2_1_60_1","volume-title":"Bitcoin Market Cap. https:\/\/ycharts.com\/indicators\/bitcoin_market_cap Retrieved","year":"2022","unstructured":"Ycharts. 2022. Bitcoin Market Cap. https:\/\/ycharts.com\/indicators\/bitcoin_market_cap Retrieved April 04, 2022 . Ycharts. 2022. Bitcoin Market Cap. https:\/\/ycharts.com\/indicators\/bitcoin_market_cap Retrieved April 04, 2022."},{"key":"e_1_3_2_1_61_1","doi-asserted-by":"publisher","DOI":"10.1109\/SANER48275.2020.9054825"}],"event":{"name":"CCS '22: 2022 ACM SIGSAC Conference on Computer and Communications Security","location":"Los Angeles CA USA","acronym":"CCS '22","sponsor":["SIGSAC ACM Special Interest Group on Security, Audit, and Control"]},"container-title":["Proceedings of the 2022 ACM SIGSAC Conference on Computer and Communications Security"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3548606.3560552","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3548606.3560552","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3548606.3560552","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T17:50:57Z","timestamp":1750182657000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3548606.3560552"}},"subtitle":["Automated Vulnerability Detection for Solana Smart Contracts"],"short-title":[],"issued":{"date-parts":[[2022,11,7]]},"references-count":61,"alternative-id":["10.1145\/3548606.3560552","10.1145\/3548606"],"URL":"https:\/\/doi.org\/10.1145\/3548606.3560552","relation":{},"subject":[],"published":{"date-parts":[[2022,11,7]]},"assertion":[{"value":"2022-11-07","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}