:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Cheng, Yutong, Li, Changze, Basuki, Raihan Sultan Pasha, Cui, Qian, Ding, Wei, Gao, Peng
Format:	Preprint
Published:	2026
Subjects:	Cryptography and Security Artificial Intelligence Computation and Language
Online Access:	https://arxiv.org/abs/2605.25836
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

NL2LOGIC: AST-Guided Translation of Natural Language into First-Order Logic with Large Language Models
by: Putra, Rizky Ramadhana, et al.
Published: (2026)

CTIArena: Benchmarking LLM Knowledge and Reasoning Across Heterogeneous Cyber Threat Intelligence
by: Cheng, Yutong, et al.
Published: (2025)

Instantiating Standards: Enabling Standard-Driven Text TTP Extraction with Evolvable Memory
by: Meng, Cheng, et al.
Published: (2025)

DroidTTP: Mapping Android Applications with TTP for Cyber Threat Intelligence
by: Arikkat, Dincy R, et al.
Published: (2025)

Efficiently and Effectively: A Two-stage Approach to Balance Plaintext and Encrypted Text for Traffic Classification
by: Peng, Wei, et al.
Published: (2024)

Data Extraction Attacks in Retrieval-Augmented Generation via Backdoors
by: Peng, Yuefeng, et al.
Published: (2024)

LRCTI: A Large Language Model-Based Framework for Multi-Step Evidence Retrieval and Reasoning in Cyber Threat Intelligence Credibility Verification
by: Tang, Fengxiao, et al.
Published: (2025)

Pretraining Data Detection for Large Language Models: A Divergence-based Calibration Method
by: Zhang, Weichao, et al.
Published: (2024)

FedPoisonTTP: A Threat Model and Poisoning Attack for Federated Test-Time Personalization
by: Iftee, Md Akil Raihan, et al.
Published: (2025)

Privacy Checklist: Privacy Violation Detection Grounding on Contextual Integrity Theory
by: Li, Haoran, et al.
Published: (2024)

GoldCoin: Grounding Large Language Models in Privacy Laws via Contextual Integrity Theory
by: Fan, Wei, et al.
Published: (2024)

Theorem-Carrying Transactions: Runtime Verification to Ensure Interface Specifications for Smart Contract Safety
by: Ball, Thomas, et al.
Published: (2024)

VEXA: Evidence-Grounded and Persona-Adaptive Explanations for Scam Risk Sensemaking
by: An, Heajun, et al.
Published: (2026)

LexiMark: Robust Watermarking via Lexical Substitutions to Enhance Membership Verification of an LLM's Textual Training Data
by: German, Eyal, et al.
Published: (2025)

Ingest-And-Ground: Dispelling Hallucinations from Continually-Pretrained LLMs with RAG
by: Fang, Chenhao, et al.
Published: (2024)

Cyber-attack TTP analysis for EPES systems
by: Lekidis, Alexios
Published: (2023)

Automated Formal Verification of a Software Fault Isolation System
by: Sotoudeh, Matthew, et al.
Published: (2025)

Enabling Efficient Attack Investigation via Human-in-the-Loop Security Analysis
by: Tsegai, Saimon Amanuel, et al.
Published: (2022)

The Surprising Universality of LLM Outputs: A Real-Time Verification Primitive
by: Bogdan, Alex, et al.
Published: (2026)

Raccoon: Prompt Extraction Benchmark of LLM-Integrated Applications
by: Wang, Junlin, et al.
Published: (2024)

TrojanRAG: Retrieval-Augmented Generation Can Be Backdoor Driver in Large Language Models
by: Cheng, Pengzhou, et al.
Published: (2024)

BiAxisAudit: A Novel Framework to Evaluate LLM Bias Across Prompt Sensitivity and Response-Layer Divergence
by: Gan, Jialing, et al.
Published: (2026)

Privacy-Preserving Runtime Verification
by: Henzinger, Thomas A., et al.
Published: (2025)

Promoting Data and Model Privacy in Federated Learning through Quantized LoRA
by: Zhu, JianHao, et al.
Published: (2024)

Jailbreaking LLMs via Semantically Relevant Nested Scenarios with Targeted Toxic Knowledge
by: Xu, Ning, et al.
Published: (2025)

"Yes, My LoRD." Guiding Language Model Extraction with Locality Reinforced Distillation
by: Liang, Zi, et al.
Published: (2024)

Detecting RAG Extraction Attack via Dual-Path Runtime Integrity Game
by: Xie, Yuanbo, et al.
Published: (2026)

Verification and Attack Synthesis for Network Protocols
by: von Hippel, Max
Published: (2025)

Verification of Neural Networks' Global Robustness
by: Kabaha, Anan, et al.
Published: (2024)

Why Are My Prompts Leaked? Unraveling Prompt Extraction Threats in Customized Large Language Models
by: Liang, Zi, et al.
Published: (2024)

Security Attacks on LLM-based Code Completion Tools
by: Cheng, Wen, et al.
Published: (2024)

SEEP: Training Dynamics Grounds Latent Representation Search for Mitigating Backdoor Poisoning Attacks
by: He, Xuanli, et al.
Published: (2024)

Fingerprinting LLMs via Prompt Injection
by: Hu, Yuepeng, et al.
Published: (2025)

From Retrieval to Reasoning: A Framework for Cyber Threat Intelligence NER with Explicit and Adaptive Instructions
by: Peng, Jiaren, et al.
Published: (2025)

ML-Bench&Guard: Policy-Grounded Multilingual Safety Benchmark and Guardrail for Large Language Models
by: Zhao, Yunhan, et al.
Published: (2026)

On the Verification of Control Flow Attestation Evidence
by: Caulfield, Adam, et al.
Published: (2024)

Advancing TTP Analysis: Harnessing the Power of Large Language Models with Retrieval Augmented Generation
by: Fayyazi, Reza, et al.
Published: (2023)

LoopLLM: Transferable Energy-Latency Attacks in LLMs via Repetitive Generation
by: Li, Xingyu, et al.
Published: (2025)

Gradual Verification for Smart Contracts
by: Sun, Haojia, et al.
Published: (2023)

Trojan-Speak: Bypassing Constitutional Classifiers with No Jailbreak Tax via Adversarial Finetuning
by: Sel, Bilgehan, et al.
Published: (2026)