SearcharxivSearch

arXiv subjects

Xinmeng Zeng

Publications and source records attributed to Xinmeng Zeng.

4 recordsLinked to original sources

SUDP: Secret-Use Delegation Protocol for Agentic Systems

Agentic systems increasingly act with user secrets for APIs, messaging platforms, and cloud services. Today's agent runtimes typically implement authorization by exposure: enabling action often means placing a reusable secret, or a reusable artifact derived from it, inside the runtime, so a transient prompt-injection or tool-side compromise becomes durable account compromise. Existing defenses cover adjacent pieces such as secret storage, scoped delegation, sender-constrained tokens, and runtime monitoring, but leave the combined agentic obligation without a common specification: an untrusted autonomous requester should be able to cause a user-authorized secret-backed operation without gaining reusable authority over it. We formalize this as the Agent Secret Use (ASU) problem and identify seven security properties any solution must satisfy, spanning authorization integrity and secret confidentiality. We propose the Secret-Use Delegation Protocol (SUDP), in which a requester proposes a canonical operation, the user authorizes it with a fresh authenticator-backed grant, and a custodian redeems the grant to perform the bounded use; reusable authority never crosses the requester boundary. We specialize SUDP for LLM-driven agents, where it applies whenever a tool call would exercise user-enrolled authority-bearing material. Under standard cryptographic assumptions, SUDP satisfies all seven properties when integrated with a hardware-rooted runtime. A reference implementation is available at https://github.com/xhyumiracle/sudp.

cs.CR

The extremals of the Kahn-Saks inequality

A classical result of Kahn and Saks states that given any partially ordered set with two distinguished elements, the number of linear extensions in which the ranks of the distinguished elements differ by $k$ is log-concave as a function of $k$. The log-concave sequences that can arise in this manner prove to exhibit a much richer structure, however, than is evident from log-concavity alone. The main result of this paper is a complete characterization of the extremals of the Kahn-Saks inequality: we obtain a detailed combinatorial understanding of where and what kind of geometric progressions can appear in these log-concave sequences. This settles a partial conjecture of Chan-Pak-Panova, while the analysis uncovers new extremals that were not previously conjectured. The proof relies on a much more general geometric mechanism -- a hard Lefschetz theorem for nef classes that was obtained in the setting of convex polytopes by Shenfeld and Van Handel -- which forms a model for the investigation of such structures in other combinatorial problems.

math.CO

On the concentration of Gaussian Cayley matrices

Given a finite group, we study the Gaussian series of the matrices in the image of its left regular representation. We propose such random matrices as a benchmark for improvements to the noncommutative Khintchine inequality, and we highlight an application to the matrix Spencer conjecture.

math.FA

Transmission properties of space-time modulated metamaterials

We prove the possibility of achieving exponentially growing wave propagation in space-time modulated media and give an asymptotic analysis of the quasifrequencies in terms of the amplitude of the time modulation at the degenerate points of the folded band structure. Our analysis provides the first proof of existence of k-gaps in the band structures of space-time modulated systems of subwavelength resonators.

math.AP