| Soc security verification using property checking N Farzana, F Rahman, M Tehranipoor, F Farahmandi 2019 IEEE International Test Conference (ITC), 1-10, 2019 | 41 | 2019 |
| Saif: Automated asset identification for security verification at the register transfer level N Farzana, A Ayalasomayajula, F Rahman, F Farahmandi, M Tehranipoor 2021 IEEE 39th VLSI Test Symposium (VTS), 1-7, 2021 | 16 | 2021 |
| Concealing-gate: Optical contactless probing resilient design MT Rahman, NF Dipu, D Mehta, S Tajik, M Tehranipoor, N Asadizanjani ACM Journal on Emerging Technologies in Computing Systems (JETC) 17 (3), 1-25, 2021 | 11 | 2021 |
| Soc security properties and rules N Farzana, F Farahmandi, M Tehranipoor Cryptology ePrint Archive, 2021 | 11 | 2021 |
| Design of a low cost anti-theft sensor for motorcycle security device MM Hossain, MS Islam, NF Dipu, MT Islam, SA Fattah, C Shahnaz 2017 IEEE Region 10 Humanitarian Technology Conference (R10-HTC), 778-783, 2017 | 10 | 2017 |
| Fsmx: Finite state machine extraction from flattened netlist with application to security R Kibria, N Farzana, F Farahmandi, M Tehranipoor 2022 IEEE 40th VLSI Test Symposium (VTS), 1-7, 2022 | 6 | 2022 |
| Exploring the Abyss? Unveiling Systems-on-Chip Hardware Vulnerabilities beneath Software SR Rajendran, NF Dipu, S Tarek, HM Kamali, F Farahmandi, ... IEEE Transactions on Information Forensics and Security, 2024 | 1 | 2024 |
| TaintFuzzer: SoC Security Verification using Taint Inference-enabled Fuzzing MM Hossain, NF Dipu, KZ Azar, F Rahman, F Farahmandi, M Tehranipoor 2023 IEEE/ACM International Conference on Computer Aided Design (ICCAD), 1-9, 2023 | 1 | 2023 |
| Automatic Asset Identification for Assertion-Based SoC Security Verification A Ayalasomayajula, N Farzana, M Tehranipoor, F Farahmandi IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 2024 | | 2024 |
| FormalFuzzer: Formal Verification Assisted Fuzz Testing for SoC Vulnerability Detection NF Dipu, MM Hossain, KZ Azar, F Farahmandi, M Tehranipoor 2024 29th Asia and South Pacific Design Automation Conference (ASP-DAC), 355-361, 2024 | | 2024 |
| AGILE: Automated Assertion Generation to Detect Information Leakage Vulnerabilities NF Dipu, A Ayalasomayajula, M Tehranipoor, F Farahmandi IEEE Transactions on Information Forensics and Security, 2023 | | 2023 |
| SoC Security Properties and Rules NF Dipu, F Farahmandi, M Tehranipoor Cryptology ePrint Archive, 2021 | | 2021 |
