Awesome
π Prompt Injection Mitigations
A comprehensive collection of prompt injection mitigation techniques, literature, and software suites. (Rough draft)
β οΈ But First, A Few Words of Warning...
These mitigation techniques should be a last resort, never to be heavily relied on or treated as a catch-all. They will fail.
βAt a broader level, the core issue is that, contrary to standard security best practices, βcontrolβ and βdataβ planes are not separable when working with LLMs.β - Rich Harang, Principal Security Architect (AI/ML) @ NVIDIA
My own (less technically elegant) explanation:
"We have allowed the user input to be the trust boundary. It's the equivalent of offering the attacker remote code execution and then trying to parse the code to make sure it doesn't do anything bad. Except the code has no syntax rules. That's absurd." - Jonathan Todd (me), The Prompt Injection Mitigation Problem is Never Going Away.
"Prompt Injection Mitigation is Futile." That might seem like a strong statement coming from someone compiling a list of mitigation techniques, but I think it's extremely important that we stress this truth to all software engineers. These mitigations are not fix-alls. The only safe way to handle untrusted user input passed to an LLM is to not trust the output. Consider the output to be toxic waste, only ever to be allowed to impact the user who prompted it or their trusted group.
It is possible that the mitigations outlined here might prove to be robust. Perhaps.
But if software engineers allow that resulting perception of safety to be the primary defense mode of their applications rather than doing the harder work of adhering to clear trust boundaries in their code, the software supply chain will suffer for it sooner or later. And since the mitigations will be packaged into a few distinct software suites and re-used by countless projects, a single clever mitigation bypass technique will result in widespread exploitation, similar to the Log4Shell security crisis.
And besides those considerations, many of these mitigations come with significant time and cost trade-offs. You want to avoid leveraging them in your product if you can help it.
π° The "Many Walled Gardens" Solution
In most LLM use-cases, it is feasible to side-step any need for injection mitigations by "walling off" program states tainted by untrusted I/O. In other words, software should be designed in such a way that the only users that could be affected by their own input are themselves or users who've established trust relationships with them.
That said, there are certain use-cases where this is less straight-forward:
-
The Poisoned Well Problem: Input thought to be trusted might have inadvertently become tainted. For example, perhaps a user sets their username to a prompt injection attack. Untrusted input, sure, but somehow, maybe via a reporting process, their info is attached to an email. Somehow that becomes a PDF. Incidentally, that file gets absorbed into your org's internal vector database. And finally, your org deploys an LLM-integrated system internally to explore that database for data categorization or processing or whatever the case may be. Now you're exposing a potentially privileged LLM-integrated application to a poisoned data source incorrectly assumed to be trustworthy.
-
The Assistant Dillema: Your team wants to develop an LLM-integrated autonomous AI assistant. This assistant is highly robust. It can write and execute code for the user. It can schedule appointments and make purchases on their behalf. It can log into and control their online accounts. The user asks it to browse the web to find something. It encounters a poisoned search result and poof. Pwned.
These scenarios aren't as incredibly bleak as they might initially appear. Before relying on prompt injection mitigation techniques, the software engineer can deploy sub-sandoxes. Walled gardens within the walled garden. Put simply: The potentially tainted LLM prompt outputs can be used in a limited way, but not trusted. Not allowed to influence sensitive actions.
Therefore, these mitigations should really just be a matter of:
-
Quality Control: Protect the user from being shown an inappropriate output triggered by some poisoned assets their AGI assistant encountered on the web.
-
Defense in Depth: If we assume software engineers will sometimes fail to fully sandbox untrusted I/O in LLM-integrated applications (and they will), depending on the risk involved, it might be prudent in certain use-cases to deploy these mitigation techniques.
π‘οΈ Layered Defense
Each technique listed in this document will be susceptible to bypass, but by layering many of them we convolute and add complexity to the attacker's search space of possible bypasses in the hope of reaching successful mitigation. Multi-layered defense is nothing new in the cybersecurity realm, but it's particularly prevalent here due to the fundamentally unsolvable nature of the problem. The only hope of success in the LLM prompt injection mitigation endeavor is to combine many of these techniques.
π Techniques
π¬ Paraphrasing
Ask an LLM to paraphrase the prompt while retaining as much detail as possible. Although the injection attack may attempt to trick the paraphrasing step into echoing the initial message, the sophistication required for this could potentially conflict with any subsequent injection strategies.
π Active
π€ Output-focused
π Generic
π€ Automated
β‘ Low Time Overhead
π² Low Cost
π΅οΈββοΈ Threat Intel Driven Sanitization
Based on threat intel, use string searches, vector databases, and embeddings to match known injection techniques. Upon detection of similar strings, remove them from the prompt.
π Active
π‘οΈ Preventive
π₯ Input-focused
π¬ Specific
π₯ Manual
β‘ Low Time Overhead
π° High Cost
𧬠Mutation & Repair
Leverage the often incoherent nature of prompt injection strings against the attacker. Randomly remove characters from the input prompt and use an LLM to correct any errors in the text. Repeat this process N times. Start this process in parallel multiple times. After sufficient iterations, the repaired portions of a prompt might lose any obscure, likely-to-be injection-related details.
π Active
π‘οΈ Preventive
π₯ Input-focused
π Generic
π€ Automated
π°οΈ High Time Overhead
π° High Cost
π Relevance Filtering
Many injection attacks involve odd and seemingly irrelevant strings of text. Use an LLM to divide up the content of the prompt into a list of details and assess each item's relevance. Filter the elements deemed irrelevant confirm whether removing each item would alter the prompt's meaning. Remove irrelevant components. The resulting cleaned prompt is effectively a more robust version of the initial one, which might exclude certain oddities added by attackers and avoid their effect.
π Active
π₯ Input-focused
π Generic
π€ Automated
π°οΈ High Time Overhead
π° High Cost
π§ Type Enforcement
In some cases, we can validate a strict output format for the LLM prompt. Prompt injection attacks often aim to yield remote code execution. Therefore, ensuring a specific output format eliminates many loopholes for potential attackers and limits the attack vectors. This technique is particularly useful when translating LLM outputs based on untrusted or tainted inputs into sensitive actions like API calls and commands.
π¦ Passive
π‘οΈ Preventive
π€ Output-focused
π Generic
π₯ Manual
β‘ Low Time Overhead
π² Low Cost
π― Fine-tuned or RAG-assisted Injection Characterization
An LLM prompt containing information about common prompt injection methods can aid in identifying signs of these techniques. Using Retrieval Augmented Generation (RAG) or models fine-tuned for particular techniques can enhance this process.
π Active
π§ Predictive
π₯ Input-focused
π¬ Specific
π₯ Manual
π°οΈ High Time Overhead
π° High Cost
π Model Diversification
Introduce diversity by incorporating different LLM models. If two models provide diametrically opposite outputs in sentiment analysis, we can consider rejecting the prompt or retrying until the outputs are similar. This technique may detect instances where an injection attack subverts one model, but fails to subvert another, resulting in diametrically opposite outputs.
π¦ Passive
β οΈ Reactive
π€ Output-focused
π Generic
π€ Automated
β‘ Low Time Overhead
π° High Cost
π€ Canary Tokens
Embed unique identifiers (canary tokens) into the prompt which should not appear in the output under normal conditions. If these tokens are detected in the output, it suggests an attack attempting to leak hidden aspects of the prompt. This technique helps to identify and mitigate such malicious activities.
π Active
π§ Predictive
π₯ Input-focused
π¬ Specific
π€ Automated
β‘ Low Time Overhead
π² Low Cost
π·οΈ Mitigation Categories
It's useful to break down technique traits into categories to better understand how each technique is interacting with the threat as well as the time and cost trade-offs involved.
π Active vs π¦ Passive
Active mitigation techniques involve proactive steps to neutralize a potential attack whereas passive techniques block attacks by simply not allowing them to proceed.
π°οΈ High Time Overhead vs β‘ Low Time Overhead
Mitigations involving LLM inputs, especially in multiple synchronous steps can require the process to take longer compared to non-LLM mitigations or single / asynchronously executed LLM prompts.
π° High Cost vs π² Low Cost
Mitigation techniques which involve numerous additional LLM prompt steps are more resource-intensive requiring greater cost overhead relative to low cost techniques involving a single added LLM prompt or none at all.
π‘οΈ Preventive vs β οΈ Reactive
Preventive techniques try to stop an attack before it occurs while reactive techniques respond to an attack after it has happened, mitigating the impacts.
π§ Predictive vs πͺ Responsive
Predictive techniques rely on modeling and forecasting to spot and stop potential attacks whereas responsive methods respond to a detected threat.
π₯ Input-focused vs π€ Output-focused
Input-focused techniques seek to sanitize or control the input to prevent malicious use while output-focused techniques focus on turning manipulated outputs into less valuable ones for attackers.
π Generic vs π¬ Specific
Generic techniques can be applied broadly to tackle different types of attacks while specific techniques specialize in thwarting a particular type of attack.
π€ Automated vs π₯ Manual
Automated mitigation will continue working with no human intervention whereas manual mitigation techniques require human intervention on a continuous basis, for example to introduce new threat signatures.
π Relevant Literature
- Universal and Transferable Adversarial Attacks on Aligned Language Models - Zou et al.
- A LLM Assisted Exploitation of AI-Guardian - Nicholas Carlini, Google DeepMind
- A Complete List of All (arXiv) Adversarial Example Papers - Carlini
π οΈ Free & Open Source Mitigation Suites:
Rebuff.ai
"Rebuff is designed to protect AI applications from prompt injection (PI) attacks through a multi-layered defense."
This is an early draft and feature-incomplete document. Contributions are welcome. I can be contacted for discussion here. Views and opinions expressed here are my own and do not represent those of my employer.