Yangdi Lyu

According to our database, Yangdi Lyu authored at least 19 papers between 2016 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

HF-NTT: Hazard-Free Dataflow Accelerator for Number Theoretic Transform.

Xiangchen Meng, Zijun Jiang, Yangdi Lyu

CoRR, 2024

Microprocessor Design Space Exploration via Space Partitioning and Bayesian Optimization.

Zijun Jiang, Yangdi Lyu

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2024

2023

STSearch: State Tracing-based Search Heuristics for RTL Validation.

Ziyue Zheng, Yangdi Lyu

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2023

2022

A Survey on Assertion-based Hardware Verification.

Hasini Witharana, Yangdi Lyu, Subodha Charles, Prabhat Mishra

ACM Comput. Surv., January, 2022

2021

Directed Test Generation for Activation of Security Assertions in RTL Models.

Hasini Witharana, Yangdi Lyu, Prabhat Mishra

ACM Trans. Design Autom. Electr. Syst., 2021

MaxSense: Side-channel Sensitivity Maximization for Trojan Detection Using Statistical Test Patterns.

Yangdi Lyu, Prabhat Mishra

ACM Trans. Design Autom. Electr. Syst., 2021

Scalable Activation of Rare Triggers in Hardware Trojans by Repeated Maximal Clique Sampling.

Yangdi Lyu, Prabhat Mishra

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

Scalable Concolic Testing of RTL Models.

Yangdi Lyu, Prabhat Mishra

IEEE Trans. Computers, 2021

2020

Real-Time Detection and Localization of Distributed DoS Attacks in NoC-Based SoCs.

Subodha Charles, Yangdi Lyu, Prabhat Mishra

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

System-on-Chip Security Assertions.

Yangdi Lyu, Prabhat Mishra

CoRR, 2020

Automated Test Generation for Trojan Detection using Delay-based Side Channel Analysis.

Yangdi Lyu, Prabhat Mishra

Proceedings of the 2020 Design, Automation & Test in Europe Conference & Exhibition, 2020

Automated Trigger Activation by Repeated Maximal Clique Sampling.

Yangdi Lyu, Prabhat Mishra

Proceedings of the 25th Asia and South Pacific Design Automation Conference, 2020

Automated Test Generation for Activation of Assertions in RTL Models.

Yangdi Lyu, Prabhat Mishra

Proceedings of the 25th Asia and South Pacific Design Automation Conference, 2020

2019

Directed Test Generation for Validation of Cache Coherence Protocols.

Yangdi Lyu, Xiaoke Qin, Mingsong Chen, Prabhat Mishra

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

Efficient Test Generation for Trojan Detection using Side Channel Analysis.

Yangdi Lyu, Prabhat Mishra

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2019

Automated Activation of Multiple Targets in RTL Models using Concolic Testing.

Yangdi Lyu, Alif Ahmed, Prabhat Mishra

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2019

Real-time Detection and Localization of DoS Attacks in NoC based SoCs.

Subodha Charles, Yangdi Lyu, Prabhat Mishra

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2019

2018

A Survey of Side-Channel Attacks on Caches and Countermeasures.

Yangdi Lyu, Prabhat Mishra

J. Hardw. Syst. Secur., 2018

2016

A Fast 2-Approximation Algorithm for Guarding Orthogonal Terrains.

Yangdi Lyu, Alper Üngör

Proceedings of the 28th Canadian Conference on Computational Geometry, 2016