AVFSM: a framework for identifying and mitigating vulnerabilities in FSMs. - Adib Nahiyan; Kan Xiao; Kun Yang 012; Yier Jin; Domenic Forte; Mark Tehranipoor (DAC, 2016)

Security Rule Checking in IC Design. - Kan Xiao; Adib Nahiyan; Mark Tehranipoor (Computer, 2016)

Security vulnerability analysis of design-for-test exploits for asset protection in SoCs. - Gustavo K. Contreras; Adib Nahiyan; Swarup Bhunia; Domenic Forte; Mark Tehranipoor (ASP-DAC, 2017)

Standardizing Bad Cryptographic Practice: A Teardown of the IEEE Standard for Protecting Electronic-design Intellectual Property. - Animesh Chhotaray; Adib Nahiyan; Thomas Shrimpton; Domenic Forte; Mark Tehranipoor (CCS, 2017)

Hardware trojan detection through information flow security verification. - Adib Nahiyan; Mehdi Sadi; Rahul Vittal; Gustavo K. Contreras; Domenic Forte; Mark Tehranipoor (ITC, 2017)

FLATS: Filling Logic and Testing Spatially for FPGA Authentication and Tamper Detection. - Adam Duncan; Grant Skipper; Andrew Stern; Adib Nahiyan; Fahim Rahman; Andrew Lukefahr; Mark Tehranipoor; Martin Swany (HOST, 2019)

RTL-PSC: Automated Power Side-Channel Leakage Assessment at Register-Transfer Level. - Miao Tony He; Jungmin Park; Adib Nahiyan; Apostol Vassilev 001; Yier Jin; Mark Tehranipoor (VTS, 2019)

Dynamically Obfuscated Scan Chain To Resist Oracle-Guided Attacks On Logic Locked Design. - M. Sazadur Rahman; Adib Nahiyan; Sarah Amir; Fahim Rahman; Farimah Farahmandi; Domenic Forte; Mark Tehranipoor (IACR Cryptol. ePrint Arch., 2019)

Security-Aware FSM Design Flow for Identifying and Mitigating Vulnerabilities to Fault Attacks. - Adib Nahiyan; Farimah Farahmandi; Prabhat Mishra 001; Domenic Forte; Mark Tehranipoor (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2019)

SeRFI: Secure Remote FPGA Initialization in an Untrusted Environment. - Adam Duncan; Adib Nahiyan; Fahim Rahman; Grant Skipper; Martin Swany; Andrew Lukefahr; Farimah Farahmandi; Mark Tehranipoor (VTS, 2020)

A Physical Design Flow Against Front-Side Probing Attacks by Internal Shielding. - Huanyu Wang; Qihang Shi; Adib Nahiyan; Domenic Forte; Mark Tehranipoor (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2020)

Soft-HaT: Software-Based Silicon Reprogramming for Hardware Trojan Implementation. - Md. Mahbub Alam; Adib Nahiyan; Mehdi Sadi; Domenic Forte; Mark Tehranipoor (ACM Trans. Design Autom. Electr. Syst., 2020)

SCRIPT: A CAD Framework for Power Side-channel Vulnerability Assessment Using Information Flow Tracking and Pattern Generation. - Adib Nahiyan; Jungmin Park; Miao Tony He; Yousef Iskander; Farimah Farahmandi; Domenic Forte; Mark Tehranipoor (ACM Trans. Design Autom. Electr. Syst., 2020)

Security Assessment of Dynamically Obfuscated Scan Chain Against Oracle-guided Attacks. - M. Sazadur Rahman; Adib Nahiyan; Fahim Rahman; Saverio Fazzari; Kenneth Plaks; Farimah Farahmandi; Domenic Forte; Mark Tehranipoor (ACM Trans. Design Autom. Electr. Syst., 2021)