Hasini Witharana

15 papers A 3B 1Journal 9Unranked 2
YearRankTypeTitle / Venue / Authors
2025 A conf
Security Assertions for Trusted Execution Environments.
DATE
Hasini Witharana, Hansika Weerasena, Prabhat Mishra
2024 J jnl
Assertion-Based Validation using Clustering and Dynamic Refinement of Hardware Checkers.
ACM Trans. Design Autom. Electr. Syst.
Sahan Sanjaya, Hasini Witharana, Prabhat Mishra
2024 J jnl
Formal Verification of Virtualization-Based Trusted Execution Environments.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
Hasini Witharana, Hansika Weerasena, Prabhat Mishra
2024 J jnl
Incremental Concolic Testing of Register-Transfer Level Designs.
ACM Trans. Design Autom. Electr. Syst.
Hasini Witharana, Aruna Jayasena, Prabhat Mishra
2024 B conf
QcAssert: Quantum Device Testing with Concurrent Assertions.
ASPDAC
Hasini Witharana, Daniel Volya, Prabhat Mishra
2024 — conf
Verifying Memory Confidentiality and Integrity of Intel TDX Trusted Execution Environments.
HOST
Hasini Witharana, Debapriya Chatterjee, Prabhat Mishra
2023 J jnl
Automated Generation of Security Assertions for RTL Models.
ACM J. Emerg. Technol. Comput. Syst.
Hasini Witharana, Aruna Jayasena, Andrew Whigham, Prabhat Mishra
2023 A conf
Dynamic Refinement of Hardware Assertion Checkers.
DATE
Hasini Witharana, Sahan Sanjaya, Prabhat Mishra
2023 J jnl
Sequence-Based Incremental Concolic Testing of RTL Models.
CoRR
Hasini Witharana, Aruna Jayasena, Prabhat Mishra
2023 J jnl
quAssert: Automatic Generation of Quantum Assertions.
CoRR
Hasini Witharana, Daniel Volya, Prabhat Mishra
2022 J jnl
A Survey on Assertion-based Hardware Verification.
ACM Comput. Surv.
Hasini Witharana, Yangdi Lyu, Subodha Charles, Prabhat Mishra
2022 J jnl
Network-on-Chip Trust Validation Using Security Assertions.
J. Hardw. Syst. Secur.
Aruna Jayasena, Binod Kumar, Subodha Charles, Hasini Witharana, Prabhat Mishra
2022 A conf
Speculative Load Forwarding Attack on Modern Processors.
ICCAD
Hasini Witharana, Prabhat Mishra
2021 J jnl
Directed Test Generation for Activation of Security Assertions in RTL Models.
ACM Trans. Design Autom. Electr. Syst.
Hasini Witharana, Yangdi Lyu, Prabhat Mishra
2018 — conf
Domain Specific Intent Classification of Sinhala Speech Data.
IALP
Darshana Buddhika, Ranula Liyadipita, Sudeepa Nadeeshan, Hasini Witharana, Sanath Jayasena, Uthayasanker Thayasivam