LL-ATPG: Logic-Locking Aware Test Using Valet Keys in an Untrusted Environment. - M. Sazadur Rahman; Henian Li; Rui Guo 010; Fahim Rahman; Farimah Farahmandi; Mark Tehranipoor (ITC, 2021)

O'clock: lock the clock via clock-gating for SoC IP protection. - M. Sazadur Rahman; Rui Guo 010; Hadi Mardani Kamali; Fahim Rahman; Farimah Farahmandi; Mohamed Abdel-Moneum; Mark Tehranipoor (DAC, 2022)

EvoLUTe: Evaluation of Look-Up-Table-based Fine-Grained IP Redaction. - Rui Guo 010; M. Sazadur Rahman; Hadi Mardani Kamali; Fahim Rahman; Farimah Farahmandi; Mark Tehranipoor (DATE, 2023)

ReTrustFSM: Toward RTL Hardware Obfuscation-A Hybrid FSM Approach. - M. Sazadur Rahman; Rui Guo 010; Hadi Mardani Kamali; Fahim Rahman; Farimah Farahmandi; Mark Tehranipoor (IEEE Access, 2023)

LASP: LLM Assisted Security Property Generation for SoC Verification. - Avinash Ayalasomayajula; Rui Guo 010; Jingbo Zhou; Sujan Kumar Saha; Farimah Farahmandi (MLCAD, 2024)

EvoLUTe+: Fine-Grained Look-Up-Table-based RTL IP Redaction. - Rui Guo 010; M. Sazadur Rahman; Jingbo Zhou; Hadi Mardani Kamali; Fahim Rahman; Farimah Farahmandi; Mark Tehranipoor (IACR Cryptol. ePrint Arch., 2025)

SVAgent: AI Agent for Hardware Security Verification Assertion. - Rui Guo 010; Avinash Ayalasomayajula; Henian Li; Jingbo Zhou; Sujan Kumar Saha; Farimah Farahmandi (CoRR, 2025)