Tamper-Evident Logging

Ask about this topic

Overview

Tamper-evident logging studies how to create records whose integrity can be checked after they are written, especially for AI agents, financial workflows, and data systems. Common approaches include hash-chained append-only logs, Merkle trees, signed receipts, and periodic anchoring to blockchains or transparency services. These methods can expose changes to recorded events, but a valid log does not by itself prove that events were recorded completely, that the entries are true, or that the system actually performed the claimed actions. A central challenge is obtaining independent evidence of what happened while balancing durability, privacy, and the latency and storage costs of stronger guarantees.

Latest papers

CardsList

16 papers1 paper in the last four weeks, down 67% on the four weeks before. 0.0% of all new papers.

  1. Actions with Receipts: Jointly Binding Claims, Evidence, and Execution for Replayable Tool-Agent Auditing

    Sep 29, 2026Miaobo Hu, Shuhao Hu, Xiaobo Guo +4AI Agent AuditingCitation Verification

    School of Artificial Intelligence, University of Chinese Academy of Sciences, Beijing, China · Institute of Information Engineering, Chinese Academy of Sciences, Beijing, China

  2. Hearsay: Can an Auditor Trust the Record a Deployed Agent Harness Writes?

    Sep 26, 2026Jiahong Dai, Zhuochen Yang, Pengyang Shao +5AI Agent AuditingLLM Agent Harnesses

    Nanyang Technological University · National University of Singapore · Case Western Reserve University

  3. Blockchain-Enabled Secure Logging for Fiscal Electronic Mechanisms: Evaluation of the Greek eSEND and myDATA Tax Systems

    Sep 3, 2026Panagiotis Mavridis, Anargyros Baklezos, Christos NikolopoulosTamper-Evident Logging

    School of Engineering Dept. of Electronic Engineering Hellenic Mediterranean University Chania, Greece

  4. Agent Flight Recorder: Tamper-Evident Audit Trails with On-Chain Anchoring for Long-Horizon Tool-Using Agents

    Sep 1, 2026Laurent Bindschaedler, Quentin Botha, Christoph SiebenbrunnerData ProvenanceAlgorithmic Auditing

    Max Planck Institute for Software Systems · Research Institute for Cryptoeconomics, Vienna University of Economics and Business

  5. The Acknowledgment Point Is the System: Durable Policy-Decision Receipts for AI Audit Evidence

    Aug 17, 2026Neeraj Kumar Singh BeshaneData ProvenanceAlgorithmic Auditing

    Independent Researcher, Fremont, California

  6. Agent-Native Telemetry: Verifiable State-Delta Evidence for Autonomous Operations

    Aug 17, 2026Jun He, Deying YuAI Agent MonitoringTamper-Evident Logging

  7. MutMem: Cryptographically Authorized Mutation in Persistent Agent Memory

    Aug 3, 2026Walid SaidiLLM Agent MemoryAgent Memory Poisoning

    Independent researcher

  8. Building Trust in Autonomous Commerce: A Verifiable Global Event Timeline and AI-Ready Fraud Intelligence Layer

    Jul 21, 2026Rajat SrivastavaData ProvenanceAI Agent Security

    Independent Researcher, Gurugram, India

  9. Governing Actions, Not Agents: Institutional Attestation as a Governance Model for Autonomous AI Systems

    Jun 24, 2026Jakob Salfeld-NebgenAI Agent SafetyAI Agent Governance

  10. AuditWeave: A Tamper-Evident, Auditor-Navigable Evidence Layer for AI-Assisted and Data-Transformation Workflows

    Jun 14, 2026Vimal NakraniData ProvenanceTamper-Evident Logging

    Independent Researcher

  11. Notarized Agents: Receiver-Attested Confidential Receipts for AI Agent Actions

    Jun 2, 2026Juan FigueraData ProvenanceAI Agent Security

    Independent Researcher, Sello Project

  12. Attested Tool-Server Admission: A Security Extension to the Model Context Protocol

    May 22, 2026Alfredo MetereMCP SecurityAI Agent Security

    Enclawed LLC

  13. Architectural Obsolescence of Unhardened Agentic-AI Runtimes

    May 3, 2026Alfredo MetereAI Agent SecurityAI Agent Security Benchmarks

    Metere Consulting, LLC.

  14. Proof of Execution: Runtime Verification for Governed AI Agent Actions

    Apr 26, 2026James Rhodes, George KangAI Agent SecurityFormal Verification

    AlphaBitCore, Inc.

  15. Who Audits the Auditor? Tamper-Proof Fraud Detection with Blockchain-Anchored Explainable ML

    Apr 23, 2026Zhaohui WangData ProvenanceAlgorithmic Auditing

    Viterbi School of Engineering University of Southern California Los Angeles, CA, USA

  16. Right to History: A Sovereignty Kernel for Verifiable AI Agent Execution

    Feb 23, 2026Jing ZhangAI Agent AuditingAI Accountability

    Independent Researcher