paper-with-me

홈 › Papers

Unelicitable Backdoors in Language Models via Cryptographic Transformer Circuits

2024-06-03 · Andis Draguns, Andrew Gritsevskiy, Sumeet Ramesh Motwani, Charlie Rogers-Smith, Jeffrey Ladish, Christian Schroeder de Witt

The rapid proliferation of open-source language models significantly increases the risks of downstream backdoor attacks. These backdoors can introduce dangerous behaviours during model deployment and can evade detection by conventional cybersecurity monitoring systems. In this paper, we introduce a novel class of backdoors in transformer models, that, in contrast to prior art, are unelicitable in nature. Unelicitability prevents the defender from triggering the backdoor, making it impossible to properly evaluate ahead of deployment even if given full white-box access and using automated techniques, such as red-teaming or certain formal verification methods. We show that our novel construction is not only unelicitable thanks to using cryptographic techniques, but also has favourable robustness properties. We confirm these properties in empirical investigations, and provide evidence that our backdoors can withstand state-of-the-art mitigation strategies. Additionally, we expand on previous work by showing that our universal backdoors, while not completely undetectable in white-box settings, can be harder to detect than some existing designs. By demonstrating the feasibility of seamlessly integrating backdoors into transformer models, this paper fundamentally questions the efficacy of pre-deployment detection strategies. This offers new insights into the offence-defence balance in AI safety and security.

📄 PDF Abstract BibTeX arXiv:2406.02619

Code (1)

ag8/sha-transformer 공식 구현 pytorch

Tasks

Red Teaming

Similar Papers 제목 키워드 기반

Exploring the Cryptographic Limits of Transformer Networks

2026-06-28 · Stefan Domunco, Andis Draguns, Philip Torr, Isaac Robinson 외 arxiv

In recent work it has been shown that colluding AI agents can use steganographic methods to exchange malicious information. Whether a transformer can implement steganographic methods depends on what cryptographic functio…

Interactive Simulations of Backdoors in Neural Networks

2024-05-21 · Peter Bajcsy, Maxime Bros

This work addresses the problem of planting and defending cryptographic-based backdoors in artificial intelligence (AI) models. The motivation comes from our lack of understanding and the implications of using cryptograp…

backdoor defense

On Cryptographic Attacks Using Backdoors for SAT

2018-03-13 · Alexander Semenov, Oleg Zaikin, Ilya Otpuschennikov, Stepan Kochemazov 외

Propositional satisfiability (SAT) is at the nucleus of state-of-the-art approaches to a variety of computationally hard problems, one of which is cryptanalysis. Moreover, a number of practical applications of SAT can on…

Cryptanalysis

Cryptographic Backdoor for Neural Networks: Boon and Bane

2025-09-25 · Anh Tu Ngo, Anupam Chattopadhyay, Subhamoy Maitra arxiv

In this paper we show that cryptographic backdoors in a neural network (NN) can be highly effective in two directions, namely mounting the attacks as well as in presenting the defenses as well. On the attack side, a care…

Adversarial Attack

Statistically Undetectable Backdoors in Deep Neural Networks

2026-07-10 · Andrej Bogdanov, Alon Rosen, Neekon Vafa arxiv

We show how an adversarial model trainer can plant backdoors in a large class of deep, feedforward neural networks. These backdoors are statistically undetectable in the white-box setting, meaning that the backdoored and…