Bo-Yuan Huang

I am a research scientist at INT31 Security Research, specializing in formal methods for hardware and firmware security assurance. My research focuses on automated verification and security architecture hardening, with deep expertise in confidential computing and graphics/AI accelerators. Before joining Intel, I received my B.S. from National Taiwan University and my M.A. and Ph.D. from Princeton University.