BeSAT: behavioral SAT-based attack on cyclic logic encryption

BeSAT: behavioral SAT-based attack on cyclic logic encryption
复制标题

BeSAT:针对循环逻辑加密的基于行为 SAT 的攻击

DOI:
10.1145/3287624.3287670
复制
发表时间:
2019
期刊:
Asia and South Pacific Design Automation Conference
影响因子:
--
通讯作者:
Zhou, Hai
Zhou, Hai
中科院分区:
--
文献类型:
--
作者:
Shen, Yuanqi;Li, You;Rezaei, Amin;Kong, Shuyu;Dlott, David;Zhou, Hai

文献摘要

参考文献

被引文献

相似文献

DOI: 10.1109/iccad.2017.8203759
发表时间: 2017-11
期刊: 2017 IEEE/ACM International Conference on Computer-Aided Design (ICCAD)
影响因子: --
作者:
H. Zhou;Ruifeng Jiang;Shuyu Kong
通讯作者: H. Zhou;Ruifeng Jiang;Shuyu Kong
DOI: 10.1109/aspdac.2018.8297317
发表时间: 2018
期刊: Asia and South Pacific Design Automation Conference (ASP-DAC
影响因子: --
作者:
Shen, Yuanqi;Rezaei, Amin;Zhou, Hai
通讯作者: Zhou, Hai
DOI: 10.1145/3060403.3060469
发表时间: 2017-05
期刊: Proceedings of the Great Lakes Symposium on VLSI 2017
影响因子: --
作者:
Yuanqi Shen;H. Zhou
通讯作者: Yuanqi Shen;H. Zhou
基于 SAT 的逻辑加密位翻转攻击
DOI: 10.23919/date.2018.8342086
发表时间: 2018
期刊: and Testing in Europe (DATE
影响因子: --
作者:
Shen, Yuanqi;Rezaei, Amin;Zhou, Hai
通讯作者: Zhou, Hai