Imagen de Portada

Formal verification in Solidity and Move: insights from a comparative analysis

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Bartoletti, Massimo, Crafa, Silvia, Lipparini, Enrico
Formato:	Preprint
Publicado:	2025
Materias:	Cryptography and Security
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

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

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

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

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

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

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

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

A theoretical basis for MEV
por: Bartoletti, Massimo, et al.
Publicado: (2023)

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

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

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

Secure compilation of rich smart contracts on poor UTXO blockchains
por: Bartoletti, Massimo, et al.
Publicado: (2023)

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

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

Symbolic verification of Apple's Find My location-tracking protocol
por: Sundararajan, Vaishnavi, et al.
Publicado: (2025)

Compressed verification for post-quantum signatures with long-term public keys
por: Banegas, Gustavo, et al.
Publicado: (2025)

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

CycleGANWM: A CycleGAN watermarking method for ownership verification
por: Lin, Dongdong, et al.
Publicado: (2022)

On the Formalization of Cryptographic Migration
por: Loebenberger, Daniel, et al.
Publicado: (2024)

Towards a Formal Foundation for Blockchain Rollups
por: Chaliasos, Stefanos, et al.
Publicado: (2024)

Formal Verification of Permission Voucher
por: Reaz, Khan, et al.
Publicado: (2024)

algoTRIC: Symmetric and asymmetric encryption algorithms for Cryptography -- A comparative analysis in AI era
por: Kshetri, Naresh, et al.
Publicado: (2024)

Extending the Formalism and Theoretical Foundations of Cryptography to AI
por: Villa, Federico, et al.
Publicado: (2026)

Seagull: Privacy preserving network verification system
por: Daneshamooz, Jaber, et al.
Publicado: (2024)

Formal Verification for Blockchain-based Insurance Claims Processing
por: Neupane, Roshan Lal, et al.
Publicado: (2024)

Characterizing Polkadot's Transactions Ecosystem: methodology, tools, and insights
por: Caprolu, Maurantonio, et al.
Publicado: (2024)

Bridging Threat Models and Detections: Formal Verification via CADP
por: Prelipcean, Dumitru-Bogdan, et al.
Publicado: (2025)

SLIP-SEC: Formalizing Secure Protocols for Model IP Protection
por: Jain, Racchit, et al.
Publicado: (2025)

Formal Security Analysis of the AMD SEV-SNP Software Interface
por: Paradžik, Petar, et al.
Publicado: (2024)

A Formal Analysis of SCTP: Attack Synthesis and Patch Verification
por: Ginesin, Jacob, et al.
Publicado: (2024)

VeriCHERI: Exhaustive Formal Security Verification of CHERI at the RTL
por: Antón, Anna Lena Duque, et al.
Publicado: (2024)

A Scalable Formal Verification Methodology for Data-Oblivious Hardware
por: Deutschmann, Lucas, et al.
Publicado: (2023)

An Algorithmic Pipeline for GDPR-Compliant Healthcare Data Anonymisation: Moving Toward Standardisation
por: Khan, Hamza, et al.
Publicado: (2025)

Global, robust and comparable digital carbon assets
por: Jaffer, Sadiq, et al.
Publicado: (2024)

Toward provably private analytics and insights into GenAI use
por: Cheu, Albert, et al.
Publicado: (2025)

Formally-verified Security against Forgery of Remote Attestation using SSProve
por: Zain, Sara, et al.
Publicado: (2025)

A Formal Approach For Modelling And Analysing Surgical Procedures (Extended Version)
por: Sandu, Ioana, et al.
Publicado: (2024)

Asymmetric Mempool DoS Security: Formal Definitions and Provable Secure Designs
por: Ding, Wanning, et al.
Publicado: (2024)

Constraint Migration: A Formal Theory of Throughput in AI Cybersecurity Pipelines
por: Phetmanee, Surasak
Publicado: (2026)

Formal Privacy Guarantees with Invariant Statistics
por: Cho, Young Hyun, et al.
Publicado: (2024)