Bo-Yuan Huang
Intel (United States)(US)
Publications by Year
Research Areas
Radiation Effects in Electronics, Formal Methods in Verification, Embedded Systems Design Techniques, Security and Verification in Computing, Parallel Computing and Optimization Techniques
Most-Cited Works
- → Intelligent REST API data fuzzing(2020)54 cited
- → Instruction-Level Abstraction (ILA)(2018)40 cited
- → Flexible meaningful visual multi-secret sharing scheme by random grids(2020)29 cited
- → Resource allocation in D2D communication - A game theoretic approach(2014)26 cited
- → Template-Based Parameterized Synthesis of Uniform Instruction-Level Abstractions for SoC Verification(2017)21 cited
- → Formal security verification of concurrent firmware in SoCs using instruction-level abstraction for hardware(2018)21 cited
- → Protocol Design and Game Theoretic Solutions for Device-to-Device Radio Resource Allocation(2016)21 cited
- → A New Visual Multi-Secrets Sharing Scheme by Random Grids(2018)19 cited
- → ILAng: A Modeling and Verification Platform for SoCs Using Instruction-Level Abstractions(2019)16 cited