This work identifies shared rank-one reuse as the root cause of the leakage exploited by the authors' attacks, and proposes LatticeLeak, which exploits the resulting hidden lattice.
Abstract
Trusted Execution Environment (TEE)-shielded partitioning of Large Language Models (LLMs) accelerates on-device inference by offloading obfuscated linear layers to an untrusted accelerator while retaining only a small correction inside the TEE. However, earlier lightweight obfuscation schemes preserved weight-vector directions and were broken by ArrowMatch. To defend against this attack, ArrowCloak injects scalar multiples of the same hidden direction into all weight vectors, enabling lightweight trusted correction. We show that this reuse leaves a rank-one relation across the complete accelerator-visible matrix. For the released real-valued scheme, we propose SpectralLeak, which estimates and removes the shared component. Across 12 task settings, its surrogates achieve $87.98\%$ mean accuracy versus $89.85\%$ for the victims. In our defense-favorable mod-$Q$ realization of ArrowCloak's published modular security formulation, mod-$Q$ arithmetic suppresses this spectral signal but retains the algebraic rank-one relation modulo $Q$. We therefore propose LatticeLeak, which exploits the resulting hidden lattice. In our BERT-Base and GPT2-Base experiments, it reconstructs every protected fixed-point parameter exactly; across all evaluated architectures, the reconstructed models retain victim-level task accuracy without victim queries, labels, or fine-tuning. These findings identify shared rank-one reuse as the root cause of the leakage exploited by our attacks. Guided by this insight, we design ButterflyCloak, a keyed maximal-rank butterfly mask that replaces the reused direction with distinct mask rows while retaining fast trusted correction...
This paper revisits ArrowCloak from cryptographic and structural perspectives and proposes an end-to-end, query-free recovery attack, suggesting that lightweight protection should address both per-vector geometry and joint structure across released weights.
Beijie Liu, Junyi Ouyang, Haoxuan Xu et al.· 1 citation
LoRO can solve the concerns regarding model thefts on edge devices in an efficient and secure manner, facilitating the wide edge application of LLMs and identifying a statistical vulnerability in existing protection methods.
Gao-Jian Xiong, Yu Sun, Jian-Hua Liu et al.· Neural Information Processin...· 6 citations
Slice and Dice proposes a layered attestation architecture for 3-layer systems, in which a minimal and highly privileged programmable firmware layer continuously performs dynamic memory introspection on the untrusted Payload Manager layer (Layer 1).
Nikolaos Varvitsiotis, Stefanos Vasileiadis, Sofia-Anna Menesidou et al.· International Conference on...· 0 citations
The integration of Large Language Models (LLMs) into Integrated Development Environments (IDEs) introduces a critical vulnerability to indirect Prompt Injection Attacks (PIAs). State-of-the-art coding models, such as Qwen-2.5-Coder, often embed malicious payloads within project configuration rules, resulting in alarmin...
E. Nkoro, Weixian Liao, Cheng Qian et al.· International Conference on...· 0 citations
RoguePrompt is introduced, a jailbreak pipeline that partitions a forbidden prompt and applies two nested encodings, Vigenere followed by ROT13, along with natural-language reconstruction instructions, demonstrating the effectiveness of layered prompt encoding while providing stage-level evidence of where multistage ja...
Design guidance for measurement under strategic optimization is distill design guidance for measurement under strategic optimization: held-out probes retain validity only on non-enumerable axes; gates must measure held-out performance, not just correctness; and a transfer rate is interpretable only with per-failure mec...
A new computational approach reveals how cells communicate to assemble into tissues. This could accelerate stem cell engineering, improve disease models, and inform therapies.
Microsoft Research Blog· microsoft.comOct 15, 2026
Zero-knowledge proofs can verify computing results without rerunning workloads or exposing sensitive data. Magnetar helps bring them into the mainstream with support for standard programming languages, major speed gains, and quantum-resistant security. The post Proof-based general-purpose computing with Magnetar appeared first on Microsoft Research.