Two papers accepted at EMNLP2025 Main Conference: DyePack: Provably Flagging Test Set Contamination in LLMs Using Backdoors Gaming Tool Preferences in Agentic LLMs