Wei Hu

79 papers A* 3A 10B 5C 1Misc 1Journal 34Unranked 24
YearRankTypeTitle / Venue / Authors
2026 J jnl
Design for Assurance: Employing Functional Verification Tools for Thwarting Hardware Trojan Threat in 3PIPs.
IEEE Trans. Dependable Secur. Comput.
Wei Hu, Beibei Li, Lingjuan Wu, Yiwei Li, Xuefei Li, Liang Hong
2026 J jnl
Explainable hardware Trojan detection and localization in FPGA Netlists.
Comput. Secur.
Lingjuan Wu, Hao Su, Siyu Tian, Xuelin Zhang, Wei Hu
2025 J jnl
An Automated Fault Attack Framework for Block Ciphers Through Property Mining and Verification.
IEEE Trans. Circuits Syst. I Regul. Pap.
Xingxin Wang, Wei Hu, Shibo Tang, Xinxin Wang, Huisi Zhou
2025 J jnl
An MPC-based nonlinear data-driven model for cascading failure prediction in large-scale infrastructure networks.
Comput. Networks
Beibei Li, Wei Hu, Lemei Da, Dan Zhu
2025 J jnl
DPSLS: an efficient local search algorithm for pure MaxSAT.
Peer Peer Netw. Appl.
Huisi Zhou, Xinyu Zhang, Wei Hu, Dan Zhu, Liwei Wang
2025 — conf
Modeling Fault Propagation for Model-Based Diagnosis as a MaxSAT Problem.
AsianHOST
Huisi Zhou, Ning Kang, Wei Hu
2025 J jnl
Modeling and Maximizing Network Reliability in Large Scale Infrastructure Networks: A Heat Conduction Model Perspective.
IEEE Trans. Netw. Serv. Manag.
Beibei Li, Wei Hu, Yiwei Li, Lemei Da
2025 J jnl
TBSAE: Tightly Secure One-Round SAE Variant for Securing Peer-to-Peer Networks.
IEEE Internet Things J.
Mingping Qi, Wei Hu, Yu Tai
2025 J jnl
Toward Precise and Explainable Hardware Trojan Localization at LUT Level.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
Hao Su, Wei Hu, Xuelin Zhang, Dan Zhu, Lingjuan Wu
2024 J jnl
A Blockchain-Assisted Road Condition Monitoring Scheme With Privacy-Preserving for VANETs.
IEEE Trans. Veh. Technol.
Lemei Da, Wei Hu, Yujue Wang, Yong Ding, Beibei Li, Dan Zhu
2024 B conf
Enabling Efficient Spatio-Temporal Range Query over Encrypted Databases.
GLOBECOM
Dan Zhu, Xiangyu Wang, Cheng Huang, Peilin Han, Wei Hu, Jianfeng Ma
2024 J jnl
Hardware/software security co-verification and vulnerability detection: An information flow perspective.
Integr.
Maoyuan Qin, Jiacheng Zhu, Baolei Mao, Wei Hu
2024 B conf
LUT Level Information Flow Tracking for FPGA Design Security Verification.
GLOBECOM
Jiacheng Zhu, Wei Hu, Lingjuan Wu, Dan Zhu, Dejun Mu
2024 B conf
New Diagnostics for Inferring Multiple Fault Scenarios and Accurate Fault Localization.
GLOBECOM
Huisi Zhou, Wei Hu, Dan Zhu, Liwei Wang
2024 — conf
Path-specific Information Flow Analysis for RSA Hardware Timing Channel Security Verification.
ICCT
Zezhi Wang, Baolei Mao, Shunjie Zhang, Chenxi Mao, Maoyuan Qin, Wei Hu
2024 — conf
Pinpointing Hardware Trojans Through Semantic Feature Extraction and Natural Language Processing.
ITC-Asia
Yichen Li, Wei Hu, Hao Su, Xuelin Zhang, Yizhi Zhao, Pengjun Wang, Lingjuan Wu
2024 J jnl
Provably Secure Asymmetric PAKE Protocol for Protecting IoT Access.
IEEE Internet Things J.
Mingping Qi, Wei Hu
2024 B conf
Robust Hardware Trojan Detection: Conventional Machine Learning vs. Graph Learning Approaches.
TrustCom
Liang Hong, Xingguo Guo, Zeyar Aung, Wei Hu
2024 J jnl
SAE+: One-Round Provably Secure Asymmetric SAE Protocol for Client-Server Model.
IEEE Trans. Inf. Forensics Secur.
Mingping Qi, Wei Hu, Yu Tai
2024 J jnl
X-Attack 2.0: The Risk of Power Wasters and Satisfiability Don't-Care Hardware Trojans to Shared Cloud FPGAs.
IEEE Access
Dina G. Mahmoud, Beatrice Shokry, Vincent Lenders, Wei Hu, Mirjana Stojilovic
2023 A conf
Automated Hardware Trojan Detection at LUT Using Explainable Graph Neural Networks.
ICCAD
Lingjuan Wu, Hao Su, Xuelin Zhang, Yu Tai, Han Li, Wei Hu
2023 J jnl
Design for Assurance: Employing Functional Verification Tools for Thwarting Hardware Trojan Threat in 3PIPs.
CoRR
Wei Hu, Beibei Li, Lingjuan Wu, Yiwei Li, Xuefei Li, Liang Hong
2023 — conf
Hunting for Hardware Trojan in Gate Netlist: A Stacking Ensemble Learning Perspective.
ITC-Asia
Liang Hong, Ge Zhu, Jing Zhou, Xuefei Li, Ziyi Chen, Wei Hu
2023 Misc conf
Maximizing Network Reliability in Large Scale Infrastructure Networks: A Heat Conduction Model Perspective.
ICMLC
Beibei Li, Wei Hu, Yiwei Li
2023 — conf
Message from the Chairs.
ATS
Huawei Li, Jing Ye, Wei Hu, Jiliang Zhang
2023 — conf
Security Verification of RISC-V System Based on ISA Level Information Flow Tracking.
ATS
Lingjuan Wu, Yifei Gao, Jiacheng Zhu, Yu Tai, Wei Hu
2023 — conf
Verifying RISC-V Privilege Transition Integrity Through Symbolic Execution.
ATS
Shibo Tang, Jiacheng Zhu, Yifei Gao, Jing Zhou, Dejun Mu, Wei Hu
2022 — conf
Accelerating SoC Security Verification and Vulnerability Detection Through Symbolic Execution.
ISOCC
Shibo Tang, Xingxin Wang, Yifei Gao, Wei Hu
2022 J jnl
Hardware Information Flow Tracking.
ACM Comput. Surv.
Wei Hu, Armaiti Ardeshiricham, Ryan Kastner
2022 — conf
Hardware Trojan Detection at LUT: Where Structural Features Meet Behavioral Characteristics.
HOST
Lingjuan Wu, Xuelin Zhang, Siyi Wang, Wei Hu
2022 — ch.
Integrating Information Flow Tracking into High-Level Synthesis Design Flow.
Behavioral Synthesis for Hardware Security
Wei Hu, Armaiti Ardeshiricham, Lingjuan Wu, Ryan Kastner
2022 — conf
Towards Automatic Property Generation for SoC Security Verification.
ISOCC
Xingxin Wang, Shibo Tang, Wei Hu
2021 — conf
A Correlation Fault Attack on Rotating S-Box Masking AES.
AsianHOST
Xingxin Wang, Jian Zheng, Lingjuan Wu, Jiacheng Zhu, Wei Hu
2021 J jnl
Accelerating hardware security verification and vulnerability detection through state space reduction.
Comput. Secur.
Lixiang Shen, Dejun Mu, Guo Cao, Maoyuan Qin, Jiacheng Zhu, Wei Hu
2021 J jnl
An Overview of Hardware Security and Trust: Threats, Countermeasures, and Design Tools.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
Wei Hu, Chip-Hong Chang, Anirban Sengupta, Swarup Bhunia, Ryan Kastner, Hai Li
2021 — conf
Developing Formal Models for Measuring Fault Effects Using Functional EDA Tools.
ITC-Asia
Wei Hu, Jing Tan, Lingjuan Wu, Yu Tai, Liang Hong
2021 — conf
Identifying Specious LUTs for Satisfiability Don't Care Trojan Detection.
SoCC
Lingjuan Wu, Xuefei Li, Jiacheng Zhu, Jian Zheng, Wei Hu
2020 J jnl
A Standardized ICS Network Data Processing Flow With Generative Model in Anomaly Detection.
IEEE Access
Tao Yang, Yibo Hu, Yang Li, Wei Hu, Quan Pan
2020 — conf
A Unified Formal Model for Proving Security and Reliability Properties.
ATS
Wei Hu, Lingjuan Wu, Yu Tai, Jing Tan, Jiliang Zhang
2020 J jnl
A Unified Model for Gate Level Propagation Analysis.
CoRR
Jeremy Blackstone, Wei Hu, Alric Althoff, Armaiti Ardeshiricham, Lu Zhang, Ryan Kastner
2020 J jnl
A formal model for proving hardware timing properties and identifying timing channels.
Integr.
Maoyuan Qin, Xinmu Wang, Baolei Mao, Dejun Mu, Wei Hu
2020 — conf
Feedback-based Channel Gain Complement and Cluster-based Quantization for Physical Layer Key Generation.
AsianHOST
Hang Liu, Chaofan Zhang, Hongming Fei, Wei Hu, Dawei Guo
2020 — conf
HRAE: Hardware-assisted Randomization against Adversarial Example Attacks.
ATS
Jiliang Zhang, Shuang Peng, Yupeng Hu, Fei Peng, Wei Hu, Jinmei Lai, Jing Ye, Xiangqi Wang
2020 J jnl
Hardware Trojan Attack in Embedded Memory.
ACM J. Emerg. Technol. Comput. Syst.
Xinmu Wang, Tamzidul Hoque, Abhishek Basak, Robert Karam, Wei Hu, Maoyuan Qin, Dejun Mu, Swarup Bhunia
2020 J jnl
Machine-Learning-Based Side-Channel Leakage Detection in Electronic System-Level Synthesis.
IEEE Netw.
Lu Zhang, Dejun Mu, Wei Hu, Yu Tai
2020 J jnl
Memory-Based High-Level Synthesis Optimizations Security Exploration on the Power Side-Channel.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
Lu Zhang, Dejun Mu, Wei Hu, Yu Tai, Jeremy Blackstone, Ryan Kastner
2020 B conf
X-Attack: Remote Activation of Satisfiability Don't-Care Hardware Trojans on Shared FPGAs.
FPL
Dina G. Mahmoud, Wei Hu, Mirjana Stojilovic
2019 — conf
Leveraging Unspecified Functionality in Obfuscated Hardware for Trojan and Fault Attacks.
AsianHOST
Wei Hu, Yixin Ma, Xinmu Wang, Xingxin Wang
2019 J jnl
Theorem proof based gate level information flow tracking for hardware security verification.
Comput. Secur.
Maoyuan Qin, Wei Hu, Xinmu Wang, Dejun Mu, Baolei Mao
2018 A conf
Examining the consequences of high-level synthesis optimizations on power side-channel.
DATE
Lu Zhang, Wei Hu, Armaiti Ardeshiricham, Yu Tai, Jeremy Blackstone, Dejun Mu, Ryan Kastner
2018 — conf
Property Based Formal Security Verification for Hardware Trojan Detection.
IVSW
Maoyuan Qin, Wei Hu, Dejun Mu, Yu Tai
2018 A conf
Property specific information flow analysis for hardware security verification.
ICCAD
Wei Hu, Armaiti Ardeshiricham, Mustafa S. Gobulukoglu, Xinmu Wang, Ryan Kastner
2018 J jnl
Quantitative Analysis of Timing Channel Security in Cryptographic Hardware Design.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
Baolei Mao, Wei Hu, Alric Althoff, Janarbek Matai, Yu Tai, Dejun Mu, Timothy Sherwood, Ryan Kastner
2018 — conf
Security Path Verification Through Joint Information Flow Analysis.
APCCAS
Wei Hu, Xinmu Wang, Dejun Mu
2018 J jnl
Towards Quantified Data Analysis of Information Flow Tracking for Secure System Design.
IEEE Access
Yu Tai, Wei Hu, Dejun Mu, Baolei Mao, Lu Zhang
2017 — conf
A Simplifying Logic Approach for Gate Level Information Flow Tracking.
ChinaCom (2)
Yu Tai, Wei Hu, Dejun Mu, Baolei Mao, Lantian Guo, Maoyuan Qin
2017 A* conf
Arbitrary Precision and Complexity Tradeoffs for Gate-Level Information Flow Tracking.
DAC
Andrew Becker, Wei Hu, Yu Tai, Philip Brisk, Ryan Kastner, Paolo Ienne
2017 A conf
Clepsydra: Modeling timing flows in hardware designs.
ICCAD
Armaiti Ardeshiricham, Wei Hu, Ryan Kastner
2017 — conf
Identifying and Measuring Security Critical Path for Uncovering Circuit Vulnerabilities.
MTV
Wei Hu, Armaiti Ardeshiricham, Ryan Kastner
2017 A conf
Register transfer level information flow tracking for provably secure hardware design.
DATE
Armaiti Ardeshiricham, Wei Hu, Joshua Marxen, Ryan Kastner
2017 A conf
Why you should care about don't cares: Exploiting internal don't care conditions for hardware Trojans.
ICCAD
Wei Hu, Lu Zhang, Armaiti Ardeshiricham, Jeremy Blackstone, Bochuan Hou, Yu Tai, Ryan Kastner
2016 J jnl
Detecting Hardware Trojans with Gate-Level Information-Flow Tracking.
Computer
Wei Hu, Baolei Mao, Jason Oberg, Ryan Kastner
2016 J jnl
Generating optimized gate level information flow tracking logic for enforcing multilevel security.
Autom. Control. Comput. Sci.
Yu Tai, Wei Hu, Huixiang Zhang, Dejun Mu, Xing-Li Huang
2016 A conf
Imprecise security: quality and complexity tradeoffs for hardware information flow tracking.
ICCAD
Wei Hu, Andrew Becker, Armita Ardeshiricham, Yu Tai, Paolo Ienne, Dejun Mu, Ryan Kastner
2016 A conf
Quantifying hardware security using joint information flow analysis.
DATE
Ryan Kastner, Wei Hu, Alric Althoff
2016 — conf
Towards Property Driven Hardware Security.
MTV
Wei Hu, Alric Althoff, Armita Ardeshiricham, Ryan Kastner
2015 A conf
Quantifying Timing-Based Information Flow in Cryptographic Hardware.
ICCAD
Baolei Mao, Wei Hu, Alric Althoff, Janarbek Matai, Jason Oberg, Dejun Mu, Timothy Sherwood, Ryan Kastner
2014 J jnl
A bottom-up approach to verifiable embedded system information flow security.
IET Inf. Secur.
Dejun Mu, Wei Hu, Baolei Mao, Bo Ma
2014 J jnl
Energy-efficient border intrusion detection using wireless sensors network.
EURASIP J. Wirel. Commun. Netw.
Tao Yang, Dejun Mu, Wei Hu, Huixiang Zhang
2014 J jnl
Gate-Level Information Flow Tracking for Security Lattices.
ACM Trans. Design Autom. Electr. Syst.
Wei Hu, Dejun Mu, Jason Oberg, Baolei Mao, Mohit Tiwari, Timothy Sherwood, Ryan Kastner
2013 J jnl
Expanding Gate Level Information Flow Tracking for Multilevel Security.
IEEE Embed. Syst. Lett.
Wei Hu, Jason Oberg, Janet Barrientos, Dejun Mu, Ryan Kastner
2013 — conf
Improvements the Seccomp Sandbox Based on PBE Theory.
AINA Workshops
Bo Ma, Dejun Mu, Wei Fan, Wei Hu
2013 — conf
Towards a Moderate-Granularity Incremental Clustering Algorithm for GPU.
CyberC
Chunlei Chen, Dejun Mu, Huixiang Zhang, Wei Hu
2012 J jnl
On the Complexity of Generating Gate Level Information Flow Tracking Logic.
IEEE Trans. Inf. Forensics Secur.
Wei Hu, Jason Oberg, Ali Irturk, Mohit Tiwari, Timothy Sherwood, Dejun Mu, Ryan Kastner
2012 A conf
Simultaneous information flow security and circuit redundancy in Boolean gates.
ICCAD
Wei Hu, Jason Oberg, Dejun Mu, Ryan Kastner
2011 A* conf
Information flow isolation in I2C and USB.
DAC
Jason Oberg, Wei Hu, Ali Irturk, Mohit Tiwari, Timothy Sherwood, Ryan Kastner
2011 J jnl
Theoretical Fundamentals of Gate Level Information Flow Tracking.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
Wei Hu, Jason Oberg, Ali Irturk, Mohit Tiwari, Timothy Sherwood, Dejun Mu, Ryan Kastner
2010 A* conf
Theoretical analysis of gate level information flow tracking.
DAC
Jason Oberg, Wei Hu, Ali Irturk, Mohit Tiwari, Timothy Sherwood, Ryan Kastner
2007 C conf
Design of an Instruction for Fast and Efficient S-Box Implementation.
CIS
Meifeng Li, Guanzhong Dai, Hang Liu, Wei Hu