Work-in-Progress: RISC-V-Dilemma-1: A Hardware Trojan Benchmark Based on Seeker's Dilemma Approach. - Peter Jamieson; Suman Bhunia; Jerry Chen; Chris Lallo; Blake Rile; Ricardo S. Ferreira 001; Guilherme A. S. Wilke; José A. M. Nacif; Ahmad Patooghy; Abdel-Hameed A. Badawy (SAT-CPS@CODASPY, 2025)