Rasheed Kibria

According to our database, Rasheed Kibria authored at least 7 papers between 2022 and 2024.

Collaborative distances:

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

2024

A Survey on SoC Security Verification Methods at the Pre-silicon Stage.

Rasheed Kibria, Farimah Farahmandi, Mark M. Tehranipoor

IACR Cryptol. ePrint Arch., 2024

2023

FSMx-Ultra: Finite State Machine Extraction From Gate-Level Netlist for Security Assessment.

Rasheed Kibria, Farimah Farahmandi, Mark M. Tehranipoor

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., November, 2023

ARC-FSM-G: Automatic Security Rule Checking for Finite State Machine at the Netlist Abstraction.

Rasheed Kibria, Farimah Farahmandi, Mark M. Tehranipoor

IACR Cryptol. ePrint Arch., 2023

CAPEC: A Cellular Automata Guided FSM-based IP Authentication Scheme.

Mridha Md Mashahedur Rahman, M. Sazadur Rahman, Rasheed Kibria, Mike Borza, Bandy Reddy, Adam Cron, Fahim Rahman, Mark M. Tehranipoor, Farimah Farahmandi

Proceedings of the 41st IEEE VLSI Test Symposium, 2023

2022

Rethinking Watermark: Providing Proof of IP Ownership in Modern SoCs.

N. Nalla Anandakumar, M. Sazadur Rahman, Mridha Md Mashahedur Rahman, Rasheed Kibria, Upoma Das, Farimah Farahmandi, Fahim Rahman, Mark M. Tehranipoor

IACR Cryptol. ePrint Arch., 2022

FSMx: Finite State Machine Extraction from Flattened Netlist With Application to Security.

Rasheed Kibria, Nusrat Farzana, Farimah Farahmandi, Mark M. Tehranipoor

Proceedings of the 40th IEEE VLSI Test Symposium, 2022

RTL-FSMx: Fast and Accurate Finite State Machine Extraction at the RTL for Security Applications.

Rasheed Kibria, M. Sazadur Rahman, Farimah Farahmandi, Mark M. Tehranipoor

Proceedings of the IEEE International Test Conference, 2022