ASAX: Automatic security assertion extraction for detecting Hardware Trojans

已完结

文献求助详情

标题	ASAX: Automatic security assertion extraction for detecting Hardware Trojans ASAX：检测硬件特洛伊木马的自动安全断言提取相关领域断言计算机科学硬件安全模块程序设计语言形式验证理论计算机科学计算机工程嵌入式系统算法密码学
网址	https://doi.org/10.1109/aspdac.2018.8297287
DOI	10.1109/aspdac.2018.8297287 doi
其它	期刊：2018 23rd Asia and South Pacific Design Automation Conference (ASP-DAC) 作者：Chenguang Wang; Yici Cai; Qiang Zhou; Haoyi Wang 出版日期：2018-01-01
求助人	qianhua 在 2025-02-14 22:27:07 发布自湖北，悬赏 10 积分
下载	该求助完结已超 24 小时，文件已从服务器自动删除，无法下载。
	温馨提示：该文献已被科研通学术中心收录，前往查看科研通『学术中心』是文献索引库，收集文献的基本信息（如标题、摘要、期刊、作者、被引量等），不提供下载功能。如需下载文献全文，请通过文献求助获取。

上个求助

下个求助

该求助已完结，感谢关注

如需该文献，请重新发布求助，前往发布

科研通，让源源不断科研创作灵感的涌现之地

请遵守相关知识产权规定，勿将文件分享给他人，仅可用于个人研究学习

我的文献求助列表浏览历史

一分钟了解求助规则 | 捐赠本站 | 历史今天

科研通是完全免费的文献互助平台，具备全网最快的应助速度，最高的求助完成率。对每一个文献求助，科研通都将尽心尽力，给求助人一个满意的交代。

实时播报: 黑囡的应助被小绵羊采纳，获得10

刚刚; 迟大猫的应助被小绵羊采纳，获得10

刚刚; 柔弱的路人发布了新的文献求助10

1秒前; nanfang完成签到，获得积分10

2秒前; 石榴汁的书完成签到，获得积分10

3秒前; 狼啸天上传了应助文件

4秒前; 科研通AI5的应助被傲娇文博采纳，获得10

10秒前; 123上传了应助文件

10秒前; 祭酒完成签到，获得积分10

11秒前; 充电宝上传了应助文件

11秒前; 科目三的应助被科研小白采纳，获得10

12秒前; Simpson完成签到，获得积分10

14秒前; 科目三上传了应助文件

17秒前; 缓慢小蚂蚁完成签到，获得积分10

17秒前; chigga发布了新的文献求助10

17秒前; fountainli完成签到，获得积分10

18秒前; myg阁主关闭了myg阁主的文献求助

22秒前; 小石榴的爸爸完成签到，获得积分10

22秒前; 科研小白发布了新的文献求助10

23秒前; sutharsons上传了应助文件

26秒前; Lucas的应助被chigga采纳，获得10

26秒前; 大胆曲奇发布了新的文献求助10

27秒前; 科研小白完成签到，获得积分10

28秒前; 小石榴爸爸完成签到，获得积分10

29秒前; tong完成签到，获得积分10

31秒前; 施傲天完成签到，获得积分20

34秒前; 清秀紫南完成签到，获得积分10

34秒前; 闪闪羊完成签到，获得积分10

35秒前; 李李发布了新的文献求助10

36秒前; 嘎嘎嘎嘎发布了新的文献求助10

41秒前; 马户的崛起完成签到，获得积分10

42秒前; Perion完成签到，获得积分10

46秒前; 科研通AI5的应助被小周采纳，获得10

46秒前; 柚子完成签到，获得积分10

48秒前; meimei完成签到，获得积分10

49秒前; Felicity完成签到，获得积分10

53秒前; hunee发布了新的文献求助30

54秒前; 悦耳的三毒完成签到，获得积分10

56秒前; 123完成签到，获得积分10

59秒前; 科研通AI5的应助被李李采纳，获得10

1分钟前