Yangdi Lyu

Orcid: 0000-0001-8322-156X

According to our database1, Yangdi Lyu authored at least 17 papers between 2016 and 2023.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2023
STSearch: State Tracing-based Search Heuristics for RTL Validation.
Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2023

2022
A Survey on Assertion-based Hardware Verification.
ACM Comput. Surv., January, 2022

2021
Directed Test Generation for Activation of Security Assertions in RTL Models.
ACM Trans. Design Autom. Electr. Syst., 2021

MaxSense: Side-channel Sensitivity Maximization for Trojan Detection Using Statistical Test Patterns.
ACM Trans. Design Autom. Electr. Syst., 2021

Scalable Activation of Rare Triggers in Hardware Trojans by Repeated Maximal Clique Sampling.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2021

Scalable Concolic Testing of RTL Models.
IEEE Trans. Computers, 2021

2020
Real-Time Detection and Localization of Distributed DoS Attacks in NoC-Based SoCs.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2020

System-on-Chip Security Assertions.
CoRR, 2020

Automated Test Generation for Trojan Detection using Delay-based Side Channel Analysis.
Proceedings of the 2020 Design, Automation & Test in Europe Conference & Exhibition, 2020

Automated Trigger Activation by Repeated Maximal Clique Sampling.
Proceedings of the 25th Asia and South Pacific Design Automation Conference, 2020

Automated Test Generation for Activation of Assertions in RTL Models.
Proceedings of the 25th Asia and South Pacific Design Automation Conference, 2020

2019
Directed Test Generation for Validation of Cache Coherence Protocols.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2019

Efficient Test Generation for Trojan Detection using Side Channel Analysis.
Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2019

Automated Activation of Multiple Targets in RTL Models using Concolic Testing.
Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2019

Real-time Detection and Localization of DoS Attacks in NoC based SoCs.
Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2019

2018
A Survey of Side-Channel Attacks on Caches and Countermeasures.
J. Hardw. Syst. Secur., 2018

2016
A Fast 2-Approximation Algorithm for Guarding Orthogonal Terrains.
Proceedings of the 28th Canadian Conference on Computational Geometry, 2016


  Loading...