Distributed Systems
Consensus protocols, fault tolerance, and distributed computing
20 papers indexed
Towards System-Oriented Formal Verification of Local-First Access Control
The paper proposes a bottom-up, system-oriented approach to formally verify authorization algorithms for large-scale, Byzantine fault-tolerant local-first systems, using Rust and the Verus framework.
The Cognitive Penalty: Ablating System 1 and System 2 Reasoning in Edge-Native SLMs for Decentralized Consensus
The paper demonstrates that for edge-native SLMs used in decentralized governance, simpler, intuitive reasoning (System 1) is significantly more robust and efficient than complex, iterative deliberati…
ORCHID: Orchestrated Reduction Consensus for Hash-based Integrity in Distributed Ledgers
ORCHID introduces a novel, bio-inspired consensus protocol that uses quantum-noisy phase oscillators and a binding threshold derived from neuroscience to achieve scalable, high-fidelity consensus in d…
OrbitBFT: Enabling Scalable and Robust BFT Consensus in LEO Constellations
OrbitBFT introduces a novel two-stage hierarchical BFT consensus protocol that enables scalable and robust Byzantine Fault-Tolerant coordination for large-scale Low Earth Orbit satellite constellation…
A Survey on Security with Quantum Computing
Manik Kumar Sangala, Robin Naira, Akhirul Islam, Sudip Biswas +1 more
This survey provides a comprehensive review of the security challenges, threats, and mitigation strategies associated with the rapid advancement of quantum computing.
Detecting Privilege Escalation in Polyglot Microservices via Agentic Program Analysis
The paper introduces Neo, an agentic program analysis framework that successfully detects zero-day privilege escalation vulnerabilities in complex, polyglot microservices by combining LLMs with advanc…
Governance-Constrained Agentic AI: Blockchain-Enforced Human Oversight for Safety-Critical Wildfire Monitoring
Ali Akarma, Toqeer Ali Syed, Salman Jan, Hammad Muneer +1 more
The paper proposes a blockchain-based, governance-constrained agentic AI architecture for wildfire monitoring that enforces mandatory human oversight to ensure safety, reliability, and accountability…
On the Vulnerability of FHE Computation to Silent Data Corruption
Jianan Mu, Ge Yu, Zhaoxuan Kan, Song Bian +5 more
This paper evaluates the vulnerability of Fully Homomorphic Encryption (FHE) computation to silent data corruption (SDC) using large-scale fault-injection experiments and theoretical analysis.
Beyond Code Reasoning: Specification-Anchored Auditing of Multi-Implementation Distributed Protocols
The paper introduces SPECA, an LLM-driven framework that audits distributed protocols by deriving and enforcing security properties from natural-language specifications, enabling cross-implementation…
PROTECT-DB: Protecting Data using Replicated State Machines: Efficient Corruption Detection & Recovery
The paper proposes PROTECT-DB, a practical system utilizing Byzantine-fault tolerant replicated state machines built on PostgreSQL to achieve efficient, concurrent detection and recovery from database…
Post-Deterministic Distributed Systems: A New Foundation for Trustworthy Autonomous Infrastructure
The paper introduces Post-Deterministic Distributed Systems (PDDS) as a new model to coordinate autonomous infrastructure where participants, including stochastic agents, produce divergent reasoning p…
FedEDAuth -- Federated Embedding Distribution Authentication for Counterfeit IC Detection
FedEDAuth is a lightweight, embedding-level authentication framework that enhances federated learning for counterfeit IC detection by identifying and filtering malicious participants before model aggr…
Distance-Preserving Digests: A Primitive for BFT Consensus
The paper introduces distance-preserving transaction digests, a new primitive that replaces standard collision-resistant hashes, enabling more efficient and robust Byzantine Fault Tolerance (BFT) cons…
Counterfactual Evaluation Reveals Hidden Capability Profiles in Clinical LLMs and Agents
The paper introduces the Causal Sensitivity Score (CSS), an interventional metric that reveals that standard coverage-based evaluations fail to detect critical responsiveness deficits in clinical LLMs…
MEV-ACE: Identity-Authenticated Fair Ordering for Proposer-Controlled MEV Mitigation
MEV-ACE introduces a fair ordering protocol that mitigates proposer-controlled MEV by combining authenticated economic identities, auditable commit/open messages, and verifiable delay randomness to en…
PCDM: A Diffusion-Based Data Poisoning Attack Against Federated Learning Systems
Wei Sun, Yijun Chen, Bo Gao, Ke Xiong +3 more
The paper proposes PCDM, a diffusion-based framework that enables highly stealthy and effective data poisoning attacks against Federated Learning systems, significantly degrading global performance wh…
AoI-Guided Client Selection for Robust and Timely Federated Intrusion Detection in Cloud-Edge Security Analytics
This paper proposes using Age of Information (AoI)-guided client selection to improve the timeliness and robustness of federated intrusion detection in cloud-edge environments, achieving significant r…
Let the Results Speak: A Replication-First Paradigm for LLM Behavioral Benchmarking
The paper introduces a 'replication-first' paradigm for LLM behavioral benchmarking, demonstrating that this rigorous approach uncovers significant, non-obvious performance drops between successive mo…
Scalable Constrained Multi-Agent Reinforcement Learning via State Augmentation and Consensus for Separable Dynamics
The paper proposes a scalable, distributed approach for constrained Multi-Agent Reinforcement Learning by using local consensus over dual variables to ensure global constraint satisfaction without cen…
Adversarial procurement in blockchains
The paper designs an optimal mechanism for soliciting expensive computational tasks in adversarial blockchain environments, showing that the loss of optimality scales logarithmically with the cost of…