Yangdi Lyu

Publication Activity (10 Years)

Years Active: 2016-2024
Publications (10 Years): 19

Top Topics

Test Generation

Top Venues

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.

Publications

Zijun Jiang, Yangdi Lyu
Microprocessor Design Space Exploration via Space Partitioning and Bayesian Optimization. DATE (2024)
Ziyue Zheng, Yangdi Lyu
STSearch: State Tracing-based Search Heuristics for RTL Validation. DATE (2023)
Hasini Witharana, Yangdi Lyu, Subodha Charles, Prabhat Mishra
A Survey on Assertion-based Hardware Verification. ACM Comput. Surv. 54 (11s) (2022)
Yangdi Lyu, Prabhat Mishra
MaxSense: Side-channel Sensitivity Maximization for Trojan Detection Using Statistical Test Patterns. ACM Trans. Design Autom. Electr. Syst. 26 (3) (2021)
Yangdi Lyu, Prabhat Mishra
Scalable Concolic Testing of RTL Models. IEEE Trans. Computers 70 (7) (2021)
Hasini Witharana, Yangdi Lyu, Prabhat Mishra
Directed Test Generation for Activation of Security Assertions in RTL Models. ACM Trans. Design Autom. Electr. Syst. 26 (4) (2021)
Yangdi Lyu, Prabhat Mishra
Scalable Activation of Rare Triggers in Hardware Trojans by Repeated Maximal Clique Sampling. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 40 (7) (2021)
Yangdi Lyu, Prabhat Mishra
Automated Test Generation for Trojan Detection using Delay-based Side Channel Analysis. DATE (2020)
Yangdi Lyu, Prabhat Mishra
Automated Test Generation for Activation of Assertions in RTL Models. ASP-DAC (2020)
Yangdi Lyu, Prabhat Mishra
System-on-Chip Security Assertions. CoRR (2020)
Yangdi Lyu, Prabhat Mishra
Automated Trigger Activation by Repeated Maximal Clique Sampling. ASP-DAC (2020)
Subodha Charles, Yangdi Lyu, Prabhat Mishra
Real-Time Detection and Localization of Distributed DoS Attacks in NoC-Based SoCs. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 39 (12) (2020)
Yangdi Lyu, Xiaoke Qin, Mingsong Chen, Prabhat Mishra
Directed Test Generation for Validation of Cache Coherence Protocols. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 38 (1) (2019)
Yangdi Lyu, Alif Ahmed, Prabhat Mishra
Automated Activation of Multiple Targets in RTL Models using Concolic Testing. DATE (2019)
Yangdi Lyu, Prabhat Mishra
Efficient Test Generation for Trojan Detection using Side Channel Analysis. DATE (2019)
Subodha Charles, Yangdi Lyu, Prabhat Mishra
Real-time Detection and Localization of DoS Attacks in NoC based SoCs. DATE (2019)
Yangdi Lyu, Prabhat Mishra
A Survey of Side-Channel Attacks on Caches and Countermeasures. J. Hardw. Syst. Secur. 2 (1) (2018)
Yangdi Lyu, Alper Üngör
A Fast 2-Approximation Algorithm for Guarding Orthogonal Terrains. CCCG (2016)
Yangdi Lyu, Alper Üngör
A Fast 2-Approximation Algorithm for Guarding Orthogonal Terrains. CoRR (2016)