:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Author:	Condrey, David L.
Format:	Preprint
Published:	2026
Subjects:	Cryptography and Security Distributed, Parallel, and Cluster Computing 94A60, 68Q17, 68Q25, 05C20 E.3; F.2.2; B.3.3; D.4.6
Online Access:	https://arxiv.org/abs/2604.15751
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

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

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

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

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

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

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

Stochastic well-structured transition systems
by: Aspnes, James
Published: (2025)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

$Δ$-Nets: Interaction-Based System for Optimal Parallel $λ$-Reduction
by: Salvadori, Daniel Augusto Rizzi
Published: (2025)

The Singularity Theory of Concurrent Programs: A Topological Characterization and Detection of Deadlocks and Livelocks
by: Zhang, Di
Published: (2025)

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

Seed-Induced Uniqueness in Transformer Models: Subspace Alignment Governs Subliminal Transfer
by: Okatan, Ayşe Selin, et al.
Published: (2025)

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

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

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

Declarative distributed algorithms as axiomatic theories in three-valued modal logic over semitopologies
by: Gabbay, Murdoch J.
Published: (2025)

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

Multiprocessor Scheduling with Memory Constraints: Fundamental Properties and Finding Optimal Solutions
by: Papp, Pál András, et al.
Published: (2025)

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

Formal Security Analysis of SPV Clients Versus Home-Based Full Nodes in Bitcoin-Derived Systems
by: Wright, Craig Steven
Published: (2025)

A Formal Rebuttal of "The Blockchain Trilemma: A Formal Proof of the Inherent Trade-Offs Among Decentralization, Security, and Scalability"
by: Wright, Craig
Published: (2025)

Post-Quantum-Resilient Audit Evidence for Long-Lived Regulated Systems: Security Models, Migration Patterns, and Case Study
by: Kao, Leo
Published: (2025)