Hasini Witharana

According to our database, Hasini Witharana authored at least 14 papers between 2018 and 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2024

Formal Verification of Virtualization-Based Trusted Execution Environments.

Hasini Witharana, Hansika Weerasena, Prabhat Mishra

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., November, 2024

Incremental Concolic Testing of Register-Transfer Level Designs.

Hasini Witharana, Aruna Jayasena, Prabhat Mishra

ACM Trans. Design Autom. Electr. Syst., May, 2024

Assertion-Based Validation using Clustering and Dynamic Refinement of Hardware Checkers.

Sahan Sanjaya, Hasini Witharana, Prabhat Mishra

ACM Trans. Design Autom. Electr. Syst., 2024

Verifying Memory Confidentiality and Integrity of Intel TDX Trusted Execution Environments.

Hasini Witharana, Debapriya Chatterjee, Prabhat Mishra

Proceedings of the IEEE International Symposium on Hardware Oriented Security and Trust, 2024

QcAssert: Quantum Device Testing with Concurrent Assertions.

Hasini Witharana, Daniel Volya, Prabhat Mishra

Proceedings of the 29th Asia and South Pacific Design Automation Conference, 2024

2023

Automated Generation of Security Assertions for RTL Models.

Hasini Witharana, Aruna Jayasena, Andrew Whigham, Prabhat Mishra

ACM J. Emerg. Technol. Comput. Syst., January, 2023

quAssert: Automatic Generation of Quantum Assertions.

Hasini Witharana, Daniel Volya, Prabhat Mishra

CoRR, 2023

Sequence-Based Incremental Concolic Testing of RTL Models.

Hasini Witharana, Aruna Jayasena, Prabhat Mishra

CoRR, 2023

Dynamic Refinement of Hardware Assertion Checkers.

Hasini Witharana, Sahan Sanjaya, Prabhat Mishra

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2023

2022

A Survey on Assertion-based Hardware Verification.

Hasini Witharana, Yangdi Lyu, Subodha Charles, Prabhat Mishra

ACM Comput. Surv., January, 2022

Network-on-Chip Trust Validation Using Security Assertions.

Aruna Jayasena, Binod Kumar, Subodha Charles, Hasini Witharana, Prabhat Mishra

J. Hardw. Syst. Secur., 2022

Speculative Load Forwarding Attack on Modern Processors.

Hasini Witharana, Prabhat Mishra

Proceedings of the 41st IEEE/ACM International Conference on Computer-Aided Design, 2022

2021

Directed Test Generation for Activation of Security Assertions in RTL Models.

Hasini Witharana, Yangdi Lyu, Prabhat Mishra

ACM Trans. Design Autom. Electr. Syst., 2021

2018

Domain Specific Intent Classification of Sinhala Speech Data.

Darshana Buddhika, Ranula Liyadipita, Sudeepa Nadeeshan, Hasini Witharana, Sanath Jayasena, Uthayasanker Thayasivam

Proceedings of the 2018 International Conference on Asian Language Processing, 2018