Copertina

Smart Contract and DeFi Security Tools: Do They Meet the Needs of Practitioners?

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Chaliasos, Stefanos, Charalambous, Marcos Antonios, Zhou, Liyi, Galanopoulou, Rafaila, Gervais, Arthur, Mitropoulos, Dimitris, Livshits, Ben
Natura:	Preprint
Pubblicazione:	2023
Soggetti:	Cryptography and Security Software Engineering
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

The Blockchain Imitation Game
di: Qin, Kaihua, et al.
Pubblicazione: (2023)

AI Agent Smart Contract Exploit Generation
di: Gervais, Arthur, et al.
Pubblicazione: (2025)

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

Hunting DeFi Vulnerabilities via Context-Sensitive Concolic Verification
di: Ding, Yepeng, et al.
Pubblicazione: (2024)

Safeguarding DeFi Smart Contracts against Oracle Deviations
di: Deng, Xun, et al.
Pubblicazione: (2024)

Enforcing Control Flow Integrity on DeFi Smart Contracts
di: Chen, Zhiyang, et al.
Pubblicazione: (2025)

Auto.gov: Learning-based Governance for Decentralized Finance (DeFi)
di: Xu, Jiahua, et al.
Pubblicazione: (2023)

Pricing Factors and TFMs for Scalability-Focused ZK-Rollups
di: Chaliasos, Stefanos, et al.
Pubblicazione: (2024)

CRPWarner: Warning the Risk of Contract-related Rug Pull in DeFi Smart Contracts
di: Lin, Zewei, et al.
Pubblicazione: (2024)

Decompiling Smart Contracts with a Large Language Model
di: David, Isaac, et al.
Pubblicazione: (2025)

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

SoK: What don't we know? Understanding Security Vulnerabilities in SNARKs
di: Chaliasos, Stefanos, et al.
Pubblicazione: (2024)

Understanding Blockchain Governance: Analyzing Decentralized Voting to Amend DeFi Smart Contracts
di: Messias, Johnnatan, et al.
Pubblicazione: (2023)

DeFiTail: DeFi Protocol Inspection through Cross-Contract Execution Analysis
di: Li, Wenkai, et al.
Pubblicazione: (2024)

I Experienced More than 10 DeFi Scams: On DeFi Users' Perception of Security Breaches and Countermeasures
di: Liu, Mingyi, et al.
Pubblicazione: (2024)

EvoPoC: Automated Exploit Synthesis for DeFi Smart Contracts via Hierarchical Knowledge Graphs
di: Liang, Ruichao, et al.
Pubblicazione: (2026)

Alignment Contracts for Agentic Security Systems
di: David, Isaac, et al.
Pubblicazione: (2026)

DeFi: Concepts and Ecosystem
di: Costa, Carlos J.
Pubblicazione: (2024)

SCDBench: A Benchmark for LLM-Based Smart Contract Decompilers
di: Qin, Kaihua, et al.
Pubblicazione: (2026)

Unaligned Incentives: Pricing Attacks Against Blockchain Rollups
di: Chaliasos, Stefanos, et al.
Pubblicazione: (2025)

LookAhead: Preventing DeFi Attacks via Unveiling Adversarial Contracts
di: Ren, Shoupeng, et al.
Pubblicazione: (2024)

ESG Meets DeFi: Exploring Time‐Varying Linkages and Portfolio Implications
di: Shoaib Ali, et al.
Pubblicazione: (2024)

Penetrating the Hostile: Detecting DeFi Protocol Exploits through Cross-Contract Analysis
di: Li, Xiaoqi, et al.
Pubblicazione: (2025)

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

Ergodic optimal liquidations in DeFi
di: Cao, Jialun, et al.
Pubblicazione: (2024)

Vote Delegation in DeFi Governance
di: Bongaerts, Dion, et al.
Pubblicazione: (2025)

ContractTrace: Retracing Smart Contract Versions for Security Analyses
di: Mbodji, Fatou Ndiaye, et al.
Pubblicazione: (2024)

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

Piercing the Veil of TVL: DeFi Reappraised
di: Luo, Yichen, et al.
Pubblicazione: (2024)

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

DeFi's Concentrated Liquidity From Scratch
di: Richardson, Mark B., et al.
Pubblicazione: (2024)

RIVCoin: an alternative, integrated, CeFi/DeFi-Vaulted Cryptocurrency
di: Rivera, Roberto, et al.
Pubblicazione: (2023)

Strengthening DeFi Security: A Static Analysis Approach to Flash Loan Vulnerabilities
di: Wu, Ka Wai
Pubblicazione: (2024)

Automated Market Makers for Decentralized Finance (DeFi)
di: Wang, Yongge
Pubblicazione: (2020)

Multi Agent Influence Diagrams for DeFi Governance
di: Nag, Abhimanyu, et al.
Pubblicazione: (2024)

Liquidation Dynamics in DeFi and the Role of Transaction Fees
di: Sadeghi, Agathe, et al.
Pubblicazione: (2026)

Major Conundrums and Possible Solutions in DeFi Insurance
di: Peng Zhou, et al.
Pubblicazione: (2025)

Trust in context: The impact of regulation on blockchain and DeFi
di: Balazs Bodo, et al.
Pubblicazione: (2024)

LLM-Powered Detection of Price Manipulation in DeFi
di: Liu, Lu, et al.
Pubblicazione: (2025)

SoK: Comprehensive Analysis of Rug Pull Causes, Datasets, and Detection Tools in DeFi
di: Sun, Dianxiang, et al.
Pubblicazione: (2024)