Rui Guo

According to our database, Rui Guo authored at least 7 papers between 2021 and 2025.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2025

SVAgent: AI Agent for Hardware Security Verification Assertion.

Rui Guo, Avinash Ayalasomayajula, Henian Li, Jingbo Zhou, Sujan Kumar Saha, Farimah Farahmandi

CoRR, July, 2025

EvoLUTe+: Fine-Grained Look-Up-Table-based RTL IP Redaction.

Rui Guo, M. Sazadur Rahman, Jingbo Zhou, Hadi Mardani Kamali, Fahim Rahman, Farimah Farahmandi, Mark Tehranipoor

IACR Cryptol. ePrint Arch., 2025

2024

LASP: LLM Assisted Security Property Generation for SoC Verification.

Avinash Ayalasomayajula, Rui Guo, Jingbo Zhou, Sujan Kumar Saha, Farimah Farahmandi

Proceedings of the 2024 ACM/IEEE International Symposium on Machine Learning for CAD, 2024

2023

ReTrustFSM: Toward RTL Hardware Obfuscation-A Hybrid FSM Approach.

M. Sazadur Rahman, Rui Guo, Hadi Mardani Kamali, Fahim Rahman, Farimah Farahmandi, Mark Tehranipoor

IEEE Access, 2023

EvoLUTe: Evaluation of Look-Up-Table-based Fine-Grained IP Redaction.

Rui Guo, M. Sazadur Rahman, Hadi Mardani Kamali, Fahim Rahman, Farimah Farahmandi, Mark Tehranipoor

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2023

2022

O'clock: lock the clock via clock-gating for SoC IP protection.

M. Sazadur Rahman, Rui Guo, Hadi Mardani Kamali, Fahim Rahman, Farimah Farahmandi, Mohamed Abdel-Moneum, Mark Tehranipoor

Proceedings of the DAC '22: 59th ACM/IEEE Design Automation Conference, San Francisco, California, USA, July 10, 2022

2021

LL-ATPG: Logic-Locking Aware Test Using Valet Keys in an Untrusted Environment.

M. Sazadur Rahman, Henian Li, Rui Guo, Fahim Rahman, Farimah Farahmandi, Mark Tehranipoor

Proceedings of the IEEE International Test Conference, 2021