Abstract is missing.
- SmartExecutor: Coverage-Driven Symbolic Execution Guided by a Function Dependency GraphQiping Wei, Fadul Sikder, Huadong Feng, Yu Lei, Raghu Kacker, D. Richard Kuhn. 1-8 [doi]
- Moving Towards Open Radio Access Networks with Blockchain TechnologiesNischal Aryal, Fariba Ghaffari, Emmanuel Bertin, Noël Crespi. 1-9 [doi]
- CUSC: Composable User-Centric Smart ContractsMarkus Knecht, Burkhard Stiller. 1-4 [doi]
- Demystifying Just-in-Time (JIT) Liquidity Attacks on Uniswap V3Xihan Xiong, Zhipeng Wang, William J. Knottenbelt, Michael Huth 0001. 1-8 [doi]
- Gas Optimization Patterns in Move Smart Contracts on the Aptos BlockchainEric Keilty, Keerthi Nelaturu, Anastasia Kastania, Andreas G. Veneris. 1-4 [doi]
- Deep Learning-Based Cryptocurrency Price Prediction: A Comparative AnalysisArmin Mazinani, Luca Davoli, Gianluigi Ferrari 0001. 1-8 [doi]
- Computing the Heaviest Conflict-Free Sub-DAG in DAG-Based DLTsQuentin Bramas. 1-8 [doi]
- Enhancing Multi-Label Vulnerability Detection of Smart Contract Using Language ModelDuong Vu, Tuan Nguyen, Van Tong, Sami Bannour Souihi. 1-4 [doi]
- On the Blockchain Selection in Agri-Food Tracking Systems: Student PaperFabio Scanu. 1-4 [doi]
- Mining in Logarithmic Space with Variable DifficultyBenjamin Loison. 1-4 [doi]
- We Are Launching our Own NFT! Characterizing Fashion NFT Transactions - Preliminary ResultsSarah Bouraga. 1-8 [doi]
- Scaling a Blockchain System from Eventual to Full Atomicity Using Confederation ApproachFahad Rahman, Chafiq Titouna, Farid Naït-Abdesselam. 1-2 [doi]
- Eiffel: Extending Formal Verification of Distributed Algorithms to Utility AnalysisArian Baloochestani, Leander Jehl. 1-7 [doi]
- Fairness Notions in DAG-Based DLTsMayank Raikwar, Nikita Polyanskii, Sebastian Müller 0006. 1-8 [doi]
- Blockchain-Enabled Car Sharing Platform: Enhancing Reliability and Vehicle History ManagementChen Ben Tolila, Yarden Hovav, Kiril Danilchenko, Hadassa Daltrophe. 1-4 [doi]
- Decentralized Ethereum-Based Solution for Mitigating Oracle Single Point of FailureJulien Hatin, Valentin André. 1-4 [doi]
- Integrating a DLT-Based Data Marketplace with IDSA for a Unified Energy Dataspace: Towards Silo-Free Energy Data Exchange within GAIA-XSilvio Meneguzzo, Alfredo Favenza, Valentina Gatteschi, Claudio Schifanella. 1-2 [doi]
- Decentralized Wireless (DeWi): Which Perspectives for Blockchain-Based Mobile Networks?Meroua Moussaoui, Emmanuel Bertin, Noël Crespi. 1-8 [doi]
- Cost-Efficient Anonymous Authentication Scheme Based on Set-Membership Zero-Knowledge ProofChristopher Wiraatmaja, Shoji Kasahara. 1-8 [doi]
- Trusting a Smart Contract Means Trusting its Owners: Understanding Centralization RiskMetin Lamby, Valentin Zieglmeier, Christian Ziegler. 1-4 [doi]
- Fair Reward Distribution in Federated Byzantine Agreement SystemsCharmaine Ndolo, Martin Florian, Florian Tschorsch. 1-8 [doi]
- Blockchain-Based, Privacy-Preserving, First Price Sealed Bid Auction (FPSBA) Verifiable by ParticipantsEhsan Ghasaei, Amirali Baniasadi. 1-8 [doi]
- Deferral: on the Feasibility of High-Volume Blockchain-based Referral SystemsTobias Boner, Bruno Rodrigues 0001, Thomas Bocek, Burkhard Stiller. 1-4 [doi]
- Generic and Universal Local Cryptocurrency: LCoinFrédéric A. Hayek, Pascal Lafourcade 0001, Ariane Tichit. 1-4 [doi]
- Non-Fungible Tokens (NFTs) as a Means for Blockchain Networks Integration in HealthcareGhassan Al-Sumaidaee, Rami Alkhudary, Zeljko Zilic. 1-2 [doi]
- Proven Transaction Flow Control for zk-RollupsSergio Martínez, Thomas Lavaur, Jérôme Lacan, Caroline P. C. Chanel. 1-4 [doi]
- A Transpilation-Based Approach to Writing Secure Access Control Smart ContractsBadr Bellaj, Aafaf Ouaddah, Noël Crespi, Abdellatif Mezrioui, Emmanuel Bertin. 1-7 [doi]
- Exploring Locality in Ethereum TransactionsMatthieu Pigaglio, Michal Król, Etienne Rivière. 1-8 [doi]
- Blockchain Integration in 5G Technologies: SDN and Network SlicingQuang Huy Do, Sami Souihi, Van Tong, Sara Tucci Piergiovanni. 1-4 [doi]
- Prioritised Sharding: A Novel Approach to Enhance Blockchain ScalabilityFahad Rahman, Chafiq Titouna, Farid Naït-Abdesselam. 1-2 [doi]
- Demonstrating Trusted Blockchain IoT Device Based On TLS-PSK Secure ElementPascal Urien. 1-3 [doi]
- Who is Smarter? An Empirical Study of AI-Based Smart Contract CreationRabimba Karanjai, Edward Li, Lei Xu 0012, Weidong Shi. 1-8 [doi]
- Static Application Security Testing of Consensus-Critical Code in the Cosmos NetworkJasper Surmont, Weihong Wang, Tom Van Cutsem. 1-8 [doi]