Presenter <Full Program · Contributors · Organizations · Search Program · Flagged · My Recommendations · Happening NowMore…Search ProgramFlaggedMy RecommendationsHappening NowSaeid RajabiUniversity of DelawarePresentationsResearch ManuscriptSTELLAR: Structure-Guided LLM Assertion Retrieval and Generation for Formal Verification5:18pm - 5:30pm PDT Wednesday, July 29 Mtg Room 202CSecuritySEC2. Hardware Security: Primitives, Architecture, Design & Test
