Buchumschlag

A quantitative notion of economic security for smart contract compositions

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Priyadarshini, Emily, Bartoletti, Massimo
Format:	Preprint
Veröffentlicht:	2025
Schlagworte:	Cryptography and Security
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Secure compilation of rich smart contracts on poor UTXO blockchains
von: Bartoletti, Massimo, et al.
Veröffentlicht: (2023)

Neuroforger: certified violation witnesses for smart contracts verification via LLMs
von: Bartoletti, Massimo, et al.
Veröffentlicht: (2026)

Solvent: liquidity verification of smart contracts
von: Bartoletti, Massimo, et al.
Veröffentlicht: (2024)

KindHML: formal verification of smart contracts based on Hennessy-Milner logic
von: Bartoletti, Massimo, et al.
Veröffentlicht: (2026)

A security framework for Ethereum smart contracts
von: Vivar, Antonio López, et al.
Veröffentlicht: (2024)

A theoretical basis for MEV
von: Bartoletti, Massimo, et al.
Veröffentlicht: (2023)

Formal verification in Solidity and Move: insights from a comparative analysis
von: Bartoletti, Massimo, et al.
Veröffentlicht: (2025)

DeFi composability as MEV non-interference
von: Bartoletti, Massimo, et al.
Veröffentlicht: (2023)

Scalable UTXO Smart Contracts via Fine-Grained Distributed State
von: Bartoletti, Massimo, et al.
Veröffentlicht: (2024)

Vulnerabilities of smart contracts and mitigation schemes: A Comprehensive Survey
von: Haouari, Wejdene, et al.
Veröffentlicht: (2024)

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

Dissecting Ponzi schemes on Ethereum: identification, analysis, and impact
von: Bartoletti, Massimo, et al.
Veröffentlicht: (2017)

Certifying optimal MEV strategies with Lean
von: Bartoletti, Massimo, et al.
Veröffentlicht: (2025)

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

A theory of Lending Protocols in DeFi
von: Bartoletti, Massimo, et al.
Veröffentlicht: (2025)

LLMs as verification oracles for Solidity
von: Bartoletti, Massimo, et al.
Veröffentlicht: (2025)

Vulnerability anti-patterns in Solidity: Increasing smart contracts security by reducing false alarms
von: Oss, Tommaso, et al.
Veröffentlicht: (2024)

A Formal Approach to AMM Fee Mechanisms with Lean 4
von: Dessalvi, Marco, et al.
Veröffentlicht: (2026)

Blockchain security for ransomware detection
von: Mutombo, Elodie Ngoie, et al.
Veröffentlicht: (2024)

Multi-channel secure communication framework for wireless IoT (MCSC-WoT): enhancing security in Internet of Things
von: Barman, Prokash, et al.
Veröffentlicht: (2025)

Fuzzy quantitative attack tree analysis
von: Dang, Thi Kim Nhung, et al.
Veröffentlicht: (2024)

Cyber security of OT networks: A tutorial and overview
von: Kapoor, Sarthak, et al.
Veröffentlicht: (2025)

Ejafa_protocol: A custom INC secure protocol
von: Bassam, Ejafa
Veröffentlicht: (2024)

A cyber-physical digital twin approach to replicating realistic multi-stage cyberattacks on smart grids
von: Sen, Omer, et al.
Veröffentlicht: (2024)

Uncertainty in security: managing cyber senescence
von: Dekker, Martijn
Veröffentlicht: (2025)

Hash chaining degrades security at Facebook
von: Rivasseau, Thomas
Veröffentlicht: (2025)

On the security of 2-key triple DES
von: Mitchell, Chris J
Veröffentlicht: (2016)

RIOT-based smart metering system for privacy-preserving data aggregation using watermarking and encryption
von: Kabir, Farzana, et al.
Veröffentlicht: (2025)

Blockchain security based on cryptography: a review
von: Zhou, Wenwen, et al.
Veröffentlicht: (2025)

Towards a DSL for hybrid secure computation
von: de Laage, Romain
Veröffentlicht: (2025)

The order-theoretical foundation for data flow security
von: Logrippo, Luigi
Veröffentlicht: (2024)

On the (In)security of optimized Stern-like signature schemes
von: Chailloux, André, et al.
Veröffentlicht: (2024)

Electric Democracy: Proof of Work to secure Elections
von: Zuevsky, Vitaly
Veröffentlicht: (2022)

On the (in)security of Proofs-of-Space based Longest-Chain Blockchains
von: Baig, Mirza Ahad, et al.
Veröffentlicht: (2025)

A Transdisciplinary Approach to Cybersecurity: A Framework for Encouraging Transdisciplinary Thinking
von: Kesler, Emily
Veröffentlicht: (2024)

The current state of security -- Insights from the German software industry
von: Langstrof, Timo, et al.
Veröffentlicht: (2024)

POSTER: Testing network-based RTK for GNSS receiver security
von: Spanghero, Marco, et al.
Veröffentlicht: (2024)

nodeWSNsec: A hybrid metaheuristic approach for reliable security and node deployment in WSNs
von: Mishra, Rahul, et al.
Veröffentlicht: (2025)

The impact of quantum computing on real-world security: A 5G case study
von: Mitchell, Chris J
Veröffentlicht: (2019)

A novel analysis of utility in privacy pipelines, using Kronecker products and quantitative information flow
von: Alvim, Mário S., et al.
Veröffentlicht: (2023)