Author Info
Name
Affiliation
Papers
WEI HU
University of California, San Diego, La Jolla, CA
13
Collaborators
Citations 
PageRank 
32
14
4.71
Referers 
Referees 
References 
59
559
223
Search Limit
100559
Title
Citations
PageRank
Year
Accelerating Hardware Secur Ity Ver Ification And Vulnerability Detection Through State Space Reduction00.342021
Hardware Information Flow Tracking10.372021
An Overview of Hardware Security and Trust: Threats, Countermeasures and Design Tools30.412021
Feedback-based Channel Gain Complement and Cluster-based Quantization for Physical Layer Key Generation10.362020
Memory-Based High-Level Synthesis Optimizations Security Exploration on the Power Side-Channel30.402020
X-Attack: Remote Activation of Satisfiability Don't-Care Hardware Trojans on Shared FPGAs00.342020
A formal model for proving hardware timing properties and identifying timing channels00.342020
A Unified Formal Model for Proving Security and Reliability Properties00.342020
Theorem proof based gate level information flow tracking for hardware security verification00.342019
Property specific information flow analysis for hardware security verification10.342018
Arbitrary Precision and Complexity Tradeoffs for Gate-Level Information Flow Tracking.00.342017
Register transfer level information flow tracking for provably secure hardware design.50.452017
Why you should care about don't cares: Exploiting internal don't care conditions for hardware Trojans.00.342017