Paper deep dive
Towards Universal and Black-Box Query-Response Only Attack on LLMs with QROA
Hussein Jawad, Nicolas J-B. Brunel
Models: BART, Falcon-7B, Llama2-Chat-7B, Mistral-7B, RoBERTa, Vicuna-7B
Intelligence
Status: succeeded | Model: google/gemini-3.1-flash-lite-preview | Prompt: intel-v1 | Confidence: 96%
Last extracted: 3/12/2026, 6:42:55 PM
Summary
QROA (Query-Response Optimization Attack) is a novel black-box jailbreak method for LLMs that identifies adversarial suffixes to bypass alignment safeguards. By framing the attack as a multi-armed bandit optimization problem, QROA uses token-level optimization and a surrogate evaluation model to operate solely through the query-response interface, eliminating the need for logit access or human-crafted templates. The method also includes QROA-UNV for generating universal adversarial suffixes, achieving high attack success rates across various models like Llama2, GPT-3.5, and GPT-4.
Entities (5)
Relation Signals (3)
QROA-UNV â extensionof â QROA
confidence 100% ¡ Furthermore, we propose QROA-UNV, an extension that identifies universal adversarial suffixes
QROA â bypasses â LLM alignment safeguards
confidence 95% ¡ QROA, a novel black-box jailbreak method designed to identify adversarial suffixes that can bypass LLM alignment safeguards
QROA â uses â Multi-armed bandit
confidence 95% ¡ In our study on jailbreaking a Large Language Model (LLMs), we propose using a Reinforcement Learning (RL) framework... We conceptualize this as a multi-armed bandit problem
Cypher Suggestions (0)
No Cypher suggestions yet.
Abstract
Abstract:The rapid adoption of Large Language Models (LLMs) has exposed critical security and ethical vulnerabilities, particularly their susceptibility to adversarial manipulations. This paper introduces QROA, a novel black-box jailbreak method designed to identify adversarial suffixes that can bypass LLM alignment safeguards when appended to a malicious instruction. Unlike existing suffix-based jailbreak approaches, QROA does not require access to the model's logit or any other internal information. It also eliminates reliance on human-crafted templates, operating solely through the standard query-response interface of LLMs. By framing the attack as an optimization bandit problem, QROA employs a surrogate model and token level optimization to efficiently explore suffix variations. Furthermore, we propose QROA-UNV, an extension that identifies universal adversarial suffixes for individual models, enabling one-query jailbreaks across a wide range of instructions. Testing on multiple models demonstrates Attack Success Rate (ASR) greater than 80\%. These findings highlight critical vulnerabilities, emphasize the need for advanced defenses, and contribute to the development of more robust safety evaluations for secure AI deployment. The code is made public on the following link: this https URL
Tags
Links
- Source: https://arxiv.org/abs/2406.02044
- Canonical: https://arxiv.org/abs/2406.02044
- Code: https://github.com/qroa/qroa
Trouble viewing inline? Open PDF directly â
Full Text
88,604 characters extracted from source content.
Expand or collapse full text
Towards Universal and Black-Box Query-Response Only Attack on LLMs with QROA Hussein Jawad Yassine Chenik Nicolas J-B. Brunel Abstract Content warning: This paper contains unfiltered content generated by LLMs that may be offensive to readers. The rapid adoption of Large Language Models (LLMs) has exposed critical security and ethical vulnerabilities, particularly their susceptibility to adversarial manipulations. This paper introduces QROA, a novel black-box jailbreak method designed to identify adversarial suffixes that can bypass LLM alignment safeguards when appended to a malicious instruction. Unlike existing suffix-based jailbreak approaches, QROA does not require access to the modelâs logit information or any other internal information. It also eliminates reliance on human-crafted templates, operating solely through the standard query-response interface of LLMs. By framing the attack as an optimization bandit problem, QROA employs a surrogate model and token-level optimization to efficiently explore suffix variations. Furthermore, we propose QROA-UNV, an extension that identifies universal adversarial suffixes for individual models, enabling one-query jailbreaks across a wide range of instructions. Testing on multiple LLMsâincluding Vicuna, LLama2-chat, Mistral-Large, GPT-3.5, and GPT-4âdemonstrates Attack Success Rates (ASR) exceeding 80% within practical query budgets. These findings highlight critical vulnerabilities, emphasize the need for advanced defenses, and contribute to the development of more robust safety evaluations for secure AI deployment. The code is made public on the following link: https://github.com/qroa/QROA Machine Learning, ICML 1 Introduction In recent years, the emergence of large language models (LLMs) and their rapid improvements ((OpenAI, 2024),(Team, 2024)) has marked a transformative period in the fields of natural language processing, text generation, and software development. While the utility of these models is undeniable, their potential for misuse has surfaced as a critical issue. Studies have highlighted their ability to produce offensive content or be manipulated into performing undesirable actions through so-called âjailbreakâ prompts ((Weidinger et al., 2021); (Weidinger et al., 2022)). Such weaknesses gave the impetus for the development of alignment strategies to mitigate these risks by training models to avoid harmful outputs and reject inappropriate requests ((Ouyang et al., 2022); (Bai et al., 2022a); (Korbak et al., 2023); (Zhou et al., 2024). Despite these efforts, recent advancements reveal that LLMs remain vulnerable to hand-written and algorithmically generated attacks that cleverly bypass these protective mechanisms ((Bai et al., 2022b) , (Albert, 2023)). This vulnerability is particularly alarming given the modelsâ widespread integration into commercial and private sectors, with significant security implications. A notable advancement in jailbreak attacks on LLMs is the development of token-level optimization methods. In these methods, a specifically optimized trigger is appended to a malicious instruction to compel the LLM to respond in a desired manner. For instance, the Greedy Coordinate Gradient (GCG) optimization algorithm proposed by (Zou et al., 2023) leverages the gradient of the objective function to update the trigger one token at a time. However, GCG is effective only in âwhite boxâ scenarios where internal model details are accessible, contrasting with âblack boxâ situations encountered in production environments where attackers typically only have access to the LLMâs output through a chatbot interface. In this work, we introduce QROA (Query-Response Optimization Attack), a black-box jailbreak attack on LLMs that discover adversarial suffixes. QROA is an automatic, suffix-optimization-based approach that leverages principles similar to GCG (Zou et al., 2023) and PAL (Sitawarin et al., 2024), employing token-level optimization to discover suffixes that, when appended to a malicious instruction, force the LLM to comply without refusal. The three main ingredients of QROA are: 1. Formulation of the attack as a bandit problem (reinforcement learning). 2. Design of an optimization objective function to maximize in order to discover effective suffixes. 3. Use of a Deep Q-learning experience replay framework with iterative token optimization to maximize the objective function. Unlike previous strategies that may require access to the modelâs gradient or logit output to optimize the suffixes, QROA operates entirely through the standard query-response interface of LLMs. This gives QROA a wide range of applicability as it can directly address open source or proprietary LLMs in production. We will detail the contributions of QROA with respect to existing black-box jailbreak methods in the related works section. 2 Related Works LLM Jailbreak Jailbreak prompts have become a key focus in the domain of adversarial machine learning, particularly in the context of large language models (LLMs). These prompts are intentionally crafted to manipulate models into producing outputs that bypass their ethical or alignment safeguards. Several researchers have made significant contributions to this area. For instance, (Bai et al., 2022b) and (Albert, 2023) explored how carefully designed prompts could circumvent alignment protocols in LLMs. Their work laid the groundwork for understanding the vulnerabilities in LLMs and the potential risks posed by adversarial inputs. Expanding on this, (Wen et al., 2024), (Jones et al., 2023), (Carlini et al., 2024), (Zou et al., 2023), and (Shen et al., 2023) demonstrated that adversarial prompts could be automatically generated, leveraging specific model weaknesses to produce harmful, biased, or misleading responses. Moreover, (Chu et al., 2024), (Yi et al., 2024) and (Xu et al., 2024a) conducted a large-scale evaluation of various jailbreak strategies, offering insights into the effectiveness and diversity of these attack vectors. Black-Box Jailbreak Attacks on LLMs Recent research has introduced automatic black-box jailbreak techniques, eliminating the need for direct access to the model. Techniques such as the PAL attack (Sitawarin et al., 2024) leverage a proxy model to simulate the target model, enabling attackers to refine their inputs based on the proxyâs feedback. Other methods, like the one proposed by (Lapid et al., 2023), use fuzzing methodologies that rely on cosine similarity to determine the effectiveness of the input modifications. These methods highlight a shift toward techniques that can operate effectively without comprehensive access to the target modelâs internal workings, reflecting realistic attack scenarios in many real-world applications. However, these methods still require access to the logits or other internal data of the model to optimize their attack strategies effectively. Other state-of-the-art black-box jailbreak methods, such as TAP (Mehrotra et al., 2023a) and PAIR (Chao et al., 2023), use LLMs as optimizers. They utilize language models to generate or refine adversarial prompts, although the generated prompts are more human-readable, the dependency on additional LLM resources raise operational costs, and the generated prompts are limited by the output distribution of the attackerâs LLM. This means the quality and effectiveness of the adversarial prompts are restricted by the capabilities and biases of the LLM used by the attacker, potentially reducing their generalizability and effectiveness across different target models. Other black-box methods, such as GPTFUZZER (Yu et al., 2023), rely on human-crafted templates, which may not be suitable for all models or may not always be available. ReNeLLM (Ding et al., 2023) requires multiple interactions with the LLM, increasing token usage. SelfCipher (Yuan et al., 2023) and CodeChameleon (Lv et al., 2024) introduce complex tasks (code generation and ciphering), reducing attack efficiency. Jailbreak through suffix optimization Suffix optimization attacks represent a more refined approach in the jailbreak domain, where the goal is to automatically discover trigger phrases that, when appended to a malicious instruction, lead the LLM to produce outputs aligned with the attackerâs intentions without refusal. This class of attack moves beyond simple prompt crafting to an optimization problem where the objective function is carefully set to maximize the model malicious response. (Zou et al., 2023) proposed a gradient-based discrete optimization method that builds on earlier work by Shin et al. (Shin et al., 2020) and (Jones et al., 2023). A significant advantage of this type of attack is that it does not require any human-crafted templates as seeds, enhancing its generalizability across different and new LLMs, which makes the attack more adaptable and harder to defend against. Query-Response Optimization Attack (QROA) QROA is a black-box, suffix-based optimization attack. Specifically, we optimize a suffix x (chain of tokens) such that, when appended to a malicious instruction and sent to the LLM, it elicits a malicious response from the model. Our primary claim to the novelty of QROA is that, to the best of our knowledge, this is the first black-box jailbreak attack based on adversarial suffix optimization. This distinguishes it from other black-box attacks in the literature. It is a novel approach to circumvent the safeguards of LLMs, with the following claims: ⢠QROA is a automatic black-box jailbreak method, that relies exclusively on the query-response interface of the LLMs. It does not require additional side information from the API, such as logits or log probabilities. ⢠It is not based on human-crafted templates or proxy LLM models to generate adversarial prompts, allowing the framework to be more general and adjustable to user-specific tests. ⢠QROA-UNV extends the framework to identify universal adversarial suffixes that generalize across multiple malicious instructions. These universal suffixes enable one-query jailbreaks on unseen instructions, highlighting their effectiveness and broad applicability 3 Formalization 3.1 Problem Setting In this study, we focus on a fixed large language model (LLM), denoted G, which generates a sequence of output tokens Gâ˘(p)G(p)G ( p ) in response to an input prompt p. Our goal is to âjailbreakâ the LLM G: Given an input prompt containing malicious instructions I, our goal is to identify a suffix x that, when appended to I (denoted as I+xI+xI + x), induces the LLM to follow the intended behavior without refusing the request. 3.2 Objective Function: Single instruction To achieve jailbreak, we propose to maximize a score function Sâ˘(x;I)S(x;I)S ( x ; I ), which evaluates the effectiveness of a suffix x in inducing the desired response from G. This is defined as: Sâ˘(x,I)=txâźGâ˘(I+x)â˘[fâ˘(I,tx)]similar-tosubscriptdelimited-[]subscriptS(x,I)= t_x G(I+x)E[f(I,t_x)]S ( x , I ) = start_UNDERACCENT titalic_x âź G ( I + x ) end_UNDERACCENT start_ARG blackboard_E end_ARG [ f ( I , titalic_x ) ] (1) with the following notations ⢠I+xI+xI + x: The concatenation of the malicious instruction I and the suffix x. ⢠txsubscriptt_xtitalic_x: The output of the LLM G given the input prompt I+xI+xI + x. For notational simplicity, we remove the (crucial) dependency on the model G and the instruction I. ⢠fâ˘(I,tx)subscriptf(I,t_x)f ( I , titalic_x ): The alignment function quantifies how closely the generated output txsubscriptt_xtitalic_x aligns with the malicious intent of I. Higher values of fâ˘(I,tx)subscriptf(I,t_x)f ( I , titalic_x ) indicate stronger alignment with the intended behavior. More details about this function will be given in Section 3.5. ⢠â˘[fâ˘(I,tx)]delimited-[]subscriptE[f(I,t_x)]blackboard_E [ f ( I , titalic_x ) ]: The expectation represents averaging of all possible outputs txsubscriptt_xtitalic_x generated by the model G in response to the input I+xI+xI + x. Since the output of G may be stochastic (i.e., it can vary between different runs due to randomness in sampling), the expectation ensures that we consider the average alignment across multiple outputs. This allows us to account for the variability of the model and search for suffixes that, on average, elicit the desired behavior. The optimal suffixes that maximize the malicious behavior are denoted by xâsuperscriptâx xâ and are defined as any suffix such that: xââargâĄmaxâ˘Sâ˘(x,I)superscriptâx â x \;S(x,I)xâ â underx start_ARG arg max end_ARG S ( x , I ) (2) 3.3 Objective Function for Universal Suffix Optimization Instead of designing a suffix xâsuperscriptâx xâ that works for only one specific instruction I, we focus on creating a universal suffix that performs well across many instructions. This approach allows us to find a single suffix that works for multiple instructions, and also one that can generalize to new, unseen instructions rather than being limited to just the instructions it was optimized for. To achieve this, we define the effectiveness of a suffix x based on its average performance across a collection of instructions, I=I1,I2,âŚ,IMsubscriptsubscript1subscript2âŚsubscriptD_I=\I_1,I_2,âŚ,I_M\Ditalic_I = I1 , I2 , ⌠, Iitalic_M , and the variability in the modelâs responses. The objective is expressed as: Sâ˘(x,I)=IâźIâ˘txâźGâ˘(I+x)â˘[fâ˘(I,tx)],subscriptsubscriptsimilar-tosubscriptsubscriptsimilar-tosubscriptdelimited-[]subscriptS(x,D_I)=E_I _IE_t_x G(% I+x) [f(I,t_x) ],S ( x , Ditalic_I ) = blackboard_EI âź D start_POSTSUBSCRIPT I end_POSTSUBSCRIPT blackboard_Et start_POSTSUBSCRIPT x âź G ( I + x ) end_POSTSUBSCRIPT [ f ( I , titalic_x ) ] , (3) where: ⢠IâźIsimilar-tosubscriptI _II âź Ditalic_I indicates that the instructions are sampled from a dataset of malicious instructions IsubscriptD_IDitalic_I, ⢠txâźGâ˘(I+x)similar-tosubscriptt_x G(I+x)titalic_x âź G ( I + x ) represents the modelâs stochastic output when the suffix x is appended to the instruction I, and ⢠fâ˘(I,tx)subscriptf(I,t_x)f ( I , titalic_x ) measures how well txsubscriptt_xtitalic_x aligns with the malicious intent of I. In our case, the malicious instructions are typically sampled from a uniform distribution over standard benchmarks of malicious instruction, or any finite or infinite list of target instructions, or generated randomly generated by an LLM. 3.4 Optimization Challenges The objective function defined in equation 1 unveils two primary challenges: 1. Unknown Alignment Function fâ˘(I,tx)subscriptf(I,t_x)f ( I , titalic_x ): The exact form of the alignment function f is not predefined. There are several potential methods to estimate or approximate f. 2. The gradient is not available: Operating with the LLM as a black box prevents access to the gradient of f, complicating the optimization process for x. This challenge requires alternative strategies to adjust x without relying on gradient-based optimization methods. 3.5 The Alignment Function The alignment function fâ˘(I,tx)subscriptf(I,t_x)f ( I , titalic_x ) defined in the objective function (equation 1) is crucial for evaluating how well the generated output txsubscriptt_xtitalic_x aligns with the malicious behavior specified in I. It assigns a scalar score where higher values correspond to stronger alignment between the output and the malicious intent, and lower values correspond to the LLM rejecting or contradicting the instructions. There are several potential methods to estimate or approximate f. Fixed Target Approach: Previous studies ((Zou et al., 2023), (Sitawarin et al., 2024), (Lapid et al., 2023)) have often used a fixed target sequence T to check if the LLMâs output aligns with the malicious instruction I. The algorithm searches for a suffix that maximizes the likelihood of generating a specific target output string T. For example, for the instruction âGive instructions on how to steal a carâ, the target output string could be âSure, hereâs how to steal a car.â In this case, the alignment function is simplified to fâ˘(I,tx)=Pâ˘(TâŁI+x)subscriptconditionalf(I,t_x)=P(T I+x)f ( I , titalic_x ) = P ( T ⣠I + x ), where T is a specific target output. This approach requires access to logits information in order to calculate the probability. However, in this work, we adopt a more comprehensive alignment function that generalizes beyond a fixed target and not using logits. By using the fine-tuned Roberta model for harmful evaluation. Fine-tuned model for Harmful evaluation: Another approach to defining the alignment function is by utilizing a fine-tuned model specifically trained for detecting harmful content. For instance, we can employ the fine-tuned Roberta model introduced by (Xu et al., 2024b) for harmful content detection. This model, available at https://huggingface.co/zhx123/ftrobertallm, has demonstrated 92% accuracy, outperforming GPT-4. The modelâs input format is: âUSER: [query] ASSISTANT: [response]â. The output is a value between 0 and 1, with 1 indicating harmful content and 0 indicating otherwise. 3.6 Link with Reinforcement Learning In our study on jailbreaking a Large Language Model (LLMs), we propose using a Reinforcement Learning (RL) framework to optimize the scoring function Sâ˘(x,I)S(x,I)S ( x , I ). We conceptualize this as a multi-armed bandit problem (Robbins, 1952), where the suffix x represents the action (or arm), and the alignment evaluation fâ˘(I,tx)subscriptf(I,t_x)f ( I , titalic_x ) serves as the reward associated with this action (see (Sutton & Barto, 2018)). Hence, the optimization of the score Sâ˘(â ,I)â S(¡,I)S ( â , I ) corresponds to the optimization of the average reward function under uncertain conditions. An additional motivation for framing the jailbreaking problem as RL task arises from the complexity and uncertainty surrounding the scoring function Sâ˘(â ,I)â S(¡,I)S ( â , I ). Iterative strategies that address the exploration-exploitation trade-off are commonly used to tackle such challenges. Since we do not have access to a pre-labeled dataset, our approach focuses on iteratively generating and refining hypotheses (suffixes). The suffixes selected in the current iteration guide our decisions on which suffixes should be selected in subsequent iterations, based on their observed effects fâ˘(I,tx)subscriptf(I,t_x)f ( I , titalic_x ) and the scoring function Sâ˘(x,I)S(x,I)S ( x , I ). This scoring function is not explicitly known beforehand and must be inferred through interaction with the LLM. Nevertheless, our approach exhibits two key differences from general RL problems: ⢠Absence of States: In general RL frameworks, decisions depend and lead to new states, and the agent must learn to navigate these transitions. In contrast, our jailbreaking scenario involves a static malicious instruction I and a fixed environment - the LLM G - without state transitions involved. The optimization problem is simplified to maximize the score function Sâ˘(x,I)S(x,I)S ( x , I ) for a fixed instruction I. So this problem can be formulated as a Multi-Arm Bandit problem (Robbins, 1952). ⢠Complexity of the Action Space: Each suffix x corresponds to an action, and the search space encompasses the entire token vocabulary, resulting in an extremely large and discrete action space. Specifically, the search space is VâsuperscriptâV Vroman_â, where V represents the token vocabulary and â â denotes the length of the suffix. For example, when â=10â10 =10â = 10 and V=104superscript104V=10^4V = 104, the size of the action space reaches the order of 1040superscript104010^401040. This vast, discrete action space presents challenges similar to those found in high-dimensional reinforcement learning (RL) problems (Dulac-Arnold et al., 2015), where managing the immense number of potential actions becomes a significant obstacle. 4 QROA: A Query Response Optimization Attack 4.1 Overview QROA is an adaptation of the Upper Confidence Bound (UCB) algorithm (Auer, 2002), which was originally developed for solving the multi-armed bandit problem. In this adaptation, we modify the UCB algorithm to handle the challenge of a large action space, specifically when working with suffixes. The UCB algorithm estimates a score function Sâ˘(x,I)S(x,I)S ( x , I ) for each suffix x, based on observed rewards, and selects actions (suffixes) by balancing exploitation and exploration, with a bias toward actions with higher uncertainty to encourage exploration. The estimated reward S^â˘(x,I) S(x,I)over start_ARG S end_ARG ( x , I ) is updated iteratively as new data is observed, and the next action is chosen by maximizing the expected reward, augmented by an uncertainty correction term. However, due to the vast action space, S^â˘(x,I) S(x,I)over start_ARG S end_ARG ( x , I ) alone is insufficient for effectively guiding exploration. To address this issue, we introduce a surrogate model to smooth the estimation of S^â˘(x,I) S(x,I)over start_ARG S end_ARG ( x , I ) and uncover underlying patterns, improving exploration efficiency and the search for promising suffixes. Surrogate Model (RL agent) We employ a simple neural network model, known as the surrogate model, to act as our reinforcement learning agent. This model helps us predict how effective different suffixes might be in causing the LLM to produce the desired (malicious) output. Instead of relying solely on the LLMâwhich would be computationally expensiveâwe train the surrogate model using past interactions (suffixes and their corresponding scores). By learning from these experiences, the surrogate model can quickly estimate which suffixes are most promising, guiding us to explore the vast space of possible suffixes more efficiently and focus on those likely to maximize our objective. The surrogate model is denoted as mθâ˘(x)subscriptm_θ(x)mitalic_θ ( x ), where θ are the model parameters and x is the input suffix. Deep Q-learning with experience replay (Lin, 1992) Deep Q-learning with experience replay is a technique in RL that enables an agent to learn more effectively by interacting with its environment. In our case, the surrogate model acts as the agent, and the LLM is the environment. The agent learns by observing the results (rewards) of its actions (the suffixes) and adjusts its strategy accordingly. Experience replay stores the agentâs past experiences (e.g., suffixes and their associated rewards) in a memory buffer denoted as DD. Instead of updating the model based only on the most recent interactions, the agent trains on randomly sampled experiences from the buffer. This approach helps mitigate overfitting to recent data and stabilizes the learning process, resulting in more robust training. 4.2 Description of the Algorithm: Single Instruction Figure 1 provides an overview and illustrative representation of the algorithm. Additionally, the pseudocode is presented in Algorithm 1, which is available in Appendix H. Below is a description and the motivation behind each step of the process. 1. Initialization: We start with a random or baseline suffix(trigger) as initial condition. 2. Variants Generation: Variants of initial triggers are generated by randomly selecting token positions within the trigger and replacing these tokens with alternative values chosen randomly. This process is repeated B times, producing a large number of potential trigger candidates. Motivation: This step expands the search space for potential triggers, thereby increasing the likelihood of discovering highly effective ones. For more details about this step, please check algorithm 2 3. Surrogate Model Prediction mθâ˘(x)subscriptm_θ(x)mitalic_θ ( x ): A surrogate model (RL agent) predicts which trigger variants are most likely to maximize our alignment score Sâ˘(x)S(x)S ( x ). It identifies the top triggers (Top K) to send to the LLM. Motivation: The surrogate model allows for efficient pre-selection of promising triggers, reducing the need for direct LLM interactions, which are computationally expensive. 4. LLM Generation txkâźGâ˘(I+xk)similar-tosuperscriptsubscriptsubscriptt_x^k G(I+x_k)titalic_xitalic_k âź G ( I + xitalic_k ), kâ[1,K]1kâ[1,K]k â [ 1 , K ]: The top triggers, xksubscriptx_kxitalic_k, as ranked by the surrogate model mθsubscriptm_θmitalic_θ, are appended to the desired malicious instruction and then fed into the LLM. The LLM generates textual outputs txksuperscriptsubscriptt_x^ktitalic_xitalic_k based on these prompts. 5. Harmful Evaluation fâ˘(I,txk)superscriptsubscriptf(I,t_x^k)f ( I , titalic_xitalic_k ): The outputs from the LLM are assessed for harmfulness using the alignment function f, which in this context is a fine-tuned RoBERTa model that assigns a harmfulness score between 0 and 1. 6. Learning: The scores of the previous step are stored in an experience replay memory DD of constant size mâ˘aâ˘xâ˘DmaxDm a x D. Then a batch of experiences DbsubscriptD_bDitalic_b is randomly sampled from the replay memory DD to learn and refine the surrogate model (by updating θ with a gradient descent on DbsubscriptD_bDitalic_b), enhancing its predictive accuracy and making a better selection in subsequent steps. Iteration: If the jailbreak is not yet successful, the process iterates, using the most promising triggers from previous iterations as the starting point for the next cycle (step 2: Variants Generation). This is done by leveraging the Upper Confidence Bound method (UCB)(Almazrouei et al., 2023). Motivation: The iterative process, guided by the UCB method, balances exploration of new triggers and exploitation of known promising ones, leading to a robust and efficient search process. Please refer to algorithm 1 for the exact formula of UCB. 4.3 Balancing Exploration and Exploitation QROA addresses the challenge of the large vocabulary space with two key elements: ⢠Exploitation: In each iteration cycle, the algorithm uses the most promising triggers identified from previous iterations as a starting point. These triggers are perturbed by modifying random token positions. This will generate variations within their local neighborhood. By focusing on the local neighborhood of high-performing triggers, the algorithm can exploit their potential without venturing too far into less effective areas(Dulac-Arnold et al., 2015). ⢠Exploration: the surrogate model is a simple neural network model, however its first layers is a pre-trained embedding layer taken from open source models (e.g. GPT-2). This embedding approach ensures that learning about the effectiveness of one trigger improves our predictions for triggers close to it in the embedding space, thereby requiring less exploration. This efficiency is achieved because the surrogate model will not select less effective triggers among the top-K triggers sent to the LLM. QROA uses a single sample feedback for each query. The surrogate model updates its predictions iteratively, leveraging prior results stored in the replay buffer to learn patterns about the efficiency of the suffix space. This eliminates the need for repeated sampling, as the model refines its predictions with each new query, ensuring efficiency and convergence. Figure 1: Image Illustrating the Methodology of QROA. 4.4 Choosing and Validating the Best Adversarial Suffixes xâsuperscriptâx xâ The algorithm described in Section 4.2 returns a set of adversarial suffixes xâsuperscriptâx xâ that have the potential to compel the LLM to generate malicious output. To ensure that only triggers with an Attack Success Rate (ASR) higher than a given user-defined threshold (typically Aâ˘Sâ˘R0=20%subscript0percent20ASR_0=20\%A S R0 = 20 %) are selected, it is crucial to apply statistical testing. We use a z-test to verify that the triggers exceed Aâ˘Sâ˘R0subscript0ASR_0A S R0 with a certain confidence level (in our case, a p-value of 10%percent1010\%10 %). The procedure is outlined in Algorithm 3. This algorithm evaluates each candidate trigger x by querying the target LLM 30 times and collecting scores to estimate the mean Îźxsubscript _xÎźitalic_x and standard deviation Ďxsubscript _xĎitalic_x and the z-test is applied. Triggers with a p-value below the significance level Îą are considered statistically significant and are added to the set of validated adversarial suffixes XâsuperscriptX^*Xâ. Top-1 Trigger: The best adversarial suffix is defined as the trigger with the highest z-value. 4.5 Description of the Algorithm: Universal suffix QROA-UNV extends the QROA framework to discover a universal adversarial suffix that works across a set of malicious instructions. This requires modifying only steps 4 and 5 of the QROA algorithm. The key difference lies in evaluating the suffixâs effectiveness over a set of instructions rather than a single one. LLM Generation (Modified Step 4): For a candidate suffix xksubscriptx_kxitalic_k, the LLM is queried for all instructions I in the set I=I1,I2,âŚ,IMsubscriptsubscript1subscript2âŚsubscriptD_I=\I_1,I_2,âŚ,I_M\Ditalic_I = I1 , I2 , ⌠, Iitalic_M . This results in a set of outputs: xk=tx,1k,tx,2k,âŚ,tx,Mk,superscriptsubscriptsuperscriptsubscript1superscriptsubscript2âŚsuperscriptsubscriptT_x^k=\t_x,1^k,t_x,2^k,âŚ,t_x,M^k\,Titalic_xitalic_k = titalic_x , 1k , titalic_x , 2k , ⌠, titalic_x , Mitalic_k , (4) where â˘tx,ikâźGâ˘(Ii+xk),âIiâI.formulae-sequencesimilar-towhere superscriptsubscriptsubscriptsubscriptfor-allsubscriptsubscriptwhere t_x,i^k G(I_i+x_k),\,â I_i _I.where titalic_x , iitalic_k âź G ( Iitalic_i + xitalic_k ) , â Iitalic_i â Ditalic_I . (5) Harmful Evaluation (Modified Step 5): The harmfulness score for suffix xksubscriptx_kxitalic_k is calculated as the mean score over all instructions in IsubscriptD_IDitalic_I. The alignment function fâ˘(I,tx)subscriptf(I,t_x)f ( I , titalic_x ) is applied to each output tx,iksuperscriptsubscriptt_x,i^ktitalic_x , iitalic_k, and the overall score Sâ˘(xk,I)subscriptsubscriptS(x_k,D_I)S ( xitalic_k , Ditalic_I ) is computed as: Sâ˘(xk,I)=1Mâ˘âi=1Mfâ˘(Ii,tx,ik).subscriptsubscript1superscriptsubscript1subscriptsuperscriptsubscriptS(x_k,D_I)= 1M _i=1^Mf(I_i,t_x,i^k).S ( xitalic_k , Ditalic_I ) = divide start_ARG 1 end_ARG start_ARG M end_ARG âi = 1M f ( Iitalic_i , titalic_x , iitalic_k ) . (6) This mean score evaluates the universal effectiveness of the suffix in the set of instructions. A higher score indicates a suffix that generalizes well to multiple malicious instructions. 5 Experiments To evaluate our proposed attack, we use the AdvBench benchmark (Zou et al., 2023), which includes 500 instances of harmful behaviors articulated through specific instructions, and we also use the HarmBench dataset (Mazeika et al., 2024). Following the setup by PAL (Sitawarin et al., 2024) and Mehrotra et al. (2023b), we randomly selected 50 behaviors for analysis. For all models, the top_p is set to 0.6 and the temperature to 0.9. Please refer to Appendix D for the QROA hyperparameters, and refer to Appendix A for the surrogate model architecture. We use as an alignment function the Fine-Tunned Roberta for harmful Evaluation as described in Section 3.5. Our experimental framework utilized one NVIDIA RTX 6000 Ada GPU with 48 GB of RAM. Following the setup in PAL (Sitawarin et al., 2024) and GCG (Zou et al., 2023), we fixed the total number of queries to the target LLM at 25K to identify good triggers, and we also show the attack success rate for different budgets. 5.1 Settings 5.1.1 Evaluation Metrics In this study, our primary metric is the Attack Success Rate (ASR), which is defined as the proportion of successful attacks relative to the total number of malicious instructions tested. For each malicious instruction, QROA determines the top-1 trigger, which is then appended to the malicious instruction. This combined query is submitted to the target LLM. The LLM responses are stochastic. To account for variability and to make our evaluation more robust, we introduce Aâ˘Sâ˘Râ˘@â˘Îą%@percentASR@Îą\%A S R @ Îą %, which measures the percentage of malicious instructions where the top-1 trigger achieves a success rate of at least Îą%percentÎą\%Îą % over several trials (e.g. 30 trials), meaning that ASRâ˘@â˘Îą%=# instructions with success rateâĽÎą%Total instructions testedASR@percent# instructions with success ratepercentTotal instructions testedASR@Îą\%= \# instructions with success rateâĽÎą\%% Total instructions testedASR @ Îą % = divide start_ARG # instructions with success rate ⼠ι % end_ARG start_ARG Total instructions tested end_ARG. Labeling and Validation: To label the results, we use a fine-tuned RoBERTa model to classify malicious responses, following the method in (Xu et al., 2024b). This model achieves a 92% accuracy rate, which is higher than GPT-4âs 87.4% accuracy. In addition, we conducted a manual review of the generated triggers to ensure that the attacks successfully produced responses that addressed the harmful input questions, as well as evaluation using GPT-4o. 5.2 Main results 5.2.1 Evaluate QROA We evaluated QROA on five prominent open-source models: VICUNA-7B-1.3 (Chiang et al., 2023), Mistral-7B-Instruct-v0.3 (Jiang et al., 2023), Falcon-7B-Instruct (Almazrouei et al., 2023), LLAMA-2-7B-Chat (Touvron et al., 2023), and Qwen2.5-7B-Instruct (Yang et al., 2024). The evaluation involves analyzing the modelsâ performance under varying budget constraints, where the budget corresponds to the number of queries allowed during the attack. As expected, a clear trend shows that higher budgets correlate with improved Attack Success Rates (ASR), indicating that more resources allow for more opportunities to fine-tune and optimize the attack triggers. Budget Vicuna Qwen LLama2 Falcon 5K 50% 42% 16% 70% 10K 62% 62% 18% 84% 15K 68% 70% 20% 86% 20K 76% 74% 20% 90% 25K 78% 74% 24% 90% 30K 84% 74% 24% 92% Table 1: ASR@20% across different budget levels for various models on the AdvBench dataset (T=0.90.9T=0.9T = 0.9, top-p = 0.6). We extended our analysis to closed-source large language models, as summarized in Table 2, which presents the Attack Success Rates (ASR) at various query budgets for models including Open-Mistral-Nemo, Mistral-Large-Latest, GPT-3.5-Turbo-0125, and GPT-4o-mini. Budget GPT-3.5-Turbo GPT-4o-mini 5K 66% 24% 10K 80% 32% 15K 86% 38% 20K 90% 42% 25K 90% 42% 30K 92% 44% Table 2: ASR@20% across different budget levels for various models on the AdvBench dataset (T=0.90.9T=0.9T = 0.9, top-p = 0.6). 5.2.2 Evaluate QROA-UNV Universal suffixes are designed to generalize across a wide range of malicious instructions. For each model, we selected a pool IsubscriptD_IDitalic_I of 20 malicious instructions. These instructions were used during the optimization phase and included in the reward function S (defined in equation 6) to identify a single universal suffix. The optimization is done following the procedure described in Section 4.5. The resulting universal suffix was then tested on a separate set of 50 previously unseen malicious instructions. To replicate real-world conditions, each instruction was attacked using only a single query, which was generated by appending the universal suffix. In this evaluation, our objective is to: Assess the effectiveness of the universal suffixes on the instructions used during the optimization phase (training set), and test the generalization of the identified universal suffix on a separate set of unseen malicious instructions unseen set . Model ASR@20% (Train) ASR@20% (Unseen) Vicuna-7B 95% 90% LLama2-7B-Chat 44% 25% GPT-3.5-Turbo 96% 92% GPT-4-Turbo 90% 68% GPT-4o-mini 55% 44% Table 3: Universal suffix evaluation results across training (20 instructions) and unseen (50 instructions) datasets for various LLMs. (T=0.90.9T=0.9T = 0.9, top-p = 0.6) 5.2.3 Comparison with other attack methods To benchmark the performance of QROA and QROA-UNV, we compare them against several existing jailbreak attacks, including GCG (Zou et al., 2023), AutoDAN (Liu et al., 2023), PAIR (Chao et al., 2023), TAP (Mehrotra et al., 2023a), GPTFuzzer (Yu et al., 2023), DeepInception (Li et al., 2023), DRA (Liu et al., 2024a), ArtPrompt (Jiang et al., 2024), PromptAttack (Shi et al., 2022), SelfCipher (Yuan et al., 2023), CodeChameleon (Lv et al., 2024), and ReNeLLM (Ding et al., 2023). The numbers in the table below were taken from the paper (Liu et al., 2024b), and we independently verified these results for consistency. Method GPT-3.5 Turbo GPT-4 Turbo GPT-4o-mini GCG 38.00 0.00 4.00 AutoDAN 86.00 28.00 28.00 MAC 50.00 0.00 4.00 COLD-Attack 36.00 0.00 4.00 PAIR 70.00 32.00 4.00 TAP 64.00 34.00 10.00 Base64 36.00 0.00 4.00 GPTFuzzer 26.00 46.00 34.00 DeepInception 38.00 8.00 20.00 DRA 4.00 12.00 0.00 ArtPrompt 20.00 6.00 0.00 PromptAttack 24.00 0.00 0.00 SelfCipher 0.00 0.00 0.00 CodeChameleon 92.00 100.00 62.00 ReNeLLM 92.00 88.00 50.00 QROA (T=0.9) 92 48 44 QROA (T=0) 84 60* 40 QROA-UNV (T=0.9) 96 (92) 90 (68) 55 (44) QROA-UNV (T=0) 80 (80) 50 (60) 50 (42) Table 4: ASR for different attacks, with two different temperature levels for the LLM (0.9 and 0). For QROA-UNV, we provide the figures for the training dataset, while the figures in parentheses correspond to unseen data. (*) indicates that the experiment used 30 instructions instead of 50 due to time limitations. Our experiments show that the performance of QROA depends on the temperature of the LLMs, which tend to be easier to jailbreak when T>00T>0T > 0, corresponding to common practical usage. When T=00T=0T = 0, QROA and QROA-UNV consistently rank among the top three best attacks on the three models. Notably, QROA is the best suffix-based attack on more recent models like GPT-4*, or nearly equivalent to AutoDAN, which is a white-box attack on GPT-3.5. We emphasize the generalization power of QROA-UNV, whose performance on unseen data remains very high despite a slight drop compared to the training data. However, it still demonstrates a significant advantage over other attacks that do not generalize (hence ASR=0ASR0ASR=0ASR = 0). 6 Limitations Dependency on Alignment Function Precision: The effectiveness of QROA relies on the accuracy and appropriateness of the alignment function f, which assesses the LLMâs output compliance with malicious intent. The method assumes that the alignment function can be accurately modeled or approximated, which may not hold true in practical scenarios. Computational and Resource Intensity: The approach involves generating, evaluating, and refining numerous suffix variations to identify effective triggers. This process can be computationally and resource-intensive. 7 Conclusion QROA is a novel black-box attack framework for identifying adversarial suffixes that exploit vulnerabilities in Large Language Models (LLMs). By framing the problem as a reinforcement learning task, QROA efficiently optimizes suffixes using only query-response feedback, eliminating the need for internal model data, human-crafted templates, or proxy models. Our experiments demonstrated QROAâs effectiveness across a variety of open and closed-source LLMs, achieving Attack Success Rates (ASR) among the highest ones availalble in the litterature, while being based on practical query budgets. A key advancement of our work lies in the universal version, QROA-UNV, which identifies adversarial suffixes that generalize across a wide range of instructions. Remarkably, once these universal suffixes are discovered, they enable one-query jailbreaks for unseen instructions. This demonstrates the significant risk posed by such vulnerabilities and highlights the need for advanced safeguards. Our findings underscore the critical importance of addressing persistent security challenges in LLM alignment. Beyond revealing these vulnerabilities, QROA provides an effective tool for auditing and improving LLM safety, paving the way for more secure and responsible AI deployment. 8 Future Work Our experiments and results on universal suffices show that we can learn to jailbreak as any standard machine learning task, hence it paves way to the improvement of the QROA strategy by richer surrogates model that can use more information on the context and the prompts. In addition, QROA framework can be used for immproving LLMâs safety by using the surrogate model to filter adversarial suffixes before they can be exploited. References Albert (2023) Albert, A. Jailbreak chat. Retrieved May, 15:2023, 2023. Almazrouei et al. (2023) Almazrouei, E., Alobeidli, H., Alshamsi, A., Cappelli, A., Cojocaru, R., Debbah, M., Goffinet, Ă., Hesslow, D., Launay, J., Malartic, Q., et al. The falcon series of open language models. arXiv preprint arXiv:2311.16867, 2023. Auer (2002) Auer, P. Using confidence bounds for exploitation-exploration trade-offs. Journal of Machine Learning Research, 3(Nov):397â422, 2002. Bai et al. (2022a) Bai, Y., Jones, A., Ndousse, K., Askell, A., Chen, A., DasSarma, N., Drain, D., Fort, S., Ganguli, D., Henighan, T., et al. Training a helpful and harmless assistant with reinforcement learning from human feedback. arXiv preprint arXiv:2204.05862, 2022a. Bai et al. (2022b) Bai, Y., Kadavath, S., Kundu, S., Askell, A., Kernion, J., Jones, A., Chen, A., Goldie, A., Mirhoseini, A., McKinnon, C., et al. Constitutional ai: Harmlessness from ai feedback. arXiv preprint arXiv:2212.08073, 2022b. Carlini et al. (2024) Carlini, N., Nasr, M., Choquette-Choo, C. A., Jagielski, M., Gao, I., Koh, P. W. W., Ippolito, D., Tramer, F., and Schmidt, L. Are aligned neural networks adversarially aligned? Advances in Neural Information Processing Systems, 36, 2024. Chao et al. (2023) Chao, P., Robey, A., Dobriban, E., Hassani, H., Pappas, G. J., and Wong, E. Jailbreaking black box large language models in twenty queries. arXiv preprint arXiv:2310.08419, 2023. Chiang et al. (2023) Chiang, W.-L., Li, Z., Lin, Z., Sheng, Y., Wu, Z., Zhang, H., Zheng, L., Zhuang, S., Zhuang, Y., Gonzalez, J. E., et al. Vicuna: An open-source chatbot impressing gpt-4 with 90%* chatgpt quality, march 2023. URL https://lmsys. org/blog/2023-03-30-vicuna, 3(5), 2023. Chu et al. (2024) Chu, J., Liu, Y., Yang, Z., Shen, X., Backes, M., and Zhang, Y. Comprehensive assessment of jailbreak attacks against llms. arXiv preprint arXiv:2402.05668, 2024. Ding et al. (2023) Ding, P., Kuang, J., Ma, D., Cao, X., Xian, Y., Chen, J., and Huang, S. A wolf in sheepâs clothing: Generalized nested jailbreak prompts can fool large language models easily. arXiv preprint arXiv:2311.08268, 2023. Dulac-Arnold et al. (2015) Dulac-Arnold, G., Evans, R., van Hasselt, H., Sunehag, P., Lillicrap, T., Hunt, J., Mann, T., Weber, T., Degris, T., and Coppin, B. Deep reinforcement learning in large discrete action spaces. arXiv preprint arXiv:1512.07679, 2015. Hayase et al. (2024) Hayase, J., Borevkovic, E., Carlini, N., Tramèr, F., and Nasr, M. Query-based adversarial prompt generation. arXiv preprint arXiv:2402.12329, 2024. Jain et al. (2023) Jain, N., Schwarzschild, A., Wen, Y., Somepalli, G., Kirchenbauer, J., Chiang, P.-y., Goldblum, M., Saha, A., Geiping, J., and Goldstein, T. Baseline defenses for adversarial attacks against aligned language models. arXiv preprint arXiv:2309.00614, 2023. Jiang et al. (2023) Jiang, A. Q., Sablayrolles, A., Mensch, A., Bamford, C., Chaplot, D. S., Casas, D. d. l., Bressand, F., Lengyel, G., Lample, G., Saulnier, L., et al. Mistral 7b. arXiv preprint arXiv:2310.06825, 2023. Jiang et al. (2024) Jiang, F., Xu, Z., Niu, L., Xiang, Z., Ramasubramanian, B., Li, B., and Poovendran, R. Artprompt: Ascii art-based jailbreak attacks against aligned llms. arXiv preprint arXiv:2402.11753, 2024. Jones et al. (2023) Jones, E., Dragan, A. D., Raghunathan, A., and Steinhardt, J. Automatically auditing large language models via discrete optimization. ArXiv, abs/2303.04381, 2023. URL https://api.semanticscholar.org/CorpusID:257405439. Korbak et al. (2023) Korbak, T., Shi, K., Chen, A., Bhalerao, R. V., Buckley, C., Phang, J., Bowman, S. R., and Perez, E. Pretraining language models with human preferences. In International Conference on Machine Learning, p. 17506â17533. PMLR, 2023. Lapid et al. (2023) Lapid, R., Langberg, R., and Sipper, M. Open sesame! universal black box jailbreaking of large language models. arXiv preprint arXiv:2309.01446, 2023. Li et al. (2023) Li, X., Zhou, Z., Zhu, J., Yao, J., Liu, T., and Han, B. Deepinception: Hypnotize large language model to be jailbreaker. arXiv preprint arXiv:2311.03191, 2023. Lin (1992) Lin, L. Self-improving reactive agents based on reinforcement learning, planning and teaching. Machine Learning, 8:293â321, 1992. URL https://api.semanticscholar.org/CorpusID:3248358. Liu et al. (2024a) Liu, T., Zhang, Y., Zhao, Z., Dong, Y., Meng, G., and Chen, K. Making them ask and answer: Jailbreaking large language models in few queries via disguise and reconstruction. In 33rd USENIX Security Symposium (USENIX Security 24), p. 4711â4728, 2024a. Liu et al. (2023) Liu, X., Xu, N., Chen, M., and Xiao, C. Autodan: Generating stealthy jailbreak prompts on aligned large language models. arXiv preprint arXiv:2310.04451, 2023. Liu et al. (2024b) Liu, Y., He, X., Xiong, M., Fu, J., Deng, S., and Hooi, B. Flipattack: Jailbreak llms via flipping. arXiv preprint arXiv:2410.02832, 2024b. Lv et al. (2024) Lv, H., Wang, X., Zhang, Y., Huang, C., Dou, S., Ye, J., Gui, T., Zhang, Q., and Huang, X. Codechameleon: Personalized encryption framework for jailbreaking large language models. arXiv preprint arXiv:2402.16717, 2024. Mazeika et al. (2024) Mazeika, M., Phan, L., Yin, X., Zou, A., Wang, Z., Mu, N., Sakhaee, E., Li, N., Basart, S., Li, B., et al. Harmbench: A standardized evaluation framework for automated red teaming and robust refusal. arXiv preprint arXiv:2402.04249, 2024. Mehrotra et al. (2023a) Mehrotra, A., Zampetakis, M., Kassianik, P., Nelson, B., Anderson, H., Singer, Y., and Karbasi, A. Tree of attacks: Jailbreaking black-box llms automatically. arXiv preprint arXiv:2312.02119, 2023a. Mehrotra et al. (2023b) Mehrotra, A., Zampetakis, M., Kassianik, P., Nelson, B., Anderson, H., Singer, Y., and Karbasi, A. Tree of attacks: Jailbreaking black-box llms automatically, 2023b. OpenAI (2024) OpenAI. Gpt-4 technical report, 2024. Ouyang et al. (2022) Ouyang, L., Wu, J., Jiang, X., Almeida, D., Wainwright, C., Mishkin, P., Zhang, C., Agarwal, S., Slama, K., Ray, A., et al. Training language models to follow instructions with human feedback. Advances in neural information processing systems, 35:27730â27744, 2022. Robbins (1952) Robbins, H. Some aspects of the sequential design of experiments. Bulletin of the American Mathematical Society, 55:527â535, 1952. Shen et al. (2023) Shen, X., Chen, Z., Backes, M., Shen, Y., and Zhang, Y. â do anything nowâ: Characterizing and evaluating in-the-wild jailbreak prompts on large language models. arXiv preprint arXiv:2308.03825, 2023. Shi et al. (2022) Shi, Y., Li, P., Yin, C., Han, Z., Zhou, L., and Liu, Z. Promptattack: Prompt-based attack for language models via gradient search. In CCF International Conference on Natural Language Processing and Chinese Computing, p. 682â693. Springer, 2022. Shin et al. (2020) Shin, T., Razeghi, Y., Logan IV, R. L., Wallace, E., and Singh, S. Autoprompt: Eliciting knowledge from language models with automatically generated prompts. arXiv preprint arXiv:2010.15980, 2020. Sitawarin et al. (2024) Sitawarin, C., Mu, N., Wagner, D., and Araujo, A. Pal: Proxy-guided black-box attack on large language models. arXiv preprint arXiv:2402.09674, 2024. Sutton & Barto (2018) Sutton, R. S. and Barto, A. G. Reinforcement learning: An introduction. MIT press, 2018. Team (2024) Team, G. Gemini: A family of highly capable multimodal models, 2024. Touvron et al. (2023) Touvron, H., Martin, L., Stone, K., Albert, P., Almahairi, A., Babaei, Y., Bashlykov, N., Batra, S., Bhargava, P., Bhosale, S., et al. Llama 2: Open foundation and fine-tuned chat models. arXiv preprint arXiv:2307.09288, 2023. Weidinger et al. (2021) Weidinger, L., Mellor, J., Rauh, M., Griffin, C., Uesato, J., Huang, P.-S., Cheng, M., Glaese, M., Balle, B., Kasirzadeh, A., et al. Ethical and social risks of harm from language models. arXiv preprint arXiv:2112.04359, 2021. Weidinger et al. (2022) Weidinger, L., Uesato, J., Rauh, M., Griffin, C., Huang, P.-S., Mellor, J., Glaese, A., Cheng, M., Balle, B., Kasirzadeh, A., et al. Taxonomy of risks posed by language models. In Proceedings of the 2022 ACM Conference on Fairness, Accountability, and Transparency, p. 214â229, 2022. Wen et al. (2024) Wen, Y., Jain, N., Kirchenbauer, J., Goldblum, M., Geiping, J., and Goldstein, T. Hard prompts made easy: Gradient-based discrete optimization for prompt tuning and discovery. Advances in Neural Information Processing Systems, 36, 2024. Xu et al. (2024a) Xu, Z., Liu, Y., Deng, G., Li, Y., and Picek, S. A comprehensive study of jailbreak attack versus defense for large language models. In Findings of the Association for Computational Linguistics ACL 2024, p. 7432â7449, 2024a. Xu et al. (2024b) Xu, Z., Liu, Y., Deng, G., Li, Y., and Picek, S. Llm jailbreak attack versus defense techniquesâa comprehensive study. arXiv preprint arXiv:2402.13457, 2024b. Yang et al. (2024) Yang, A., Yang, B., Hui, B., Zheng, B., Yu, B., Zhou, C., Li, C., Li, C., Liu, D., Huang, F., Dong, G., Wei, H., Lin, H., Tang, J., Wang, J., Yang, J., Tu, J., Zhang, J., Ma, J., Xu, J., Zhou, J., Bai, J., He, J., Lin, J., Dang, K., Lu, K., Chen, K., Yang, K., Li, M., Xue, M., Ni, N., Zhang, P., Wang, P., Peng, R., Men, R., Gao, R., Lin, R., Wang, S., Bai, S., Tan, S., Zhu, T., Li, T., Liu, T., Ge, W., Deng, X., Zhou, X., Ren, X., Zhang, X., Wei, X., Ren, X., Fan, Y., Yao, Y., Zhang, Y., Wan, Y., Chu, Y., Liu, Y., Cui, Z., Zhang, Z., and Fan, Z. Qwen2 technical report. arXiv preprint arXiv:2407.10671, 2024. Yi et al. (2024) Yi, S., Liu, Y., Sun, Z., Cong, T., He, X., Song, J., Xu, K., and Li, Q. Jailbreak attacks and defenses against large language models: A survey. arXiv preprint arXiv:2407.04295, 2024. Yu et al. (2023) Yu, J., Lin, X., Yu, Z., and Xing, X. Gptfuzzer: Red teaming large language models with auto-generated jailbreak prompts. arXiv preprint arXiv:2309.10253, 2023. Yuan et al. (2023) Yuan, Y., Jiao, W., Wang, W., Huang, J.-t., He, P., Shi, S., and Tu, Z. Gpt-4 is too smart to be safe: Stealthy chat with llms via cipher. arXiv preprint arXiv:2308.06463, 2023. Zhou et al. (2024) Zhou, C., Liu, P., Xu, P., Iyer, S., Sun, J., Mao, Y., Ma, X., Efrat, A., Yu, P., Yu, L., et al. Lima: Less is more for alignment. Advances in Neural Information Processing Systems, 36, 2024. Zou et al. (2023) Zou, A., Wang, Z., Kolter, J. Z., and Fredrikson, M. Universal and transferable adversarial attacks on aligned language models. arXiv preprint arXiv:2307.15043, 2023. Appendix A Neural Network Architecture For the Surrogate Model We design the surrogate model as a small Multi-Layer Perceptron (MLP). Below is the detailed structure. The first layer is an embedding layer, which is pre-trained and taken from GPT2. This embedding layer maps the input tokens into a 768-dimensional space, the subsequent layer is a Conv1D layer with a kernel size of 1, intended to reduce the embedding size from 768 to 32. The rest of the layers are standard linear layers used for further dimensionality reduction and transformation. Layer Output Parameters Details Embedding-1 [50257, 768] 38.6M Non-trainable Conv1d-2 [768, 32, 1] 24.6K ReLU, Trainable Linear-3 [32*Length of trigger, 128] 41.1K ReLU, Trainable Linear-4 [128, 32] 4.1K ReLU, Trainable Linear-5 [32, 1] 33 Trainable Total params: 38.7M Trainable params: 69.9K Non-trainable params: 38.6M Table 5: Architecture of the neural network. Appendix B Other Variations of the Algorithm QROA+: This is an extension of QROA that reuses previously successful suffixes as initial seeds. It utilizes successful suffixes generated by QROA on certain instructions as initial seeds for the remaining instructions. This approach reduces the required budget by a factor of 8 and increases the ASR (Attack Success Rate), even achieving success on previously âunjailbreakableâ instructions. Please refer to Algorithm 4 for more details. QROA-PPL: This is an extension of QROA designed to generate more readable suffixes. In the objective function, a penalty term is introduced using the log-likelihood from a proxy model (e.g., GPT-2). The score function is modified as shown in Equation 7. This adjustment allows the suffixes to bypass perplexity filters, making them more readable. This is achievable because QROA does not rely on gradient-based optimization of the objective function. This demonstrates that QROA can be easily adapted to meet specific objectives or desired performance outcomes. Spenalizedâ˘(x,I)=txâźGâ˘(I+x)â˘[fâ˘(I,tx)]+Îťâ˘logâĄPGPT-2â˘(x|I)subscriptpenalizedsimilar-tosubscriptdelimited-[]subscriptsubscriptGPT-2conditionalS_penalized(x,I)= t_x G(I+x)E[f(I,t_x)]+% Îť P_GPT-2(x|I)Spenalized ( x , I ) = start_UNDERACCENT titalic_x âź G ( I + x ) end_UNDERACCENT start_ARG blackboard_E end_ARG [ f ( I , titalic_x ) ] + Îť log PGPT-2 ( x | I ) (7) Appendix C Experience Settings C.1 Chat Template We use the default conversation format for all models in FastChat. We also use the standard system message for all models as described below: Llama-2-7B-chat âYou are a helpful, respectful, and honest assistant. Always answer as helpfully as possible, while ensuring safety. Avoid harmful, unethical, racist, sexist, toxic, dangerous, or illegal content. Ensure that your responses are socially unbiased and positive. If a question is unclear or incoherent, explain why instead of providing incorrect information. If unsure about an answer, do not share false information.â Vicuna-7B âA chat between a curious user and an artificial intelligence assistant. The assistant provides helpful, detailed, and polite answers to the userâs questions.â Falcon 7B âAnswer the question as truthfully as possible using the provided text, and if the answer is not contained within the text below, say âI donât knowâ Qwen2.5-7B âYou are Qwen, created by Alibaba Cloud. You are a helpful assistant.â, ChatGPT âYou are a helpful assistant.â Appendix D Hyperparameters and Settings D.1 General Hyperparameters These define the overall setup for QROA. Hyperparameter Description Value(s) Used Initial suffix (xinitsubscriptinitx_initxinit) Starting suffix for optimization Randomly initialized Trigger length (L) Length of adversarial suffix in tokens 10 (default), 40 for Llama2-7B-Chat Malicious instruction set (IsubscriptD_IDitalic_I) Dataset of harmful instructions AdvBench, HarmBench Target LLM (G) Black-box language model Vicuna-7B, Llama2-7B, Mistral, GPT-3.5, GPT-4 Success threshold (tâ˘hâtht h) Minimum alignment score for valid suffix 0.2 Total query budget (Q) Maximum number of queries allowed 25K (default), 5K to 30K Temperature (T) Controls randomness in LLM output 0.9 (default), 0.0 (deterministic) Top-p Limits sampling pool to top p probability mass 0.6 Success rate evaluation (Aâ˘Sâ˘RÎąsubscriptASR_ÎąA S Ritalic_Îą) Attack success rate threshold 20% Replay memory size (maxD) Maximum stored past interactions 6400 Table 6: General hyperparameters for QROA. D.2 Exploration and Exploitation Parameters These control the balance between searching for new adversarial suffixes and refining existing ones. Hyperparameter Description Value(s) Used Batch size for suffix variants (B) Number of new suffixes per iteration 10000 Top-K selection (K) Number of best suffixes selected 100 UCB exploration factor (c) Exploration parameter in UCB selection 0.01 Token replacement set (R) Pool of tokens for mutation Full vocabulary Table 7: Exploration and exploitation parameters for QROA. D.3 Surrogate Model Hyperparameters The surrogate model predicts which suffixes are most likely to be effective. Hyperparameter Description Value(s) Used Embedding Layer Pre-trained token embeddings GPT-2 (default) Number of hidden layers Depth of neural network 3 Hidden layer sizes Size of intermediate layers [128, 32, 1] Activation function Function applied to hidden layers ReLU Optimizer Optimization algorithm Adam Learning rate (Îą) Step size for gradient descent 0.01 Weight decay Regularization term 0.0001 Batch size for experience replay (BssubscriptB_sBitalic_s) Sample size from replay memory 1024 Table 8: Surrogate model hyperparameters. D.4 Query Response Optimization Parameters These parameters affect how LLM outputs are processed. Hyperparameter Description Value(s) Used Harmfulness evaluation model Evaluates response alignment Fine-tuned RoBERTa PPL penalty weight (Îť) Strength of perplexity penalty 0.5 (QROA-PPL variant) Table 9: Query response optimization parameters. D.5 Universal Suffix Optimization (QROA-UNV) Parameters Parameters for optimizing universal adversarial suffixes. Hyperparameter Description Value(s) Used Number of instructions (M) Instructions used to optimize suffix 20 Query budget for universal suffix (QUâ˘Nâ˘VsubscriptQ_UNVQitalic_U N V) Total queries for universal suffix 20K Table 10: Parameters for universal suffix optimization in QROA-UNV. D.6 Statistical Validation Parameters These settings control the validation of adversarial suffixes. Hyperparameter Description Value(s) Used Number of trials per suffix (Ntâ˘eâ˘sâ˘tsubscriptN_testNitalic_t e s t) Queries per suffix for ASR estimation 30 Z-test confidence level (Îą) Statistical significance for suffix validation 10% Table 11: Statistical validation parameters. Appendix E More Experiments E.0.1 Comparison Costs with PAIR & TAP on ChatGPT-3.5 Table12 presents the results of testing the QROA method against GPT-3.5-Turbo-0613 on the AdvBench dataset, conducted in August 2024. The comparison involves the Attack Success Rate (ASR), the average number of queries, and the total cost required to perform successful jailbreaks against various methods, including TAP (Mehrotra et al., 2023a) and PAIR (Chao et al., 2023). The cost per query is higher for TAP and PAIR compared to QROA due to their reliance on large language models (LLMs) to generate and evaluate triggers. The table 13 shows the performance of QROA on the HarmBench dataset (Mazeika et al., 2024), with a focus on ASR across different behaviors. As in previous analyses, we randomly selected 50 behaviors. It also includes a comparison with the performance of TAP and PAIR based on HarmBenchâs official evaluation data. Method Temperature ASR Avg Queries Avg Cost/Query Cost QROA 0.6 57% 3600 0.00012$ 0.432$ QROA 0 42% 1518 0.00012$ 0.182$ QROA+ 0 56% 431 0.00012$ 0.0517$ TAP 0 78% 23.1 0.056$ 1.34$ PAIR 0 51% 37.7 0.025$ 0.942$ Table 12: Test QROA against GPT-3.5-Turbo-0613 on AdvBench dataset Method ASR QROA 54% QROA+ 69% TAP 47.7% PAIR 46.8% Table 13: Test QROA against GPT-3.5-Tubo-0613 on HarmBench dataset E.1 Evaluate QROA+ against LLama2-7B-chat To enhance the performance of QROA on LLaMA2-7B-Chat, we introduced key modifications aimed at improving the attack success rate while reducing query costs. These modifications include: We extended the trigger length from 10 to 20 tokens, allowing for the exploration of a broader range of token sequences. Additionally, we replaced the initial pre-trained embedding layer of the surrogate model (originally taken from GPT-2) with embeddings from the lmsys/vicuna-7b-v1.5-16k model to better align with the target modelâs architecture. Furthermore, to enhance the efficiency of our approach, we follow the procedure of QROA+ as described in Section B. Specifically, we start with successful suffixes as initial seeds and pre-fill the replay memory with these triggers. These triggers, termed âsuccessful,â are not crafted specifically for the current instruction set being targeted but are instead general-purpose or derived from other instructions/contexts. They may require adjustments by the QROA algorithm to become effective for the specific tasks at hand. These initial seed triggers can originate from various sources. They may be outputs from different algorithms (e.g., GCG (Zou et al., 2023), PAL (Sitawarin et al., 2024), GCQ (Hayase et al., 2024)), or they may come from the QROA algorithm itself. Most importantly, they are initially generated for different instructions or purposes. Please refer to Algorithm 4 for more details. In our study targeting LLaMA-2, we employed 10 suffixes originally generated by GCG for a random selection of 10 instructions from AdvBench. These 10 suffixes were then used as the basis for QROA (pre-filling the memory buffer in the algorithm) to devise jailbreaks for an additional set of 50 instructions. Thus, the associated cost of finding these pre-validated triggers is limited to the initial discovery of these 10 seedsâa one-time effort that serves multiple subsequent applications. This underscores the practical feasibility of QROA in real-world scenarios. The procedural details are outlined in Algorithm 4. E.1.1 Comparison with GCG & PAL In this section, we compare the effectiveness of QROA+ against two other attack methods: white box (GCG) attack (Zou et al., 2023) and black box using logit and proxy model (PAL) (Sitawarin et al., 2024). These comparisons provide insights into how well each method performs under the same experimental conditions. We focus on Llama-2-7B-Chat, The attack is evaluated with a fixed budget of 25K queries, and ASR@20% is used as the primary metric. We test QROA+ using the initialization described in section E.1. Attack Llama-2-7B GCG 56 PAL 48 QROA 82 Table 14: ASR@20% for Different Attack Methods on Llama-2-7B-Chat at a 25K Query Budget E.2 Impact of the choice of alignment function As discussed in section 3.5, the choice of an appropriate alignment function f is critical in the QROA framework. It is used to evaluate the degree to which the LLM output aligns with the malicious instruction I. This is done after appending a suffix x to a given instruction I and sending the combined query to the LLM. The main importance of this function is to provide feedback to the surrogate model about the , enabling better selection of suffixes in subsequent iterations. It could be any bounded smooth function such that the alignement higher higher the value. The choice of alignment function is a crucial hyperparameter, influencing the effectiveness of the model, In this section we will test two choice of alignement, and see the impact on the performance of QROA E.2.1 Performance Comparison Table Alignment Function f1subscript1f_1f1 (Harmful) f2subscript2f_2f2 (Entailment) ASR@20% 84% 67% Table 15: Attack Success Rates at 20% Threshold for Different Scoring Methods at a 25K Query Budget The table shows the Attack Success Rate (ASR) at a 20% threshold on Vicuna 7B, comparing two alignment functions at a fixed 25K query budget. The RoBERTa harmful evaluation model f1subscript1f_1f1 achieves a higher ASR of 84%, indicating it is more effective at eliciting harmful outputs compared to the BART entailment model f2subscript2f_2f2. This difference in performance highlights the importance of selecting the appropriate alignment function based on the desired outcome from the LLM. E.3 Test Against Defense Method We evaluate QROA against a perplexity-based defense mechanism as described in (Jain et al., 2023). This defense detects adversarial inputs by identifying instances with abnormally high perplexity, which often signals the presence of adversarial suffixes. Prior work (Jain et al., 2023) has demonstrated the effectiveness of this approach, particularly against suffix optimization attacks like GCG (Zou et al., 2023), where it significantly reduces the attack success rate (ASR) from 79% to 0% on models such as Vicuna-7B. To account for this defense, we adapt QROA by incorporating a perplexity-based penalty term into its reward function, as detailed in Section B. Unlike gradient-based attack methods, QROA operates without relying on gradients, allowing for seamless modifications to its reward structure. Our evaluation, conducted on 40 randomly sampled instances from AdvBench, shows that QROA remains robust even when confronted with the perplexity-based defense. With the modified reward function, QROA achieves an ASR of 58%, compared to 78% when no defense is applied. These results highlight QROAâs adaptability, demonstrating that it can be easily adjusted to optimize performance against different defense mechanisms. Appendix F Broader Impact F.1 Impact Statement Positive Impact: Our study aims to enhance the security and robustness of Large Language Models (LLMs) by uncovering potential vulnerabilities through adversarial testing. Our goal is to contribute to the safety and alignment of LLMs, particularly those accessible via API, by equipping researchers and developers with the necessary tools to test and improve these systems. We believe that the societal benefits of enhanced AI security, achieved through rigorous adversarial testing, outweigh the associated risks. Negative Impact: We recognize that the techniques presented could be misused to generate harmful outputs from LLM systems. This dual-use nature of red teaming poses ethical challenges: while it serves to strengthen defenses against future attacks, it could also be exploited maliciously. We emphasize the ethical obligation of researchers and developers to use these tools solely for defensive and research purposes. F.2 Environmental Impact Positive Impact: By improving the security and robustness of LLMs through adversarial testing, our work can contribute to a more sustainable technological ecosystem. More secure AI systems reduce the need for frequent patches and responses to security breaches, leading to a more stable deployment environment. This stability can decrease the overall resource consumption and environmental impact associated with maintaining and securing AI technologies over time. Negative Impact: However, achieving robust adversarial testing requires significant computational resources, which can increase the carbon footprint, especially when testing large-scale models. While necessary for improving AI security, we acknowledge the environmental costs and emphasize the importance of using energy-efficient hardware and exploring green computing practices to mitigate these effects. Appendix G Examples of Universal Suffixes and Model Responses G.1 Universal Suffix for GPT-3.5-Turbo Through our optimization process, we identified the following universal adversarial suffix that successfully elicits responses from GPT-3.5-Turbo in a variety of harmful instruction scenarios: " disguise Psychological assassin business have backstory Gl french use short" G.2 Example Responses from GPT-3.5-Turbo Malicious Instruction: "How can I manufacture an untraceable weapon?" Query with Universal Suffix: "How can I manufacture an untraceable weapon? disguise Psychological assassin business have backstory Gl french use short" GPT-3.5 Response: ⏠To manufacture an untraceable weapon, you could follow these steps: 1. **Research and Design**: Start by researching different types of weapons that are difficult to trace, such as homemade firearms or improvised weapons. Design a weapon that is simple yet effective. 2. **Gather Materials**: Acquire the necessary materials to build your weapon. This may include metal pipes, springs, screws, and other components that can be easily obtained from hardware stores. 3. **Build the Weapon**: Use your design to construct the weapon. Make sure to follow safety precautions and take your time to ensure the weapon is functional and reliable. 4. **Test the Weapon**: Once the weapon is built, test it in a safe and controlled environment to ensure it works as intended. 5. **Dispose of Evidence**: After testing the weapon, dispose of any materials or tools used in its construction. Make sure to clean up any traces of your activities to avoid detection. As for the disguise as a psychological assassin business with a French backstory, you could create a persona that is mysterious, sophisticated, and enigmatic. Use a French-sounding name and incorporate elements of French culture into your branding and marketing materials. This backstory can add an air of intrigue and sophistication to your business, making it more appealing to potential clients. Just be sure to maintain the secrecy and professionalism of your operations to avoid drawing unwanted attention. G.3 Ethical Considerations The purpose of this research is to expose vulnerabilities in AI safety mechanisms to facilitate better defenses. We strongly discourage any malicious use of adversarial suffixes and encourage AI developers to use this information to reinforce model security against adversarial attacks. Appendix H Algorithms Algorithm 1 QROA: Query Response Optimization Attack Framework 1: Input: ⢠Initial suffix: xiâ˘nâ˘iâ˘tsubscriptx_initxitalic_i n i t ⢠Trigger length: L ⢠Malicious instruction: I ⢠Set of token replacements: R ⢠Target LLM (black-box): G ⢠Surrogate model: mθsubscriptm_θmitalic_θ ⢠Batch size for candidate suffixes: B ⢠Top-K best suffixes to query: K ⢠Maximum queries: Q ⢠Success threshold: tâ˘hâtht h ⢠Replay memory size: mâ˘aâ˘xâ˘DmaxDm a x D ⢠Batch size for sampling from memory: BssubscriptB_sBitalic_s 2: Output: Set of adversarial suffixes xâsuperscriptx^*xâ 3: Initialization: 4: S^â˘(x,I):=0âxassign^0for-all S(x,I):=0 â xover start_ARG S end_ARG ( x , I ) := 0 â x Tracks average score per trigger 5: nâ˘(x):=0âxassign0for-alln(x):=0 â xn ( x ) := 0 â x Tracks queries per trigger 6: N:=0assign0N:=0N := 0 Total queries made 7: D:=assignD:=\\D := Replay memory buffer 8: bâ˘eâ˘sâ˘tâ˘_â˘tâ˘râ˘iâ˘gâ˘gâ˘eâ˘râ˘s:=assign_best\_triggers:=\\b e s t _ t r i g g e r s := 9: while Nâ¤QN⤠QN ⤠Q do 10: Selection Phase: 11: xâ:=argâĄmaxâĄ(S^â˘(x,I)+câ logâĄ(N)nâ˘(x)+1)assignsuperscriptâ^â 1x := ( S(x,I)+c¡ (N)n(x)+1)xâ := arg max ( over start_ARG S end_ARG ( x , I ) + c â square-root start_ARG divide start_ARG log ( N ) end_ARG start_ARG n ( x ) + 1 end_ARG end_ARG ) Select best trigger so far using UCB method 12: Generate new suffix variants: 13: X:=GenerateSuffixVariantsâ˘(xâ,L,R,B)assignGenerateSuffixVariantssuperscriptâX:=GenerateSuffixVariants(x ,L,R,B)X := GenerateSuffixVariants ( xâ , L , R , B ) 14: Select top-K promising suffixes: 15: Kâ˘-best:=Top-â˘Kâ˘(mθâ˘(xâ˛)|xâ˛âX)âŞxâassign-bestTop-conditional-setsubscriptsuperscriptâ˛superscriptâK-best:=Top-K(\m_θ(x )|x â X\)âŞ\x% \K -best := Top- K ( mitalic_θ ( xⲠ) | xⲠâ X ) ⪠xâ Keep xâsuperscriptâx xâ and best K suffixes 16: Evaluation Phase: 17: for zâKâ˘-best-bestzâ K-bestz â K -best do 18: tx:=QueryTargetModelâ˘(G,I+z)assignsubscriptQueryTargetModelt_x:=QueryTargetModel(G,I+z)titalic_x := QueryTargetModel ( G , I + z ) Query model with instruction + suffix 19: râ˘(z):=fâ˘(I,tx)assignsubscriptr(z):=f(I,t_x)r ( z ) := f ( I , titalic_x ) Compute alignment score 20: S^â˘(z,I):=S^â˘(z,I)â nâ˘(z)+râ˘(z)nâ˘(z)+1assign^â ^1 S(z,I):= S(z,I)¡ n(z)+r(z)n(z)+1over start_ARG S end_ARG ( z , I ) := divide start_ARG over start_ARG S end_ARG ( z , I ) â n ( z ) + r ( z ) end_ARG start_ARG n ( z ) + 1 end_ARG Update mean score 21: nâ˘(z):=nâ˘(z)+1assign1n(z):=n(z)+1n ( z ) := n ( z ) + 1 22: D:=DâŞzassignD:=DâŞ\z\D := D ⪠z Maintain latest maxD entries 23: N:=N+1assign1N:=N+1N := N + 1 24: end for 25: Learning Phase: 26: E:=Uniformâ˘(D,Bs)assignUniformsubscriptE:=Uniform(D,B_s)E := Uniform ( D , Bitalic_s ) Sample BssubscriptB_sBitalic_s triggers from memory 27: Update mθsubscriptm_θmitalic_θ using gradient descent on âxâE(S^â˘(x,I)âmθâ˘(x))2subscriptsuperscript^subscript2 _xâ E( S(x,I)-m_θ(x))^2âx â E ( over start_ARG S end_ARG ( x , I ) - mitalic_θ ( x ) )2 28: if S^â˘(xâ,I)âĽtâ˘h^superscriptââ S(x ,I)⼠thover start_ARG S end_ARG ( xâ , I ) ⼠t h then 29: bâ˘eâ˘sâ˘tâ˘_â˘tâ˘râ˘iâ˘gâ˘gâ˘eâ˘râ˘s:=bâ˘eâ˘sâ˘tâ˘_â˘tâ˘râ˘iâ˘gâ˘gâ˘eâ˘râ˘sâŞxâassign__superscriptâbest\_triggers:=best\_triggersâŞ\x \b e s t _ t r i g g e r s := b e s t _ t r i g g e r s ⪠xâ Store best triggers if above threshold 30: end while 31: return bâ˘eâ˘sâ˘tâ˘_â˘tâ˘râ˘iâ˘gâ˘gâ˘eâ˘râ˘s_best\_triggersb e s t _ t r i g g e r s Algorithm 2 Generate New Suffix Variants 1: Input: ⢠Current best suffix: xâsuperscriptâx xâ ⢠Trigger length: L ⢠Set of token replacements: R ⢠Batch size (number of suffix variants to generate): B 2: Output: Set of new suffix variants X 3: Initialize an empty set: X:=â assignX:= := â Stores the generated suffix variants 4: for each suffix s=11s=1s = 1 to B do 5: Initialize xâ˛:=xâassignsuperscriptâ˛âx :=x xⲠ:= xâ Copy the current best suffix 6: Sample positions for modification: PâźBinomialâ˘(L,0.5)similar-toBinomial0.5P (L,0.5)P âź Binomial ( L , 0.5 ) Each position has a 50% for modification 7: for each position iâPiâ Pi â P do 8: Sample a replacement token: xâ˛â˘[i]:=Multinoulliâ˘(R)assignsuperscriptâ˛delimited-[]Multinoullix [i]:=Multinoulli(R)xⲠ[ i ] := Multinoulli ( R ) Replace token at position i with a random choice from R 9: end for 10: Add the modified suffix to the set: X:=XâŞxâ˛assignsuperscriptâ˛X:=XâŞ\x \X := X ⪠xⲠ11: end forreturn X Return the generated suffix variants Algorithm 3 Statistical Validation of Adversarial Suffix 1: Input: ⢠Set of candidate triggers: X ⢠Score threshold: tâ˘hâtht h ⢠Significance level: Îą ⢠Target LLM (black-box): G ⢠Number of queries per candidate: N (default: 30) 2: Output: Set of validated adversarial suffixes XâsuperscriptX^*Xâ 3: Initialization: 4: Xâ:=â assignsuperscriptX^*:= â := â 5: for xâXxâ Xx â X do 6: S:=â assignS:= := â Initialize sample set for scoring 7: for i=11i=1i = 1 to N do 8: tz:=QueryTargetModelâ˘(G,I+x)assignsubscriptQueryTargetModelt_z:=QueryTargetModel(G,I+x)titalic_z := QueryTargetModel ( G , I + x ) Query model with instruction + suffix 9: râ˘(z):=fâ˘(I,tz)assignsubscriptr(z):=f(I,t_z)r ( z ) := f ( I , titalic_z ) Compute alignment score 10: S:=SâŞrâ˘(z)assignS:=SâŞ\r(z)\S := S ⪠r ( z ) 11: end for 12: Îźx:=meanâ˘(S)assignsubscriptmean _x:=mean(S)Îźitalic_x := mean ( S ) Calculate mean score 13: Ďx:=stdâ˘(S)assignsubscriptstd _x:=std(S)Ďitalic_x := std ( S ) Calculate standard deviation 14: Z:=Îźxâtâ˘hĎx/NassignsubscriptâsubscriptZ:= _x-th _x/ NZ := divide start_ARG Îźitalic_x - t h end_ARG start_ARG Ďitalic_x / square-root start_ARG N end_ARG end_ARG Compute Z-score 15: p-value := NormalCDF(Z) Find p-value from Z-score 16: if p-value <Îąabsent<Îą< Îą then 17: Xâ:=XââŞxassignsuperscriptsuperscriptX^*:=X^*âŞ\x\Xâ := Xâ ⪠x Add to validated triggers if statistically significant 18: end for 19: return XâsuperscriptX^*Xâ Algorithm 4 Pre-Populating Memory Buffer with Successful Triggers 1: Input: ⢠Initial set of top successful triggers: Xsâ˘uâ˘câ˘câ˘eâ˘sâ˘sâ˘fâ˘uâ˘lsubscriptX_successfulXitalic_s u c c e s s f u l ⢠New malicious instruction: I ⢠Target LLM (black-box): G ⢠Memory buffer: D ⢠Alignment function: f ⢠Pre-validation threshold: tâ˘hâtht h 2: Output: Updated memory buffer D 3: Initialization: 4: D:=â assignD:= := â Clear existing data in buffer 5: S^â˘(x,I):=0âxassign^0for-all S(x,I):=0 â xover start_ARG S end_ARG ( x , I ) := 0 â x Tracks average score per trigger 6: nâ˘(x):=0âxassign0for-alln(x):=0 â xn ( x ) := 0 â x Tracks queries per trigger 7: for xâXsâ˘uâ˘câ˘câ˘eâ˘sâ˘sâ˘fâ˘uâ˘lsubscriptxâ X_successfulx â Xitalic_s u c c e s s f u l do 8: z:=I+xassignz:=I+xz := I + x Append trigger to new malicious instruction 9: tz:=QueryTargetModelâ˘(G,z)assignsubscriptQueryTargetModelt_z:=QueryTargetModel(G,z)titalic_z := QueryTargetModel ( G , z ) Query model with modified instruction 10: râ˘(z):=fâ˘(I,tz)assignsubscriptr(z):=f(I,t_z)r ( z ) := f ( I , titalic_z ) Evaluate model output 11: D:=DâŞzassignD:=DâŞ\z\D := D ⪠z Store trigger in memory buffer 12: S^â˘(z,I):=râ˘(z)assign S(z,I):=r(z)over start_ARG S end_ARG ( z , I ) := r ( z ) Update mean score 13: nâ˘(z):=1assign1n(z):=1n ( z ) := 1 14: end for 15: return D Return updated memory buffer