Buchumschlag

Immutability Does Not Guarantee Trust: A Formal and Logical Refutation

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Wright, Craig S
Format:	Preprint
Veröffentlicht:	2025
Schlagworte:	Cryptography and Security Computational Complexity 03B70, 68M10, 91A80 F.4.1; D.4.6; C.2.2
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

A Formal Refutation of the Blockchain Trilemma
von: Wright, Craig
Veröffentlicht: (2025)

Safe Low Bandwidth SPV: A Formal Treatment of Simplified Payment Verification Protocols and Security Bounds
von: Wright, Craig S
Veröffentlicht: (2025)

On Immutable Memory Systems for Artificial Agents: A Blockchain-Indexed Automata-Theoretic Framework Using ECDH-Keyed Merkle Chains
von: Wright, Craig Steven
Veröffentlicht: (2025)

BISON: Blind Identification with Stateless scOped pseudoNyms
von: Heher, Jakob, et al.
Veröffentlicht: (2024)

Fixed-Point Theorems and the Ethics of Radical Transparency: A Logic-First Treatment
von: Alpay, Faruk, et al.
Veröffentlicht: (2025)

Alpay Algebra III: Observer-Coupled Collapse and the Temporal Drift of Identity
von: Alpay, Faruk
Veröffentlicht: (2025)

A Complexity Dichotomy for Temporal Valued Constraint Satisfaction Problems
von: Bodirsky, Manuel, et al.
Veröffentlicht: (2024)

Cognitive Castes: Artificial Intelligence, Epistemic Stratification, and the Dissolution of Democratic Discourse
von: Wright, Craig S
Veröffentlicht: (2025)

Fractal Countability as a Constructive Alternative to the Power Set of N: A Meta-Formal Approach to Stratified Definability
von: Semenov, Stanislav
Veröffentlicht: (2025)

Towards Weak Stratification for Logics of Definitions
von: Guermond, Nathan
Veröffentlicht: (2026)

Anumati: Proof of Adherence as a Formal Consent Model for Autonomous Agent Protocols
von: Kadaboina, Ravi Kiran
Veröffentlicht: (2026)

A Practical Approach to Formal Methods: An Eclipse Integrated Development Environment (IDE) for Security Protocols
von: Garcia, Rémi, et al.
Veröffentlicht: (2024)

Secure and Scalable Blockchain Voting: A Comparative Framework and the Role of Large Language Models
von: Kiashemshaki, Kiana, et al.
Veröffentlicht: (2025)

PSR2: A Phase-based Semantic Reasoning Framework for Atomicity Violation Detection via Contract Refinement
von: Li, Xiaoqi, et al.
Veröffentlicht: (2026)

Security Science (SecSci), Basic Concepts and Mathematical Foundations
von: Pavlovic, Dusko, et al.
Veröffentlicht: (2025)

Heaven & Hell II: Scale Laws and Robustness in One-Step Heaven-Hell Consensus
von: Aghanya, Nnamdi Daniel, et al.
Veröffentlicht: (2025)

OpCode-Based Malware Classification Using Machine Learning and Deep Learning Techniques
von: Saini, Varij, et al.
Veröffentlicht: (2025)

Locality, Consistency, and the Tractability Frontier
von: Simas, Tristan
Veröffentlicht: (2026)

On the Descriptive Complexity of Groups without Abelian Normal Subgroups
von: Grochow, Joshua A., et al.
Veröffentlicht: (2022)

Gödel Mirror: A Formal System For Contradiction-Driven Recursion
von: Chan, Jhet
Veröffentlicht: (2025)

The Need for Standardized Evidence Sampling in CMMC Assessments: A Survey-Based Analysis of Assessor Practices
von: Therrien, Logan, et al.
Veröffentlicht: (2026)

The Beautiful Deception: How 256 Bits Pretend to be Infinity
von: Towell, Alexander
Veröffentlicht: (2025)

Secure IVSHMEM: End-to-End Shared-Memory Protocol with Hypervisor-CA Handshake and In-Kernel Access Control
von: Kim, Hyunwoo, et al.
Veröffentlicht: (2025)

Swarm Contract: A Multi-Sovereign Agent Consensus Mechanism
von: Yang, Haowei
Veröffentlicht: (2024)

When Are LLM Inferences Acceptable? User Reactions and Control Preferences for Inferred Personal Information
von: Monteiro, Kyzyl, et al.
Veröffentlicht: (2026)

SeMA: Extending and Analyzing Storyboards to Develop Secure Android Apps
von: Mitra, Joydeep, et al.
Veröffentlicht: (2020)

The Cost of Convenience: Identifying, Analyzing, and Mitigating Predatory Loan Applications on Android
von: Akanji, Olawale Amos, et al.
Veröffentlicht: (2026)

Cross-Border Data Security and Privacy Risks in Large Language Models and IoT Systems
von: Handapangoda, Chalitha
Veröffentlicht: (2026)

A Self-Improving Architecture for Dynamic Safety in Large Language Models
von: Slater, Tyler
Veröffentlicht: (2025)

Constructive Limits of Cantor's Diagonal Method: Countability, Enumerability, and the Impossibility of Exhausting the Continuum
von: Semenov, Stanislav
Veröffentlicht: (2025)

Fractal Boundaries of Constructivity: A Meta-Theoretical Critique of Countability and Continuum
von: Semenov, Stanislav
Veröffentlicht: (2025)

Minimizing the Number of Roles in Bottom-Up Role-Mining using Maximal Biclique Enumeration
von: Tripunitara, Mahesh
Veröffentlicht: (2024)

Which are the True Defeasible Logics?
von: Maher, Michael J.
Veröffentlicht: (2024)

A correspondence between the time and space complexity
von: Latkin, Ivan V.
Veröffentlicht: (2023)

From CRUD to Autonomous Agents: Formal Validation and Zero-Trust Security for Semantic Gateways in AI-Native Enterprise Systems
von: Peyrano, Ignacio
Veröffentlicht: (2026)

Control Flow Graph Recovery for Dynamically Loaded Code via Symbolic Library Resolution
von: Mostovyi, Oleksandr
Veröffentlicht: (2026)

Privately Fine-Tuned LLMs Preserve Temporal Dynamics in Tabular Data
von: Rosenblatt, Lucas, et al.
Veröffentlicht: (2026)

The Complexity of Resilience Problems via Valued Constraint Satisfaction
von: Bodirsky, Manuel, et al.
Veröffentlicht: (2023)

User-space library rootkits revisited: Are user-space detection mechanisms futile?
von: Soriano-Salvador, Enrique, et al.
Veröffentlicht: (2025)

Paths Not Taken: A Secure Computing Tutorial
von: Boebert, William Earl
Veröffentlicht: (2025)