| Soc security verification using property checking N Farzana, F Rahman, M Tehranipoor, F Farahmandi 2019 IEEE International Test Conference (ITC), 1-10, 2019 | 51 | 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 | 22 | 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 | 13 | 2021 |
| Soc security properties and rules N Farzana, F Farahmandi, M Tehranipoor Cryptology ePrint Archive, 2021 | 12 | 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 | 11 | 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 | 9 | 2022 |
| 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 | 7 | 2023 |
| FormalFuzzer: formal verification assisted fuzz testing for SoC vulnerability detection N Farzana, MM Hossain, KZ Azar, F Farahmandi, M Tehranipoor Asia and South Pacific Design Automation Conference (ASP-DAC), 1-6, 2024 | 5 | 2024 |
| Prioritizing Information Flow Violations: Generation of Ranked Security Assertions for Hardware Designs A Ayalasomayajula, N Farzana, D Pal, F Farahmandi 2024 IEEE International Symposium on Hardware Oriented Security and Trust …, 2024 | 1 | 2024 |
| 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 | 1 | 2024 |
| 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 |
| 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 | 1 | 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 | 1 | 2023 |
| SoC Security Properties and Rules NF Dipu, F Farahmandi, M Tehranipoor Cryptology ePrint Archive, 2021 | 1 | 2021 |
