| A survey of side-channel attacks on caches and countermeasures Y Lyu, P Mishra Journal of Hardware and Systems Security 2, 33-50, 2018 | 140 | 2018 |
| Real-time detection and localization of distributed DoS attacks in NoC-based SoCs S Charles, Y Lyu, P Mishra IEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 2020 | 87 | 2020 |
| Efficient test generation for Trojan detection using side channel analysis Y Lyu, P Mishra 2019 Design, Automation & Test in Europe Conference & Exhibition (DATE), 408-413, 2019 | 45 | 2019 |
| Scalable activation of rare triggers in hardware trojans by repeated maximal clique sampling Y Lyu, P Mishra IEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 2020 | 42 | 2020 |
| Directed test generation for validation of cache coherence protocols Y Lyu, X Qin, M Chen, P Mishra IEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 2018 | 42 | 2018 |
| Automated test generation for activation of assertions in RTL models Y Lyu, P Mishra 2020 25th Asia and South Pacific Design Automation Conference (ASP-DAC), 223-228, 2020 | 32 | 2020 |
| Automated test generation for Trojan detection using delay-based side channel analysis Y Lyu, P Mishra 2020 Design, Automation & Test in Europe Conference & Exhibition (DATE …, 2020 | 25 | 2020 |
| Automated trigger activation by repeated maximal clique sampling Y Lyu, P Mishra 2020 25th Asia and South Pacific Design Automation Conference (ASP-DAC), 482-487, 2020 | 25 | 2020 |
| Automated activation of multiple targets in RTL models using concolic testing Y Lyu, A Ahmed, P Mishra 2019 Design, Automation & Test in Europe Conference & Exhibition (DATE), 354-359, 2019 | 25 | 2019 |
| Scalable concolic testing of RTL models Y Lyu, P Mishra IEEE Transactions on Computers 70 (7), 979-991, 2020 | 24 | 2020 |
| A survey on assertion-based hardware verification H Witharana, Y Lyu, S Charles, P Mishra ACM Computing Surveys (CSUR) 54 (11s), 1-33, 2022 | 21 | 2022 |
| Maxsense: Side-channel sensitivity maximization for trojan detection using statistical test patterns Y Lyu, P Mishra ACM Transactions on Design Automation of Electronic Systems (TODAES) 26 (3 …, 2021 | 21 | 2021 |
| Directed test generation for activation of security assertions in rtl models H Witharana, Y Lyu, P Mishra ACM Transactions on Design Automation of Electronic Systems (TODAES) 26 (4 …, 2021 | 17 | 2021 |
| Efficient test generation for trojan detection using side channel analysis, in 2019 Design, Automation & Test in Europe Conference & Exhibition (DATE) Y Lyu, P Mishra IEEE, IEEE, 408-413, 2019 | 15 | 2019 |
| Automated activation of multiple targets in RTL models using concolic testing, in 2019 Design, Automation & Test in Europe Conference & Exhibition (DATE) Y Lyu, A Ahmed, P Mishra IEEE, Florence, Italy, 354-359, 2019 | 10 | 2019 |
| System-on-chip security assertions Y Lyu, P Mishra arXiv preprint arXiv:2001.06719, 2020 | 7 | 2020 |
| A fast 2-approximation algorithm for guarding orthogonal terrains Y Lyu, A Üngör arXiv preprint arXiv:1605.03271, 2016 | 5 | 2016 |
| Delay-based side-channel analysis for trojan detection PK Mishra, Y Lyu US Patent 11,580,265, 2023 | 4 | 2023 |
| Trigger activation by repeated maximal clique sampling PK Mishra, Y Lyu US Patent 11,568,046, 2023 | 4 | 2023 |
| Real-time detection and localization of DoS attacks in NoC based SoC architectures PK Mishra, TSN Charles, Y Lyu US Patent 11,797,667, 2023 | | 2023 |
