Survey on Applications of Formal Methods in Reverse Engineering and Intellectual Property Protection
Survey on Applications of Formal Methods in Reverse Engineering and Intellectual Property Protection
复制标题
形式化方法在逆向工程和知识产权保护中的应用综述
DOI：
10.1007/s41635-018-0044-3
复制
发表时间：
2018
期刊：
影响因子：
--
通讯作者：
Daniel E. Holcomb
中科院分区：
文献类型：
--
作者：
S. Keshavarz;Cunxi Yu;S. Ghandali;Xiaolin Xu;Daniel E. Holcomb
近年来，算法技术（尤其是正式方法）在反向工程中的使用增长。根据攻击者的动机和要求，算法可用于重建电路网络名单，从非结构化的公园中提取对电路的更高级别描述，或者从示例中重新提出逻辑电路的布尔功能。在此过程的每个步骤中，都可以利用形式的方法。在这项调查中，我们回顾了形式方法在反向工程和IP保护中的一些应用。
Recent years have seen a growth in the use of algorithmic techniques, and especially formal methods, in reverse engineering. Depending on the motivation and requirements of the attacker, algorithms can be used for reconstructing circuit netlists, extracting a higher-level description of a circuit from unstructured sea-of-gates, or resynthesizing the Boolean function of a logic circuit from examples. At each step of this process, formal methods can be leveraged. In this survey, we review some of the applications of formal methods in reverse engineering and in IP protection.
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.1145/3060403.3060469
发表时间：
2017-05
期刊：
Proceedings of the Great Lakes Symposium on VLSI 2017
影响因子：
--
作者：
Yuanqi Shen;H. Zhou
通讯作者：
Yuanqi Shen;H. Zhou
分体制造中的猫和老鼠
DOI：
10.1109/tvlsi.2017.2787754
发表时间：
2018
期刊：
IEEE Transactions on Very Large Scale Integration (VLSI
影响因子：
--
作者：
Wang, Yujie;Chen, Pu;Hu, Jiang;Li, Guofeng;Rajendran, Jeyavijayan
通讯作者：
Rajendran, Jeyavijayan