Copertina

PoSME: Proof of Sequential Memory Execution via Latency-Bound Pointer Chasing with Causal Hash Binding

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autore principale:	Condrey, David L.
Natura:	Preprint
Pubblicazione:	2026
Soggetti:	Cryptography and Security Distributed, Parallel, and Cluster Computing 94A60, 68Q17, 68Q25, 05C20 E.3; F.2.2; B.3.3; D.4.6
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

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

Red-Blue Pebbling with Multiple Processors: Time, Communication and Memory Trade-offs
di: Böhnlein, Toni, et al.
Pubblicazione: (2024)

The Impact of Partial Computations on the Red-Blue Pebble Game
di: Papp, Pál András, et al.
Pubblicazione: (2025)

Gathering Semi-Synchronously Scheduled Two-State Robots
di: Otaka, Kohei, et al.
Pubblicazione: (2024)

Safe Low Bandwidth SPV: A Formal Treatment of Simplified Payment Verification Protocols and Security Bounds
di: Wright, Craig S
Pubblicazione: (2025)

Detecting and Mitigating SQL Injection Vulnerabilities in Web Applications
di: Neupane, Sagar
Pubblicazione: (2025)

Stochastic well-structured transition systems
di: Aspnes, James
Pubblicazione: (2025)

A Study of Performance Portability in Plasma Physics Simulations
di: Ruzicka, Josef, et al.
Pubblicazione: (2024)

FedPhD: Federated Pruning with Hierarchical Learning of Diffusion Models
di: Long, Qianyu, et al.
Pubblicazione: (2025)

Keys in the Weights: Transformer Authentication Using Model-Bound Latent Representations
di: Okatan, Ayşe S., et al.
Pubblicazione: (2025)

PROV-AGENT: Unified Provenance for Tracking AI Agent Interactions in Agentic Workflows
di: Souza, Renan, et al.
Pubblicazione: (2025)

Approximate Distributed Coded Computing: Polynomial Codes and Randomized Sketching
di: Charalambides, Neophytos, et al.
Pubblicazione: (2026)

Characterising resource management performance in Kubernetes
di: Medel, Víctor, et al.
Pubblicazione: (2024)

AEG: A Baremetal Framework for AI Acceleration via Direct Hardware Access in Heterogeneous Accelerators
di: Jiang, Hua, et al.
Pubblicazione: (2026)

Design, Configuration, Implementation, and Performance of a Simple 32 Core Raspberry Pi Cluster
di: Cicirello, Vincent A.
Pubblicazione: (2017)

Method for determining the acceleration of a parallel specialised computer system based on Amdahl's law
di: Filipchenko, Aleksandr S.
Pubblicazione: (2024)

Two-Robot Computational Landscape: A Complete Characterization of Model Power in Minimal Mobile Robot Systems
di: Kitamura, Naoki, et al.
Pubblicazione: (2025)

Computing Inductive Invariants of Regular Abstraction Frameworks
di: Czerner, Philipp, et al.
Pubblicazione: (2024)

Federated Domain Generalization with Data-free On-server Matching Gradient
di: Nguyen, Trong-Binh, et al.
Pubblicazione: (2025)

Clone What You Can't Steal: Black-Box LLM Replication via Logit Leakage and Distillation
di: Gharami, Kanchon, et al.
Pubblicazione: (2025)

Dynamic Memory Management on GPUs with SYCL
di: Standish, Russell K.
Pubblicazione: (2025)

Query-Aware Flow Diffusion for Graph-Based RAG with Retrieval Guarantees
di: Zhou, Zhuoping, et al.
Pubblicazione: (2026)

Source Known Identifiers: A Three-Tier Identity System for Distributed Applications
di: Kılıç, Duran Serkan
Pubblicazione: (2026)

Light Cone Consistency: Toward a Unified Theory of Consistency in Message-Passing Systems
di: Landers, Rob, et al.
Pubblicazione: (2026)

Improved Bounds for Coin Flipping, Leader Election, and Random Selection
di: Chattopadhyay, Eshan, et al.
Pubblicazione: (2025)

Emulation-Completeness of Programming Languages
di: Morse, Gregory, et al.
Pubblicazione: (2026)

CRDT-Based Game State Synchronization in Peer-to-Peer VR
di: Dantas, Abel, et al.
Pubblicazione: (2025)

Verifiable Fine-Tuning for LLMs: Zero-Knowledge Training Proofs Bound to Data Provenance and Policy
di: Akgul, Hasan, et al.
Pubblicazione: (2025)

Achieving Tight $O(4^k)$ Runtime Bounds on Jump$_k$ by Proving that Genetic Algorithms Evolve Near-Maximal Population Diversity
di: Opris, Andre, et al.
Pubblicazione: (2024)

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

Explicit separations between randomized and deterministic Number-on-Forehead communication
di: Kelley, Zander, et al.
Pubblicazione: (2023)

Scaling and Load-Balancing Equi-Joins
di: Metwally, Ahmed
Pubblicazione: (2022)

PIM-STM: Software Transactional Memory for Processing-In-Memory Systems
di: Lopes, André, et al.
Pubblicazione: (2024)

Differential Privacy: Gradient Leakage Attacks in Federated Learning Environments
di: Fernandez-de-Retana, Miguel, et al.
Pubblicazione: (2025)

Billion-scale Similarity Search Using a Hybrid Indexing Approach with Advanced Filtering
di: Emanuilov, Simeon, et al.
Pubblicazione: (2025)

On Channel Simulation with Causal Rejection Samplers
di: Goc, Daniel, et al.
Pubblicazione: (2024)

Optimal Simultaneous Byzantine Agreement, Common Knowledge and Limited Information Exchange
di: van der Meyden, Ron
Pubblicazione: (2025)

zk-Agreements: A Privacy-Preserving Way to Establish Deterministic Trust in Confidential Agreements
di: Liu, To-Wen, et al.
Pubblicazione: (2025)

Quoridor is PSPACE-Complete
di: Drop, Marius, et al.
Pubblicazione: (2026)

Leakage-Resilient Hardness Equivalence to Logspace Derandomization
di: Shalunov, Yakov
Pubblicazione: (2023)