Research Areas
- Assertion-Based Security Verification
- System-on-Chip (SoC) Security
- Verifying Trusted Execution Environments (TEE)
- Side-channel Vulnerabilties
Eductaion
- [2020 - 2024] Ph.D. University of Florida, Computer Science
- [2020 - 2023] M.Sc. University of Florida, Computer Scinece and Engineering
- [2014 - 2018] B.Sc. University of Moratuwa Sri Lanka, Computer Scinece and Engineering
Work Experience
- [2020 – Present] Research Assistant, University of Florida.
- [May 2021 – Aug 2021] Security Research Intern, Intel Corporation, USA.
- [2019 – 2020] Software Engineer, WSO2, Sri Lanka.
- [Apr 2018 – Aug 2018] Google Summer of Code Contributor, Apache Foundation, USA.
- [Jun 2017 – Dec 2017] Software Engineering Intern, WSO2, Sri Lanka.
