On the (In)stability of Adaptive Fee Mechanisms in Multi-Chain Systems
EIP-1559 has become the dominant transaction fee mechanism in permissionless blockchains, regulating scarce block space
#cs.DC
共收录 158 条相关情报。
← 返回所有主题The LLM-Attacker: A Unified Red-Team Framework for Privacy Evaluation of Split and Distributed LLM Systems
Split language models keep input text on a client but send intermediate representations to a server. Attacks can reconst
Benchmarking Post-Quantum Key Encapsulation in S3-Compatible Object Storage under Client Concurrency
Data encrypted today with classical public-key algorithms could be decrypted once large quantum computers exist. Cloud o
Prioritizing Microservice Requests via Retries
Cloud services rapidly shift towards independently-managed microservices architectures. This independence may lead to te
HULK: An Efficient Algorithm for Enabling Fast Bulk Bitwise Operations on Homomorphically Encrypted Data
A wide range of important cloud applications, e.g., database analytics, graph analytics, and genome analysis, spend a co
PrivacyGuard: Source-Linked Sanitization and Locally Resolvable PII References for Cloud GUI Agents
Cloud graphical user interface (GUI) agents send instructions and screenshots to remote planners, exposing personally id
Revisiting Fast Tendermint: An Agreement Violation and Two Repairs
Fast Tendermint reduces Tendermint's good-case latency to two communication steps for n>=5f+1. We show that its publishe
The Economic Security of Exponential EIP-1559
We consider the problem of parameter selection for EIP-1559, a widely used gas pricing mechanism for blockchains. As opp
Hybrid Hierarchical Runtime Verification for Edge-IoT Security: Combining MonPoly and RTLola
Security monitoring of edge-IoT fleets faces three structural challenges. (i) A per-node monitor is cheap but cannot see
Contextual Chain: Lightweight Continuity Authentication for Intermittently Connected Devices
Can authentication make memory, rather than computational hardness, the attacker's bottleneck? Contextual Chain is a lig
When Can Stateless Recovery Defeat Byzantine Quorum Safety? A Tight Normal Form for Single-Step BFT
Byzantine quorum safety relies on correct replicas refusing to sign conflicting values. A replica that loses its protoco
Evaluating Behavioral Context for Interpretable IAM Policy Risk Scoring in Cloud Environments
IAM policy analysis typically emphasizes the authorization capabilities encoded in a policy, but security analyst review
A Resilient Runtime-Verification Fabric for Security Monitoring of Critical Edge-IoT Infrastructure
Protecting critical infrastructure increasingly depends on continuously verifying large IoT fleets against formal securi
Terracotta: Enabling the Adoption of New DRAM Techniques via a Flexible DRAM Interface and Memory Controller
DRAM continues to limit the performance, energy efficiency, and robustness of modern systems. Many prior works propose D
Static Bootstrap Placement for Encrypted Language Model Decoding
Language models increasingly serve prompts that carry private data, and secure inference under homomorphic encryption le
JASPER: Special Session on Joint Reliability And Security Assessment of SPlit Computing for Edge Robustness
分割计算（Split Computing, SC）通过在边缘设备与云服务器之间切分深度神经网络（DNN）推理来降低端侧算力与延迟压力，但切分点处传输的中间特征表示同时暴露于两类风险：其一是硬件故障（如瞬态位翻转、软错误）导致的推理精度退化，
Progressive-Resolution Secure Aggregation for Federated Learning
该论文聚焦联邦学习（FL）中的安全聚合（Secure Aggregation）机制，并指出其一个长期被忽视的功能性局限：在传统协议中，聚合结果的精度（分辨率）在客户端上传更新时就被一次性固定下来。也就是说，服务器与客户端在协议开始前必须就量
XIM: The XDC Interledger Messaging Protocol
本文针对分布式账本、隐私保护型机构网络与传统支付系统之间日益增长的互操作需求展开研究。这类异构信任域之间需要交换「已认证消息」并完成资产结算，而现有互操作方案通常只侧重三个方向之一：应用层抽象（统一接口）、跨链消息传输（搬运字节）、或同一账
Analyzing Solana's Blocks and Transactions
该论文对 Solana 区块链进行了一次大规模实证测量研究。Solana 是目前最流行的公链之一，也被广泛认为是承载智能合约（dApp）最多的区块链，因此弄清链上实际执行的智能合约类型及其相互调用/关联方式，对现代区块链的设计者与智能合约开
Before Agents Act: Assurance-Aware Semantic Scheduling for Evidence Acquisition in Distributed Systems
该论文研究的是"工具型智能体（tool-using agent）在执行对基础设施有实际后果的变更前，如何可靠地采集准入（admission）所需的证据"这一问题。背景在于：智能体一旦被授权就可能直接改动生产基础设施，而准入判断往往需要多个来