@第{zbMATH07531438条，作者={As{\u{a}}voae、Irina M{\u}a}riuca和Shirazi、Ramtine Tofighi和Riesco、Adri{\a}n和Yasuyoshi、Uemura}，标题＝｛通过重写逻辑检测硬件｛特洛伊木马｝，FJournal={程序设计中的逻辑和代数方法杂志}，Journal={J.Log.Algebr.Methods程序}，ISSN={2352-2208}，体积={127}，页码={19}，注={Id/编号100762}，年份＝{2022}，语言={英语}，DOI={10.1016/j.jlamp.2022.100762}，关键词={68-XX}，zbMATH={7531438}}