A Fast 2-Approximation Algorithm for Guarding Orthogonal Terrains. - Yangdi Lyu; Alper Üngör (CCCG, 2016)

A Survey of Side-Channel Attacks on Caches and Countermeasures. - Yangdi Lyu; Prabhat Mishra 001 (J. Hardw. Syst. Secur., 2018)

Real-time Detection and Localization of DoS Attacks in NoC based SoCs. - Subodha Charles; Yangdi Lyu; Prabhat Mishra 001 (DATE, 2019)

Automated Activation of Multiple Targets in RTL Models using Concolic Testing. - Yangdi Lyu; Alif Ahmed; Prabhat Mishra 001 (DATE, 2019)

Efficient Test Generation for Trojan Detection using Side Channel Analysis. - Yangdi Lyu; Prabhat Mishra 001 (DATE, 2019)

Directed Test Generation for Validation of Cache Coherence Protocols. - Yangdi Lyu; Xiaoke Qin; Mingsong Chen 001; Prabhat Mishra 001 (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2019)

Automated Test Generation for Activation of Assertions in RTL Models. - Yangdi Lyu; Prabhat Mishra 001 (ASP-DAC, 2020)

Automated Trigger Activation by Repeated Maximal Clique Sampling. - Yangdi Lyu; Prabhat Mishra 001 (ASP-DAC, 2020)

Automated Test Generation for Trojan Detection using Delay-based Side Channel Analysis. - Yangdi Lyu; Prabhat Mishra 001 (DATE, 2020)

System-on-Chip Security Assertions. - Yangdi Lyu; Prabhat Mishra 001 (CoRR, 2020)

Real-Time Detection and Localization of Distributed DoS Attacks in NoC-Based SoCs. - Subodha Charles; Yangdi Lyu; Prabhat Mishra 001 (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2020)

Scalable Concolic Testing of RTL Models. - Yangdi Lyu; Prabhat Mishra 001 (IEEE Trans. Computers, 2021)

Scalable Activation of Rare Triggers in Hardware Trojans by Repeated Maximal Clique Sampling. - Yangdi Lyu; Prabhat Mishra 001 (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2021)

MaxSense: Side-channel Sensitivity Maximization for Trojan Detection Using Statistical Test Patterns. - Yangdi Lyu; Prabhat Mishra 001 (ACM Trans. Design Autom. Electr. Syst., 2021)

Directed Test Generation for Activation of Security Assertions in RTL Models. - Hasini Witharana; Yangdi Lyu; Prabhat Mishra 001 (ACM Trans. Design Autom. Electr. Syst., 2021)

A Survey on Assertion-based Hardware Verification. - Hasini Witharana; Yangdi Lyu; Subodha Charles; Prabhat Mishra 001 (ACM Comput. Surv., 2022)

STSearch: State Tracing-based Search Heuristics for RTL Validation. - Ziyue Zheng; Yangdi Lyu (DATE, 2023)

Microprocessor Design Space Exploration via Space Partitioning and Bayesian Optimization. - Zijun Jiang; Yangdi Lyu (DATE, 2024)

Efficient Microprocessor Design Space Exploration via Space Partitioning. - Zijun Jiang; Yangdi Lyu (ICCD, 2024)

APE-FV: Concolic Testing for RTL Functional Verification Using Adaptive Path Exploration. - Ziyue Zheng; Xiangchen Meng; Yangdi Lyu (ICCD, 2024)

HF-NTT: Hazard-Free Dataflow Accelerator for Number Theoretic Transform. - Xiangchen Meng; Zijun Jiang; Yangdi Lyu (CoRR, 2024)

MACO: A HW-Mapping Co-optimization Framework for DNN Accelerators. - Wujie Zhong; Zijun Jiang; Yangdi Lyu (ASP-DAC, 2025)

CPP-SGS: Cycle-Accurate Power Prediction Framework via SNN and Genetic Signal Selection. - Tong Liu; Zijun Jiang; Yangdi Lyu (DATE, 2025)

DuSGAI: A Dual-Side Sparse GEMM Accelerator with Flexible Interconnects. - Wujie Zhong; Yangdi Lyu (DATE, 2025)