A survey of side-channel attacks on caches and countermeasures Y Lyu, P Mishra Journal of Hardware and Systems Security 2, 33-50, 2018 | 156 | 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 | 98 | 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 | 47 | 2019 |
A survey on assertion-based hardware verification H Witharana, Y Lyu, S Charles, P Mishra ACM Computing Surveys (CSUR) 54 (11s), 1-33, 2022 | 43 | 2022 |
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 | 43 | 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 | 41 | 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 | 33 | 2020 |
Scalable concolic testing of RTL models Y Lyu, P Mishra IEEE Transactions on Computers 70 (7), 979-991, 2020 | 28 | 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 | 27 | 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 | 27 | 2019 |
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 | 26 | 2020 |
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 | 24 | 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 | 22 | 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 | 16 | 2019 |
System-on-chip security assertions Y Lyu, P Mishra arXiv preprint arXiv:2001.06719, 2020 | 11 | 2020 |
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 |
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 | 2 | 2023 |