Hansika Weerasena

Postdoctoral Researcher @ NCSU | PhD @ UF

Role: Src Research Scholar at Semiconductor Research Corporation Src
Location: Raleigh, NC, US
LinkedIn followers: 500 followers

Research & DevelopmentView LinkedIn profile

Experience

Src Research Scholar
Semiconductor Research Corporation Src
May 2024 — Present · Gainesville, FL, US
Lead researcher on an SRC-funded project focused on verifying VM-based Trusted Execution Environments (TEEs), including Intel TDX and AMD SEV- Developed techniques for TEE security verification through property generation, symbolic execution, and design abstraction to validate confidentiality, integrity and availability guarantees.Integration of Large Language Model (LLM)-assisted methods to enhance security verification workflows for TEEs- Communicated research outcomes through peer-reviewed publications, patent filings, software deliverables and monthly progress meetings with SRC liaisons- Technical committee member, external receiver for multiple conferences DATE, HOST, etc)- Mentoring junior PhD students and undergraduate researchers leading to publications.

Contact information

Verified work emails, personal emails, and direct dials — unlocked in one click.

Work email
•••••@src.org
Personal email
•••••@•••••.com
Direct dial
+•• ••• ••• ••••

Unlock verified contacts

Free to start · No credit card required

Current company

Src Research Scholars Program

Research Services · 511 employees · Founded 1982 · Durham, North Carolina, United States

Semiconductor Research Corporation provides undergrads, graduate students, and postdoctoral researchers with a unique educational opportunity consisting of traditional course work, cutting-edge research, and direct interaction with the semiconductor industry. These Research Scholars work on industry-relevant research with SRC-funded faculty who are recognized experts in their fields. Through our extensive community of academics and industry personnel, we nurture the evolution of the talent pipeline for our industry and beyond. Our alumni have become industry leaders and renowned faculty researchers, creating a virtuous cycle where mojo begets mojo.

src.org

Find verified contacts for anyone on LinkedIn

Unifers gives sales teams verified emails and direct dials, enriched profiles, and outreach that lands in the inbox.

Start for free See how it works

Free plan included · No credit card required

This profile is compiled from publicly available professional sources. Unifers is not affiliated with or endorsed by LinkedIn. Request removal of this profile.