https://vital.lib.tsu.ru/vital/access/manager/Index en-us 5 Masking circuit faults and Trojan circuit injections using sat solvers https://vital.lib.tsu.ru/vital/access/manager/Repository/koha:000897140 Mon 04 Jul 2022 10:06:54 KRAT ]]>