Yunqi He

Yunqi He

Phd. Candidate in Computer Engineering

Posts by Collection

portfolio

projects

AI for Healthcare

Published:

Applying ML expertise to solve real-world problems beyond hardware, demonstrating transferable machine learning techniques through multimodal medical diagnosis systems with significant accuracy improvements.

Hardware Security Foundations

Published:

Developing robust logic locking schemes and attack methodologies for IP protection in integrated circuits, with focus on simultaneous security, obfuscation, and efficiency.

ML for Design Automation

Published:

Developing machine learning-powered algorithms for complex EDA challenges, including floorplan optimization, design space exploration, and formal verification enhancement.

publications

A Combination of DNN and BN for Automatic Skin Disease Diagnosis

Published in IEEE 20th International Symposium on Biomedical Imaging (ISBI), 2023

This paper is about an automatic skin disease diagnosis architecture that combines deep neural networks as nodes into Bayesian networks, which combines human knowledge with the perceptual results of deep learning tools.

Evaluating the Security of Logic Locking on Deep Neural Networks

Published in 61th ACM/IEEE Design Automation Conference (DAC), 2024

This paper demonstrates the vulnerability of HPNN-style logic locking schemes on deep neural networks by proposing a systematic I/O attack that combines algebraic and learning-based approaches to efficiently extract protected parameters.

Property Guided Secure Configuration Space Search

Published in 27th Information Security Conference (ISC), 2024

This paper is about INCISE, a symbolic model checking algorithm that efficiently searches for secure configuration spaces, enabling system engineers to quickly verify configuration security, and successfully demonstrated its effectiveness on cellular network emergency call systems.

Multimodal Bayesian Networks for Automatic Skin Disease Diagnosis

Published in 2024 IEEE International Conference on Bioinformatics and Biomedicine (BIBM), 2024

This paper proposes an extensible multimodal Bayesian network architecture that efficiently integrates deep neural networks with clinical metadata for skin disease diagnosis, achieving 19.3% accuracy improvement over baseline methods.

DE2: SAT-Based Sequential Logic Decryption with a Functional Description

Published in 2025 Design, Automation & Test in Europe Conference (DATE), 2024

This paper introduces DE2, a novel SAT-based attacking algorithm that leverages high-level functional specifications for sequential logic decryption, featuring an automatic alignment mechanism and the LIM algorithm for enhanced logic locking analysis.

RE3: Finding Refinement Relations with Relational Mapping Abstraction

Published in 62nd ACM/IEEE Design Automation Conference (DAC), 2025

This paper presents a rigorous and efficient sequential equivalence checking algorithm for non-cycle-accurate designs that can automatically find concise and human-comprehensible refinement relations, with applications including regression verification and LLM-generated RTL design validation.

talks

teaching

Teaching experience 1

Undergraduate course, University 1, Department, 2014

This is a description of a teaching experience. You can use markdown like any other post.

Teaching experience 2

Workshop, University 1, Department, 2015

This is a description of a teaching experience. You can use markdown like any other post.