Buchumschlag

Theorem-Carrying Transactions: Runtime Verification to Ensure Interface Specifications for Smart Contract Safety

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Ball, Thomas, Bjørner, Nikolaj S., Chen, Ashley J., Chen, Shuo, Chen, Yang, Guo, Zhongxin, Hsu, Tzu-Han, Liu, Peng, Luo, Nanqing
Format:	Preprint
Veröffentlicht:	2024
Schlagworte:	Cryptography and Security Programming Languages
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Vision-Based Learning for Cyberattack Detection in Blockchain Smart Contracts and Transactions
von: Son, Do Hai, et al.
Veröffentlicht: (2025)

Instrumenting Transaction Trace Properties in Smart Contracts: Extending the EVM for Real-Time Security
von: Chen, Zhiyang, et al.
Veröffentlicht: (2024)

LLM-BSCVM: An LLM-Based Blockchain Smart Contract Vulnerability Management Framework
von: Jin, Yanli, et al.
Veröffentlicht: (2025)

OpenTracer: A Dynamic Transaction Trace Analyzer for Smart Contract Invariant Generation and Beyond
von: Chen, Zhiyang, et al.
Veröffentlicht: (2024)

Gradual Verification for Smart Contracts
von: Sun, Haojia, et al.
Veröffentlicht: (2023)

Static Analysis for Detecting Transaction Conflicts in Ethereum Smart Contracts
von: Chahoki, Atefeh Zareh, et al.
Veröffentlicht: (2025)

Collaborative Learning Framework to Detect Attacks in Transactions and Smart Contracts
von: Khoa, Tran Viet, et al.
Veröffentlicht: (2023)

A Smart Contract-based Non-Transferable Signature Verification System using Nominative Signatures
von: Nishino, Hinata, et al.
Veröffentlicht: (2025)

Implementation Study of Cost-Effective Verification for Pietrzak's Verifiable Delay Function in Ethereum Smart Contracts
von: Lee, Suhyeon, et al.
Veröffentlicht: (2024)

Demystifying and Detecting Cryptographic Defects in Ethereum Smart Contracts
von: Zhang, Jiashuo, et al.
Veröffentlicht: (2024)

All Your Tokens are Belong to Us: Demystifying Address Verification Vulnerabilities in Solidity Smart Contracts
von: Sun, Tianle, et al.
Veröffentlicht: (2024)

Bithoven: Formal Safety for Expressive Bitcoin Smart Contracts
von: Cho, Hyunhum, et al.
Veröffentlicht: (2026)

MoveScanner: Analysis of Security Risks of Move Smart Contracts
von: Luo, Yuhe, et al.
Veröffentlicht: (2025)

How Does Naming Affect LLMs on Code Analysis Tasks?
von: Wang, Zhilong, et al.
Veröffentlicht: (2023)

BugMagnifier: TON Transaction Simulator for Revealing Smart Contract Vulnerabilities
von: Yanovich, Yury, et al.
Veröffentlicht: (2025)

Root Defence Strategies: Ensuring Safety of LLM at the Decoding Level
von: Zeng, Xinyi, et al.
Veröffentlicht: (2024)

EthCluster: An Unsupervised Static Analysis Method for Ethereum Smart Contract
von: Huang, Hong-Sheng, et al.
Veröffentlicht: (2025)

Vulnerability-Hunter: An Adaptive Feature Perception Attention Network for Smart Contract Vulnerabilities
von: Chen, Yizhou
Veröffentlicht: (2024)

SmartPoC: Generating Executable and Validated PoCs for Smart Contract Bug Reports
von: Chen, Longfei, et al.
Veröffentlicht: (2025)

BACKRUNNER: Mitigating Smart Contract Attacks in the Real World
von: Shou, Chaofan, et al.
Veröffentlicht: (2024)

ContractTinker: LLM-Empowered Vulnerability Repair for Real-World Smart Contracts
von: Wang, Che, et al.
Veröffentlicht: (2024)

SAT-BO: Verification Rule Learning and Optimization for FraudTransaction Detection
von: Luo, Mao, et al.
Veröffentlicht: (2025)

LLM-SmartAudit: Advanced Smart Contract Vulnerability Detection
von: Wei, Zhiyuan, et al.
Veröffentlicht: (2024)

Multi-Agent Collaborative Fuzzing with Continuous Reflection for Smart Contracts Vulnerability Detection
von: Chen, Jie, et al.
Veröffentlicht: (2025)

Smart Contract Security Beyond Detection
von: Abdelaziz, Tamer
Veröffentlicht: (2026)

HCC: A Language-Independent Hardening Contract Compiler for Smart Contracts
von: Giesen, Jens-Rene, et al.
Veröffentlicht: (2022)

LibScan: Smart Contract Library Misuse Detection with Iterative Feedback and Static Verification
von: Wang, Yishun, et al.
Veröffentlicht: (2026)

Unmasking the Shadows: Pinpoint the Implementations of Anti-Dynamic Analysis Techniques in Malware Using LLM
von: Wang, Haizhou, et al.
Veröffentlicht: (2024)

Proxion: Uncovering Hidden Proxy Smart Contracts for Finding Collision Vulnerabilities in Ethereum
von: Chen, Cheng-Kang, et al.
Veröffentlicht: (2024)

Detect Llama -- Finding Vulnerabilities in Smart Contracts using Large Language Models
von: Ince, Peter, et al.
Veröffentlicht: (2024)

Logic Meets Magic: LLMs Cracking Smart Contract Vulnerabilities
von: Xiao, ZeKe, et al.
Veröffentlicht: (2025)

Tailored Prompts, Targeted Protection: Vulnerability-Specific LLM Analysis for Smart Contracts
von: Zhang, Xing, et al.
Veröffentlicht: (2026)

SmartOracle: Generating Smart Contract Oracle via Fine-Grained Invariant Detection
von: Su, Jianzhong, et al.
Veröffentlicht: (2024)

MultiCFV: Detecting Control Flow Vulnerabilities in Smart Contracts Leveraging Multimodal Deep Learning
von: Peng, Hongli, et al.
Veröffentlicht: (2025)

Detecting Avalanche Effect in Adversarial Settings: Spotting the Encryption Loops in Ransomware
von: Luo, Nanqing, et al.
Veröffentlicht: (2026)

Architectural Design for Secure Smart Contract Development
von: Lewis, Myles, et al.
Veröffentlicht: (2024)

Exploring Vulnerabilities and Concerns in Solana Smart Contracts
von: Wu, Xiangfan, et al.
Veröffentlicht: (2025)

Fuzz on the Beach: Fuzzing Solana Smart Contracts
von: Smolka, Sven, et al.
Veröffentlicht: (2023)

Temporarily Restricting Solidity Smart Contract Interactions
von: Callens, Valerian, et al.
Veröffentlicht: (2024)

Improving Smart Contract Security with Contrastive Learning-based Vulnerability Detection
von: Chen, Yizhou, et al.
Veröffentlicht: (2024)