I’m a fourth-year PhD student from the Computer and Information Science and Engineering Department of the University of Florida.

Research Areas

• Assertion-Based Security Verification
• System-on-Chip (SoC) Security
• Verifying Trusted Execution Environments (TEE)
• Side-channel Vulnerabilties

Eductaion

• [2020 - Present] 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.