​
Login / Signup
Yinghua Hu
ORCID
Publication Activity (10 Years)
Years Active: 2006-2024
Publications (10 Years): 17
Top Topics
Boolean Satisfiability
E Learning
Encryption Scheme
Sat Instances
Top Venues
CoRR
ISQED
DATE
HOST
</>
Publications
</>
Yinghua Hu
,
Kaixin Yang
,
Subhajit Dutta Chowdhury
,
Pierluigi Nuzzo
DECOR: Enhancing Logic Locking Against Machine Learning-Based Attacks.
ISQED
(2024)
Yinghua Hu
,
Kaixin Yang
,
Subhajit Dutta Chowdhury
,
Pierluigi Nuzzo
DECOR: Enhancing Logic Locking Against Machine Learning-Based Attacks.
CoRR
(2024)
Dake Chen
,
Xuan Zhou
,
Yinghua Hu
,
Yuke Zhang
,
Kaixin Yang
,
Andrew Rittenbach
,
Pierluigi Nuzzo
,
Peter A. Beerel
Unraveling Latch Locking Using Machine Learning, Boolean Analysis, and ILP.
CoRR
(2023)
Yinghua Hu
,
Yuke Zhang
,
Kaixin Yang
,
Dake Chen
,
Peter A. Beerel
,
Pierluigi Nuzzo
On the Security of Sequential Logic Locking Against Oracle-Guided Attacks.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
42 (11) (2023)
Dake Chen
,
Xuan Zhou
,
Yinghua Hu
,
Yuke Zhang
,
Kaixin Yang
,
Andrew Rittenbach
,
Pierluigi Nuzzo
,
Peter A. Beerel
Unraveling Latch Locking Using Machine Learning, Boolean Analysis, and ILP.
ISQED
(2023)
Yuke Zhang
,
Yinghua Hu
,
Pierluigi Nuzzo
,
Peter A. Beerel
TriLock: IC Protection with Tunable Corruptibility and Resilience to SAT and Removal Attacks.
CoRR
(2022)
Yuke Zhang
,
Yinghua Hu
,
Pierluigi Nuzzo
,
Peter A. Beerel
TriLock: IC Protection with Tunable Corruptibility and Resilience to SAT and Removal Attacks.
DATE
(2022)
Yinghua Hu
,
Yuke Zhang
,
Kaixin Yang
,
Dake Chen
,
Peter A. Beerel
,
Pierluigi Nuzzo
Fun-SAT: Functional Corruptibility-Guided SAT-Based Attack on Sequential Logic Encryption.
CoRR
(2021)
Yinghua Hu
,
Yuke Zhang
,
Kaixin Yang
,
Dake Chen
,
Peter A. Beerel
,
Pierluigi Nuzzo
Fun-SAT: Functional Corruptibility-Guided SAT-Based Attack on Sequential Logic Encryption.
HOST
(2021)
Subhajit Dutta Chowdhury
,
Gengyu Zhang
,
Yinghua Hu
,
Pierluigi Nuzzo
Enhancing SAT-Attack Resiliency and Cost-Effectiveness of Reconfigurable-Logic-Based Circuit Obfuscation.
ISCAS
(2021)
Yinghua Hu
,
Kaixin Yang
,
Subhajit Dutta Chowdhury
,
Pierluigi Nuzzo
Risk-Aware Cost-Effective Design Methodology for Integrated Circuit Locking.
DATE
(2021)
Yinghua Hu
,
Kaixin Yang
,
Shahin Nazarian
,
Pierluigi Nuzzo
SANSCrypt: A Sporadic-Authentication-Based Sequential Logic Encryption Scheme.
VLSI-SOC
(2020)
Yinghua Hu
,
Kaixin Yang
,
Shahin Nazarian
,
Pierluigi Nuzzo
SANSCrypt: A Sporadic-Authentication-Based Sequential Logic Encryption Scheme.
CoRR
(2020)
Yinghua Hu
,
Kaixin Yang
,
Shahin Nazarian
,
Pierluigi Nuzzo
SANSCrypt: Sporadic-Authentication-Based Sequential Logic Encryption.
VLSI-SoC (Selected Papers)
(2020)
Yinghua Hu
,
Vivek V. Menon
,
Andrew G. Schmidt
,
Joshua S. Monson
,
Matthew French
,
Pierluigi Nuzzo
Toward Efficient Evaluation of Logic Encryption Schemes: Models and Metrics.
CoRR
(2019)
Yinghua Hu
,
Vivek V. Menon
,
Andrew G. Schmidt
,
Joshua S. Monson
,
Matthew French
,
Pierluigi Nuzzo
Security-driven metrics and models for efficient evaluation of logic encryption schemes.
MEMOCODE
(2019)
Vivek V. Menon
,
Gaurav Kolhe
,
Andrew G. Schmidt
,
Joshua S. Monson
,
Matthew French
,
Yinghua Hu
,
Peter A. Beerel
,
Pierluigi Nuzzo
System-Level Framework for Logic Obfuscation with Quantified Metrics for Evaluation.
SecDev
(2019)
Yinghua Hu
Visual simulating dichromatic vision in CIE space.
GRAPP
(2006)