TY  - JOUR
AU  - Asavoae, Irina Mariuca
AU  - Tofighi Shirazi, Ramtine
AU  - Riesco Rodríguez, Adrián
AU  - Yasuyoshi, Uemura
PY  - 2022
DO  - 10.1016/j.jlamp.2022.100762
SN  - 2352-2208
UR  - https://hdl.handle.net/20.500.14352/91467
T2  - Journal of Logical and Algebraic Methods in Programming
AB  - Hardware security studies, discovers, and classifies hardware attacks as well as defense strategies such as prevention and protection methods along the entire hardware production chain. Hardware Trojans represents a hardware attack model that emerged...
LA  - eng
PB  - Elsevier
TI  - Hardware Trojan detection via rewriting logic
TY  - journal article
VL  - 127
ER  -