Publications

You can also find my articles on my Google Scholar profile.

Peer-reviewed Journals

Hasini Witharana, Hansika Weerasena and Prabhat Mishra, Formal Verification of Virtualization-based Trusted Execution Environments, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (TCAD), 2024.
Hasini Witharana, Aruna Jayasena and Prabhat Mishra, Incremental Concolic Testing of Register-Transfer Level Designs, ACM Transactions on Design Automation of Electronic Systems (TODAES), 2024.
Hasini Witharana, Aruna Jayasena, Andrew Whigham and Prabhat Mishra, Automated Generation of Security Assertions for RTL Models, ACM Journal on Emerging Technologies in Computing Systems (JETC), 2022.
Hasini Witharana, Yangdi Lyu, Subodha Charles and Prabhat Mishra, A Survey on Assertion-based Hardware Verification, ACM Computing Surveys (CSUR), 2022.
Aruna Jayasena, Binod Kumar, Subodha Charles, Hasini Witharana and Prabhat Mishra, Network-on-Chip Trust Validation using Security Assertion, Springer Journal of Hardware and Systems Security (HASS), 2022.
Hasini Witharana, Yangdi Lyu and Prabhat Mishra, Directed Test Generation for Activation of Security Assertions in RTL Models, ACM Transactions on Design Automation of Electronic Systems (TODAES),a26(4), article 26, pages 1-28, 2021.

Hasini Witharana, Hansika Weerasena and Prabhat Mishra, Formal Verification of Virtualization-based Trusted Execution Environments, ACM/IEEE International Conference on Compilers, Architectures, and Synthesis for Embedded Systems (CASES), Raleigh, North Carolina, September 29 - October 4, 2024.
Hasini Witharana, Debapriya Chatterjee and Prabhat Mishra, Verifying Memory Confidentiality and Integrity of Intel TDX Trusted Execurtion Environments, IEEE International Symposium on Hardware Oriented Security and Trust , Washington DC, May 6-9, 2024.
Hasini Witharana, Daniel Volya and Prabhat Mishra, QcAssert: Quantum Device Testing with Concurrent Assertions, Asia and South Pacific Design Automation Conference (ASPDAC), South Korea, January 22 - 25, 2024.
Hasini Witharana, Sahan Sanjaya and Prabhat Mishra, Dynamic Refinement of Hardware Assertion Checkers, Design Automation and Test in Europe (DATE), Antwerp, Belgium, April 17-19, 2023.
Hasini Witharana and Prabhat Mishra, Speculative Load Forwarding Attack on Modern Processors, International Conference on Computer-Aided Design (ICCAD), October 30 - November 3, 2022.

Prabhat Mishra, Hasini Witharana and Sahan Sanjaya, Dynamic Refinement of Hardware Assertion Checkers, U.S. Provisional Patent Application No. 63/489,020, filed March 8, 2023.
Prabhat Mishra, Hasini Witharana and Daniel Volya, Quantum device testing using concurrent assertions,” Invention Disclosure November 1 2023

Hasini Witharana and Prabhat Mishra, Scalable Assertion-based Validation of Trusted Execution Environments, SRC TECHCON, Austin, Texas, September 10-12, 2023.
Hasini Witharana, Daniel Volya and Prabhat Mishra, Sequence-Based Incremental Concolic Testing of RTL Models, arXiv preprint arXiv:2302.12241, 2023.
Hasini Witharana, Aruna Jayasena and Prabhat Mishra, quAssert: Automatic Generation of Quantum Assertions, arXiv preprint arXiv:2303.01487, 2023.
Hasini Witharana and Prabhat Mishra, Security validation of Trusted Execution Environments, GOMACTech Conference, San Diego, March 20-23, 2023.
Hasini Witharana and Prabhat Mishra, Speculative Load Forwarding Attack on Modern Processors, SRC TECHCON, 2022.
Hasini Witharana and Prabhat Mishra, Automated Generation of Security Assertions for RTL Models, SRC TECHCON, 2021.
Hasini Witharana and Prabhat Mishra, Directed Test Generation for Activation of Assertions in RTL Models, SRC TECHCON, 2020.