Bo-Yuan Huang - Concepedia

Author

Bo-Yuan Huang

Princeton University ORCID

Also Known As

Bo-Yuan Huang, Huang, Bo-Yuan

Publications

302

Citations

H-Index

Concepts

All Affiliations

Princeton University National Taiwan University Intel (United Kingdom)Technion – Israel Institute of Technology Indian Institute of Technology Kanpur

About

Bo-Yuan Huang is an author at Princeton University specializing in engineering, computer engineering, and hardware security.

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	8	8	191
2	Computer Engineering	7	7	165
3	Computer Science	6	6	144
4	Business	2	2	47
5	Communication	1	1	26

Bo-Yuan Huang

Publications

259

Citations

H-Index

Page 1

	Year	Citations
Intelligent REST API data fuzzing Patrice Godefroid, Bo-Yuan Huang, Marina Polishchuk	2020	54
Instruction-Level Abstraction (ILA) Bo-Yuan Huang, Hongce Zhang, Pramod Subramanyan, ACM Transactions on Design Automation of Electronic Systems EngineeringHardware Verification LanguageInstruction-level AbstractionVerificationComputer Architecture	2018	38
Flexible meaningful visual multi-secret sharing scheme by random grids Bo-Yuan Huang, Justie Su-Tzu Juan Multimedia Tools and Applications Hardware SecuritySecure Multi-party ComputationRandom GridsEngineeringInformation Security	2020	29
Resource allocation in D2D communication - A game theoretic approach Bo-Yuan Huang, Shih-Tang Su, Chih-Yu Wang, EngineeringDynamic Resource AllocationNetwork GameData CommunicationEdge Computing	2014	26
Protocol Design and Game Theoretic Solutions for Device-to-Device Radio Resource Allocation Shih-Tang Su, Bo-Yuan Huang, Chih-Yu Wang, IEEE Transactions on Vehicular Technology V2x CommunicationCross-layer OptimizationEngineeringGame TheoryD2d Communication	2016	21
Template-Based Parameterized Synthesis of Uniform Instruction-Level Abstractions for SoC Verification Pramod Subramanyan, Bo-Yuan Huang, Yakir Vizel, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems Hardware ModelingEngineeringHardware Verification LanguageVerificationComputer Architecture	2017	21
Formal security verification of concurrent firmware in SoCs using instruction-level abstraction for hardware Bo-Yuan Huang, Sayak Ray, Aarti Gupta, EngineeringHardware Verification LanguageInstruction-level AbstractionVerificationComputer Architecture	2018	21
A New Visual Multi-Secrets Sharing Scheme by Random Grids Joy Jo-Yi Chang, Bo-Yuan Huang, Justie Su-Tzu Juan Cryptography Random GridsEngineeringInformation Security-Visual Secret SharingNetwork Analysis	2018	19
Formal Security Verification of Concurrent Firmware in SoCs using Instruction-Level Abstraction for Hardware Bo-Yuan Huang, Sayak Ray, Aarti Gupta, 2018 55th ACM/ESDA/IEEE Design Automation Conference (DAC) EngineeringHardware Verification LanguageInstruction-level AbstractionVerificationComputer Architecture	2018	16
Instruction-Level Abstraction (ILA): A Uniform Specification for System-on-Chip (SoC) Verification Bo-Yuan Huang, Hongce Zhang, Pramod Subramanyan, Rare & Special e-Zone (The Hong Kong University of Science and Technology)	2018	14

Page 1