Author:
Jin Yier,Yang Bo,Makris Yiorgos
Cited by
33 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. SpecCheck: A Tool for Systematic Identification of Vulnerable Transient Execution in gem5;2023 32nd International Conference on Parallel Architectures and Compilation Techniques (PACT);2023-10-21
2. Hardware Trojan Detection;Hardware Security Training, Hands-on!;2023
3. Anwendung II: Sicherheitsvalidierung;Automatisierte Analyse von virtuellen Prototypen auf der Ebene elektronischer Systeme;2023
4. A Gate-Level Information Leakage Detection Framework of Sequential Circuit Using Z3;Electronics;2022-12-16
5. Hardware Trojan Detection Using Effective Property-Checking Method;Electronics;2022-08-24