Hardware Trojan detection via rewriting logic
- Asăvoae, I.M.
- Tofighi Shirazi, R.
- Riesco, A.
- Yasuyoshi, U.
Revue:
Journal of Logical and Algebraic Methods in Programming
ISSN: 2352-2216, 2352-2208
Année de publication: 2022
Volumen: 127
Type: Article