Presenter <Full Program · Contributors · Organizations · Search Program · Flagged · My Recommendations · Happening NowMore…Search ProgramFlaggedMy RecommendationsHappening NowChung-Yang (Ric) HuangNational Taiwan UniversityPresentationsWork in ProgressSpec2Plan: A Robust LLM-Powered Framework for Verification Plan Generation and Evaluation6:40pm - 6:41pm PDT Monday, July 27 Exhibit HallResearch ManuscriptDetrojan: Detecting Trojan Circuits Using a Purpose-Built Graph Neural Network with Community-Enhanced Classification10:30am - 10:43am PDT Tuesday, July 28 Mtg Room 203CSecuritySEC3-II. Hardware Security: Attack and Defense