SADRA: Sound Capability-based Access Control System for Resource-Disaggregated Architectures

arXiv:2609.31119 · cs.CR · Submitted 2026-09-25 · Read on arXiv

cs.CR

Submitted: 2026-09-25

Updated: 2026-09-25

Terminology

• Verification — 2× in this paper · explained in 2 episodes
• Accuracy — 1× in this paper · explained in 1 episode
• Adversarial scenarios — 1× in this paper · explained in 1 episode
• Core — 1× in this paper · explained in 2 episodes
• Formal Verification — 1× in this paper · explained in 2 episodes
• Personalization — 1× in this paper · explained in 2 episodes
• State Management — 1× in this paper · explained in 3 episodes

Sources

• Zeno: A Scalable Capability-Based Secure Architecture
• Deep Learning Recommendation Model for Personalization and Recommendation Systems

Related papers

• SoK: AI-Augmented Binary Reversing
• Relaxed Sender Anonymity for CBDC Interbank Settlement: A Zero-Knowledge Approach on Permissioned EVM
• Calibration-Family Overfit: Why Trusted Sabotage Monitors Don't Transfer Across Lineages
• Efficient Fuzzy PSI under One-Sided Assumptions
• Sealing the Audit-Runtime Gap for LLM Skills
• Token Composition: A Graph Based on EVM Logs