Copertina

Solvent: liquidity verification of smart contracts

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Bartoletti, Massimo, Ferrando, Angelo, Lipparini, Enrico, Malvone, Vadim
Natura:	Preprint
Pubblicazione:	2024
Soggetti:	Cryptography and Security Programming Languages
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

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

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

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

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

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

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

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

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

A theoretical basis for MEV
di: Bartoletti, Massimo, et al.
Pubblicazione: (2023)

Runtime Verification via Rational Monitor with Imperfect Information
di: Ferrando, Angelo, et al.
Pubblicazione: (2024)

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

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

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

Computationally Bounded Robust Compilation and Universally Composable Security
di: Künnemann, Robert, et al.
Pubblicazione: (2024)

Obfuscation as Instruction Decorrelation
di: Ajorian, Ali, et al.
Pubblicazione: (2024)

SNIP: Speculative Execution and Non-Interference Preservation for Compiler Transformations
di: van der Wall, Sören, et al.
Pubblicazione: (2024)

On Computational Indistinguishability and Logical Relations
di: Lago, Ugo Dal, et al.
Pubblicazione: (2024)

HasTEE+ : Confidential Cloud Computing and Analytics with Haskell
di: Sarkar, Abhiroop, et al.
Pubblicazione: (2024)

SECOMP: Formally Secure Compilation of Compartmentalized C Programs
di: Thibault, Jérémy, et al.
Pubblicazione: (2024)

Language-Based Security for Low-Level MPC
di: Skalka, Christian, et al.
Pubblicazione: (2024)

Constructing Trustworthy Smart Contracts
di: Chait-Roth, Devora, et al.
Pubblicazione: (2024)

Theorem-Carrying Transactions: Runtime Verification to Ensure Interface Specifications for Smart Contract Safety
di: Ball, Thomas, et al.
Pubblicazione: (2024)

Secure Synthesis of Distributed Cryptographic Applications (Technical Report)
di: Acay, Coşku, et al.
Pubblicazione: (2024)

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

A Type System to Ensure Non-Interference in ReScript
di: Bennetzen, Benjamin, et al.
Pubblicazione: (2024)

An Array Intermediate Language for Mixed Cryptography
di: Ding, Vivian, et al.
Pubblicazione: (2024)

Fully Randomized Pointers
di: Phaye, Sai Dhawal, et al.
Pubblicazione: (2024)

Synthesizing Tight Privacy and Accuracy Bounds via Weighted Model Counting
di: Oakley, Lisa, et al.
Pubblicazione: (2024)

FORAY: Towards Effective Attack Synthesis against Deep Logical Vulnerabilities in DeFi Protocols
di: Wen, Hongbo, et al.
Pubblicazione: (2024)

StarMalloc: A Formally Verified, Concurrent, Performant, and Security-Oriented Memory Allocator
di: Reitz, Antonin, et al.
Pubblicazione: (2024)

PermRust: A Token-based Permission System for Rust
di: Gehring, Lukas, et al.
Pubblicazione: (2025)

Nanopass Back-Translation of Call-Return Trees for Mechanized Secure Compilation Proofs
di: Thibault, Jérémy, et al.
Pubblicazione: (2025)

Constraint-Level Design of zkEVMs: Architectures, Trade-offs, and Evolution
di: Hassanzadeh-Nazarabadi, Yahya, et al.
Pubblicazione: (2025)

FSLH: Flexible Mechanized Speculative Load Hardening
di: Baumann, Jonathan, et al.
Pubblicazione: (2025)

Adding Compilation Metadata To Binaries To Make Disassembly Decidable
di: Engel, Daniel, et al.
Pubblicazione: (2026)

Compositional security definitions for higher-order where declassification
di: Menz, Jan, et al.
Pubblicazione: (2026)

OpenAPI Specification Extended Security Scheme: A method to reduce the prevalence of Broken Object Level Authorization
di: Haddad, Rami, et al.
Pubblicazione: (2022)

Automated Repeatable Adversary Threat Emulation with Effects Language (EL)
di: Damodaran, Suresh K., et al.
Pubblicazione: (2025)

Formalizing, Verifying and Applying ISA Security Guarantees as Universal Contracts
di: Huyghebaert, Sander, et al.
Pubblicazione: (2023)

SplittingSecrets: A Compiler-Based Defense for Preventing Data Memory-Dependent Prefetcher Side-Channels
di: Sharma, Reshabh K, et al.
Pubblicazione: (2026)