Cover Image

BitMLx: Secure Cross-chain Smart Contracts For Bitcoin-style Cryptocurrencies

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Badaloni, Federico, Holler, Sebastian, Oikonomou, Chrysoula, Moreno-Sanchez, Pedro, Schneidewind, Clara
Format:	Preprint
Published:	2025
Subjects:	Cryptography and Security
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Atomic Transfer Graphs: Secure-by-design Protocols for Heterogeneous Blockchain Ecosystems
by: Dübler, Stephan, et al.
Published: (2025)

How To Save Fees in Bitcoin Smart Contracts: a Simple Optimistic Off-chain Protocol
by: Maddaloni, Dario, et al.
Published: (2024)

Bithoven: Formal Safety for Expressive Bitcoin Smart Contracts
by: Cho, Hyunhum, et al.
Published: (2026)

Summarizing and Analyzing the Privacy-Preserving Techniques in Bitcoin and other Cryptocurrencies
by: Rahalkar, Chaitanya, et al.
Published: (2021)

CrossLink: A Decentralized Framework for Secure Cross-Chain Smart Contract Execution
by: Hossain, Tahrim, et al.
Published: (2025)

Smart Contract Security Beyond Detection
by: Abdelaziz, Tamer
Published: (2026)

Architectural Design for Secure Smart Contract Development
by: Lewis, Myles, et al.
Published: (2024)

Gas Gauge: A Security Analysis Tool for Smart Contract Out-of-Gas Vulnerabilities
by: Nassirzadeh, Behkish, et al.
Published: (2021)

Bitcoin Smart Accounts: Trust-Minimized Native Bitcoin DeFi Infrastructure
by: Lalor, Cian, et al.
Published: (2026)

Security Analysis of Ponzi Schemes in Ethereum Smart Contracts
by: Zhang, Chunyi, et al.
Published: (2025)

An Automated Analyzer for Financial Security of Ethereum Smart Contracts
by: Wang, Wansen, et al.
Published: (2022)

DTL: Data Tumbling Layer. A Composable Unlinkability for Smart Contracts
by: Minaei, Mohsen, et al.
Published: (2025)

Validation of the Results of Cross-chain Smart Contract Based on Confirmation Method
by: Su, Hong
Published: (2024)

MoveScanner: Analysis of Security Risks of Move Smart Contracts
by: Luo, Yuhe, et al.
Published: (2025)

Blockchain-Based Secure Vehicle Auction System with Smart Contracts
by: Wu, Ka Wai
Published: (2025)

Enhancing Smart Contract Security Analysis with Execution Property Graphs
by: Qin, Kaihua, et al.
Published: (2023)

Giving AI Agents Access to Cryptocurrency and Smart Contracts Creates New Vectors of AI Harm
by: Marino, Bill, et al.
Published: (2025)

The Dark Side of Upgrades: Uncovering Security Risks in Smart Contract Upgrades
by: Wang, Dingding, et al.
Published: (2025)

Large Language Models for Cryptocurrency Transaction Analysis: A Bitcoin Case Study
by: Lei, Yuchen, et al.
Published: (2025)

USCSA: Evolution-Aware Security Analysis for Proxy-Based Upgradeable Smart Contracts
by: Li, Xiaoqi, et al.
Published: (2025)

Bridging Immutability with Flexibility: A Scheme for Secure and Efficient Smart Contract Upgrades
by: Hossain, Tahrim, et al.
Published: (2025)

SmartShift: A Secure and Efficient Approach to Smart Contract Migration
by: Hossain, Tahrim, et al.
Published: (2025)

Bitcoin-Enhanced Proof-of-Stake Security: Possibilities and Impossibilities
by: Tas, Ertem Nusret, et al.
Published: (2022)

SoK: Security Analysis of Blockchain-based Cryptocurrency
by: Liu, Zekai, et al.
Published: (2025)

Commit-Reveal$^2$: Securing Randomness Beacons with Randomized Reveal Order in Smart Contracts
by: Lee, Suhyeon, et al.
Published: (2025)

BlockMEDC: Blockchain Smart Contracts for Securing Moroccan Higher Education Digital Certificates
by: Fartitchou, Mohamed, et al.
Published: (2024)

Adaptive Plan-Execute Framework for Smart Contract Security Auditing
by: Wei, Zhiyuan, et al.
Published: (2025)

Where Do Smart Contract Security Analyzers Fall Short?
by: Abdelaziz, Tamer, et al.
Published: (2026)

BitVMX: A CPU for Universal Computation on Bitcoin
by: Lerner, Sergio Demian, et al.
Published: (2024)

Rigorous and Generalized Proof of Security of Bitcoin Protocol with Bounded Network Delay
by: Blake, Christopher, et al.
Published: (2026)

Exposing Hidden Backdoors in NFT Smart Contracts: A Static Security Analysis of Rug Pull Patterns
by: Pathade, Chetan, et al.
Published: (2025)

LLM-SmartAudit: Advanced Smart Contract Vulnerability Detection
by: Wei, Zhiyuan, et al.
Published: (2024)

HCC: A Language-Independent Hardening Contract Compiler for Smart Contracts
by: Giesen, Jens-Rene, et al.
Published: (2022)

Demystifying Invariant Effectiveness for Securing Smart Contracts
by: Chen, Zhiyang, et al.
Published: (2024)

FLAMES: Fine-tuning LLMs to Synthesize Invariants for Smart Contract Security
by: Eshghie, Mojtaba, et al.
Published: (2025)

Improving Smart Contract Security with Contrastive Learning-based Vulnerability Detection
by: Chen, Yizhou, et al.
Published: (2024)

Re-Evaluating EVMBench: Are AI Agents Ready for Smart Contract Security?
by: Peng, Chaoyuan, et al.
Published: (2026)

A Language for Smart Contracts with Secure Control Flow (Technical Report)
by: Yao, Siqiu, et al.
Published: (2024)

Monitoring the Future of Smart Contracts
by: Capretto, Margarita, et al.
Published: (2024)

Bitcoin Battle: Burning Bitcoin for Geopolitical Fun and Profit
by: Oosthoek, Kris, et al.
Published: (2025)