Cover Image

Secure compilation of rich smart contracts on poor UTXO blockchains

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Bartoletti, Massimo, Marchesin, Riccardo, Zunino, Roberto
Format:	Preprint
Published:	2023
Subjects:	Cryptography and Security
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Scalable UTXO Smart Contracts via Fine-Grained Distributed State
by: Bartoletti, Massimo, et al.
Published: (2024)

DeFi composability as MEV non-interference
by: Bartoletti, Massimo, et al.
Published: (2023)

Certifying optimal MEV strategies with Lean
by: Bartoletti, Massimo, et al.
Published: (2025)

A quantitative notion of economic security for smart contract compositions
by: Priyadarshini, Emily, et al.
Published: (2025)

A theoretical basis for MEV
by: Bartoletti, Massimo, et al.
Published: (2023)

Neuroforger: certified violation witnesses for smart contracts verification via LLMs
by: Bartoletti, Massimo, et al.
Published: (2026)

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

Solvent: liquidity verification of smart contracts
by: Bartoletti, Massimo, et al.
Published: (2024)

KindHML: formal verification of smart contracts based on Hennessy-Milner logic
by: Bartoletti, Massimo, et al.
Published: (2026)

Albank -- a case study on the use of ethereum blockchain technology and smart contracts for secure decentralized bank application
by: Sherifi, Shkelqim
Published: (2026)

Reuse of Public Keys Across UTXO and Account-Based Cryptocurrencies
by: Stütz, Rainer, et al.
Published: (2026)

Dissecting Ponzi schemes on Ethereum: identification, analysis, and impact
by: Bartoletti, Massimo, et al.
Published: (2017)

A security framework for Ethereum smart contracts
by: Vivar, Antonio López, et al.
Published: (2024)

Formal verification in Solidity and Move: insights from a comparative analysis
by: Bartoletti, Massimo, et al.
Published: (2025)

Vulnerabilities of smart contracts and mitigation schemes: A Comprehensive Survey
by: Haouari, Wejdene, et al.
Published: (2024)

Integration of blockchain in smart systems: problems and opportunities for real-time sensor data storage
by: Alsadi, Naseem, et al.
Published: (2024)

LLMs as verification oracles for Solidity
by: Bartoletti, Massimo, et al.
Published: (2025)

A theory of Lending Protocols in DeFi
by: Bartoletti, Massimo, et al.
Published: (2025)

Smart Contract Languages: a comparative analysis
by: Bartoletti, Massimo, et al.
Published: (2024)

Towards a low carbon proof-of-work blockchain
by: Gemajli, Agron, et al.
Published: (2024)

Performance modeling of public permissionless blockchains: A survey
by: Esmaili, Molud, et al.
Published: (2024)

Digital identity management system with blockchain:An implementation with Ethereum and Ganache
by: Lopes, André Davi, et al.
Published: (2025)

Towards post-quantum blockchain: A review on blockchain cryptography resistant to quantum computing attacks
by: Fernandez-Carames, Tiago M., et al.
Published: (2024)

Robust softmax aggregation on blockchain based federated learning with convergence guarantee
by: Wu, Huiyu, et al.
Published: (2023)

Strands Rocq: Why is a Security Protocol Correct, Mechanically?
by: Busi, Matteo, et al.
Published: (2025)

L2AI: lightweight three-factor authentication and authorization in IOMT blockchain-based environment
by: Khajehzadeh, Laleh, et al.
Published: (2024)

Adversarial procurement in blockchains
by: Bahrani, Maryam, et al.
Published: (2026)

Block MedCare: Advancing healthcare through blockchain integration
by: Simonoski, Oliver, et al.
Published: (2024)

Artificial intelligence-based blockchain-driven financial default prediction
by: Huang, Junjun
Published: (2024)

Securing an Application Layer Gateway: An Industrial Case Study
by: Cesarano, Carmine, et al.
Published: (2024)

KubeFence: Security Hardening of the Kubernetes Attack Surface
by: Cesarano, Carmine, et al.
Published: (2025)

Augmenting Security and Privacy in the Virtual Realm: An Analysis of Extended Reality Devices
by: Cayir, Derin, et al.
Published: (2024)

Securing the Digital World: Protecting smart infrastructures and digital industries with Artificial Intelligence (AI)-enabled malware and intrusion detection
by: Schmitt, Marc
Published: (2023)

Clustering and analysis of user behaviour in blockchain: A case study of Planet IX
by: Zelenyanszki, Dorottya, et al.
Published: (2025)

Track and Trace: Automatically Uncovering Cross-chain Transactions in the Multi-blockchain Ecosystems
by: Lin, Dan, et al.
Published: (2025)

A proof of contribution in blockchain using game theoretical deep learning model
by: Wang, Jin
Published: (2024)

Towards a zk-SNARK compiler for Wolfram language
by: Cruz, Armando
Published: (2024)

A Formal Approach to AMM Fee Mechanisms with Lean 4
by: Dessalvi, Marco, et al.
Published: (2026)

Indexing structures for the PLS blockchain
by: Shafarenko, Alex
Published: (2021)

The impact of mobility, beam sweeping and smart jammers on security vulnerabilities of 5G cells
by: Asemian, Ghazal, et al.
Published: (2024)