| A survey on assertion-based hardware verification H Witharana, Y Lyu, S Charles, P Mishra ACM Computing Surveys (CSUR) 54 (11s), 1-33, 2022 | 52 | 2022 |
| Automated generation of security assertions for rtl models H Witharana, A Jayasena, A Whigham, P Mishra ACM Journal on Emerging Technologies in Computing Systems 19 (1), 1-27, 2023 | 25 | 2023 |
| 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 | 24 | 2021 |
| Domain specific intent classification of sinhala speech data D Buddhika, R Liyadipita, S Nadeeshan, H Witharana, S Javasena, ... 2018 International Conference on Asian Language Processing (IALP), 197-202, 2018 | 18 | 2018 |
| Speculative load forwarding attack on modern processors H Witharana, P Mishra Proceedings of the 41st IEEE/ACM International Conference on Computer-Aided …, 2022 | 11 | 2022 |
| Voicer: A crowd sourcing tool for speech data collection D Buddhika, R Liyadipita, S Nadeeshan, H Witharana, S Jayasena, ... 2018 18th International Conference on Advances in ICT for Emerging Regions …, 2018 | 10 | 2018 |
| quAssert: Automatic generation of quantum assertions H Witharana, D Volya, P Mishra arXiv preprint arXiv:2303.01487, 2023 | 7 | 2023 |
| Verifying memory confidentiality and integrity of Intel TDX trusted execution environments H Witharana, D Chatterjee, P Mishra 2024 IEEE International Symposium on Hardware Oriented Security and Trust …, 2024 | 3 | 2024 |
| Network-on-chip trust validation using security assertions A Jayasena, B Kumar, S Charles, H Witharana, P Mishra Journal of Hardware and Systems Security 6 (3), 79-94, 2022 | 3 | 2022 |
| Dynamic refinement of hardware assertion checkers H Witharana, S Sanjaya, P Mishra 2023 Design, Automation & Test in Europe Conference & Exhibition (DATE), 1-6, 2023 | 2 | 2023 |
| Formal Verification of Virtualization-Based Trusted Execution Environments H Witharana, H Weerasena, P Mishra IEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 2024 | 1 | 2024 |
| Assertion-Based Validation using Clustering and Dynamic Refinement of Hardware Checkers S Sanjaya, H Witharana, P Mishra ACM Transactions on Design Automation of Electronic Systems 29 (6), 1-22, 2024 | | 2024 |
| Dynamic refinement of hardware assertion checkers PK Mishra, HD Witharana, SS Nelundeniyalage US Patent App. 18/595,698, 2024 | | 2024 |
| Incremental Concolic Testing of Register-Transfer Level Designs H Witharana, A Jayasena, P Mishra ACM Transactions on Design Automation of Electronic Systems 29 (5), 1-23, 2024 | | 2024 |
| QcAssert: Quantum Device Testing with Concurrent Assertions H Witharana, D Volya, P Mishra 2024 29th Asia and South Pacific Design Automation Conference (ASP-DAC), 491-496, 2024 | | 2024 |
| Sequence-Based Incremental Concolic Testing of RTL Models H Witharana, A Jayasena, P Mishra arXiv preprint arXiv:2302.12241, 2023 | | 2023 |
| Security Assertions for Trusted Execution Environments H Witharana, H Weerasena, P Mishra | | |
Prabhat MishraProfessor, Univ. of Florida, IEEE Fellow, AAAS Fellow, ACM Distinguished Memberبريد إلكتروني تم التحقق منه على ufl.edu