Buchumschlag

Towards Automating Blockchain Consensus Verification with IsabeLLM

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Jones, Elliot, Knottenbelt, William
Format:	Preprint
Veröffentlicht:	2026
Schlagworte:	Cryptography and Security Artificial Intelligence
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

LOCARD: An Agentic Framework for Blockchain Forensics
von: Yu, Xiaohang, et al.
Veröffentlicht: (2026)

SUDP: Secret-Use Delegation Protocol for Agentic Systems
von: Yu, Xiaohang, et al.
Veröffentlicht: (2026)

SoK: Blockchain-Based Decentralized AI (DeAI)
von: Lui, Elizabeth, et al.
Veröffentlicht: (2024)

Proof-of-Spiking-Neurons(PoSN): Neuromorphic Consensus for Next-Generation Blockchains
von: Haider, M. Z., et al.
Veröffentlicht: (2025)

Proof of Useful Intelligence (PoUI): Blockchain Consensus Beyond Energy Waste
von: Chong, Zan-Kai, et al.
Veröffentlicht: (2025)

Examining Attacks on Consensus and Incentive Systems in Proof-of-Work Blockchains: A Systematic Literature Review
von: Wijewardhana, Dinitha, et al.
Veröffentlicht: (2024)

Defending Against Poisoning Attacks in Federated Learning with Blockchain
von: Dong, Nanqing, et al.
Veröffentlicht: (2023)

Towards Automated Penetration Testing: Introducing LLM Benchmark, Analysis, and Improvements
von: Isozaki, Isamu, et al.
Veröffentlicht: (2024)

zkFL: Zero-Knowledge Proof-based Gradient Aggregation for Federated Learning
von: Wang, Zhipeng, et al.
Veröffentlicht: (2023)

A Consensus Privacy Metrics Framework for Synthetic Data
von: Pilgram, Lisa, et al.
Veröffentlicht: (2025)

Towards the Development of an LLM-Based Methodology for Automated Security Profiling in Compliance with Ukrainian Cybersecurity Regulations
von: Shafranskyi, Daniil, et al.
Veröffentlicht: (2026)

Semantic Interoperability on Blockchain by Generating Smart Contracts Based on Knowledge Graphs
von: Van Woensel, William, et al.
Veröffentlicht: (2024)

iSeal: Encrypted Fingerprinting for Reliable LLM Ownership Verification
von: Xiong, Zixun, et al.
Veröffentlicht: (2025)

Resilient Federated Chain: Transforming Blockchain Consensus into an Active Defense Layer for Federated Learning
von: García-Márquez, Mario, et al.
Veröffentlicht: (2026)

Towards Understanding and Enhancing Security of Proof-of-Training for DNN Model Ownership Verification
von: Chang, Yijia, et al.
Veröffentlicht: (2024)

LLM-Assisted Proactive Threat Intelligence for Automated Reasoning
von: Paul, Shuva, et al.
Veröffentlicht: (2025)

LAsset: An LLM-assisted Security Asset Identification Framework for System-on-Chip (SoC) Verification
von: Hasan, Md Ajoad, et al.
Veröffentlicht: (2026)

Zero-Trust Runtime Verification for Agentic Payment Protocols: Mitigating Replay and Context-Binding Failures in AP2
von: Lan, Qianlong, et al.
Veröffentlicht: (2026)

AutoBackdoor: Automating Backdoor Attacks via LLM Agents
von: Li, Yige, et al.
Veröffentlicht: (2025)

AutoPentester: An LLM Agent-based Framework for Automated Pentesting
von: Ginige, Yasod, et al.
Veröffentlicht: (2025)

POLAR: Automating Cyber Threat Prioritization through LLM-Powered Assessment
von: Tang, Luoxi, et al.
Veröffentlicht: (2025)

Blockchain and AI: Securing Intelligent Networks for the Future
von: Dutta, Joy, et al.
Veröffentlicht: (2026)

A Systematic Survey of Blockchained Federated Learning
von: Wang, Zhilin, et al.
Veröffentlicht: (2021)

BlockScan: Detecting Anomalies in Blockchain Transactions
von: Yu, Jiahao, et al.
Veröffentlicht: (2024)

Automated Framework to Evaluate and Harden LLM System Instructions against Encoding Attacks
von: Sahu, Anubhab, et al.
Veröffentlicht: (2026)

TxRay: Agentic Postmortem of Live Blockchain Attacks
von: Wang, Ziyue, et al.
Veröffentlicht: (2026)

SoK: Security and Privacy of AI Agents for Blockchain
von: Romandini, Nicolò, et al.
Veröffentlicht: (2025)

Blockchain Data Analysis in the Era of Large-Language Models
von: Toyoda, Kentaroh, et al.
Veröffentlicht: (2024)

RapidPen: Fully Automated IP-to-Shell Penetration Testing with LLM-based Agents
von: Nakatani, Sho
Veröffentlicht: (2025)

Free-MAD: Consensus-Free Multi-Agent Debate
von: Cui, Yu, et al.
Veröffentlicht: (2025)

Proof-of-Data: A Consensus Protocol for Collaborative Intelligence
von: Liu, Huiwen, et al.
Veröffentlicht: (2025)

ThreatModeling-LLM: Automating Threat Modeling using Large Language Models for Banking System
von: Wu, Tingmin, et al.
Veröffentlicht: (2024)

Towards Confidential and Efficient LLM Inference with Dual Privacy Protection
von: Yu, Honglan, et al.
Veröffentlicht: (2025)

Blockchain Meets LLMs: A Living Survey on Bidirectional Integration
von: Gong, Jianghao, et al.
Veröffentlicht: (2024)

A Framework for Agricultural Food Supply Chain using Blockchain
von: N, Sudarssan
Veröffentlicht: (2024)

Advancing LLM-Based Security Automation with Customized Group Relative Policy Optimization for Zero-Touch Networks
von: Cao, Xinye, et al.
Veröffentlicht: (2025)

APT-Agent: Automated Penetration Testing using Large Language Models
von: Li, William Guanting, et al.
Veröffentlicht: (2026)

Generative AI-enabled Blockchain Networks: Fundamentals, Applications, and Case Study
von: Nguyen, Cong T., et al.
Veröffentlicht: (2024)

Substituting Proof of Work in Blockchain with Training-Verified Collaborative Model Computation
von: Rafid, Mohammad Ishzaz Asif, et al.
Veröffentlicht: (2025)

FIDELIS: Blockchain-Enabled Protection Against Poisoning Attacks in Federated Learning
von: Carney, Jane, et al.
Veröffentlicht: (2025)