Symbolic execution based test-patterns generation algorithm for hardware Trojan detection

L Shen, D Mu, G Cao, M Qin, J Blackstone… - computers & security, 2018 - Elsevier
Hardware Trojan detection is a very difficult challenge. However, the combination of
symbolic execution and metamorphic testing is useful for detecting hardware Trojans in …
被引用次数：16 相关文章

Symbolic execution based test-patterns generation algorithm for hardware Trojan detection

L Shen, D Mu, G Cao, M Qin, J Blackstone, R Kastner - 2018 - escholarship.org
Hardware Trojan detection is a very difficult challenge. However, the combination of
symbolic execution and metamorphic testing is useful for detecting hardware Trojans in …
[PDF] ucsd.edu

[PDF][PDF] Symbolic execution based test-patterns generation algorithm for hardware Trojan detection

L Shen, D Mu, G Cao, M Qin, J Blackstone… - computers & …, 2018 - kastner.ucsd.edu
abstract Hardware Trojan detection is a very difficult challenge. However, the combination of
symbolic execution and metamorphic testing is useful for detecting hardware Trojans in …
[PDF] ucsd.edu

[PDF][PDF] Symbolic execution based test-patterns generation algorithm for hardware Trojan detection

L Shen, D Mu, G Cao, M Qin, J Blackstone… - computers & …, 2018 - kastner.ucsd.edu
abstract Hardware Trojan detection is a very difficult challenge. However, the combination of
symbolic execution and metamorphic testing is useful for detecting hardware Trojans in …