Bo-Yuan Huang

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