https://vital.lib.tsu.ru/vital/access/manager/Index ${session.getAttribute("locale")} 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 ]]>