Hasini Witharana
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
3
Active years
2022–2025
Best venue rank
A
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | DATE | Security Assertions for Trusted Execution Environments. | Hasini Witharana, Hansika Weerasena, Prabhat Mishra |
| 2024 | ASPDAC | QcAssert: Quantum Device Testing with Concurrent Assertions. | Hasini Witharana, Daniel Volya, Prabhat Mishra |
| 2023 | DATE | Dynamic Refinement of Hardware Assertion Checkers. | Hasini Witharana, Sahan Sanjaya, Prabhat Mishra |
| 2022 | ICCAD | Speculative Load Forwarding Attack on Modern Processors. | Hasini Witharana, Prabhat Mishra |