Registered user since Wed 30 Jan 2019
Name:Bo-Yuan Huang
Country:United States
Affiliation:Intel, USA
Personal website: https://bo-yuan-huang.github.io/
Research interests:Formal methods, security assurance, firmware, hardware
Contributions
Using general profile