Hardware Trojan detection via rewriting logic
- Asăvoae, I.M.
- Tofighi Shirazi, R.
- Riesco, A.
- Yasuyoshi, U.
Revista:
Journal of Logical and Algebraic Methods in Programming
ISSN: 2352-2216, 2352-2208
Año de publicación: 2022
Volumen: 127
Tipo: Artículo