Characterize the ability of GNNs in attacking logic locking

计算机科学 程序设计语言
作者
Wei Li,Ruben Purdy,José M. F. Moura,R. D. Blanton
标识
DOI:10.1109/mlcad58807.2023.10299817
摘要

Recent research has showcased the capability of Graph Neural Networks (GNNs) to uncover the correct keys from locked circuits without an oracle. However, a comprehensive comprehension and discourse regarding their achievements remain limited. For instance, which specific GNN architectures possess a greater potency in effectively uncovering these keys? In this paper, we model their ability to identify circuit changes that stem from a logic lock as the ability to decide the isomorphism between logic netlists. We examine different netlist graph representations and characteristics of GNNs that improve the ability in graph isomorphism. We show that GNNs are always upper bounded by heterogeneous Weisfeiler Lehman test for netlist isomorphism determination, and give the conditions when GNNs reach the bound. Motivated by these conditions, a specific GNN architecture, NetlistGNN, is proposed. Experimental results align with our theorems, and demonstrate that GNN-based state-of-the-art attacking models can benefit from our findings by simply replacing the original GNN model to NetlistGNN.
最长约 10秒,即可获得该文献文件

科研通智能强力驱动
Strongly Powered by AbleSci AI
更新
PDF的下载单位、IP信息已删除 (2025-6-4)

科研通是完全免费的文献互助平台,具备全网最快的应助速度,最高的求助完成率。 对每一个文献求助,科研通都将尽心尽力,给求助人一个满意的交代。
实时播报
舒心的久完成签到 ,获得积分10
1秒前
时尚雨兰完成签到,获得积分10
5秒前
小超人完成签到 ,获得积分10
5秒前
Lyubb完成签到,获得积分10
6秒前
6秒前
肉片牛帅帅完成签到,获得积分10
6秒前
const完成签到,获得积分10
6秒前
半颗橙子完成签到 ,获得积分10
7秒前
贼吖完成签到 ,获得积分10
8秒前
无忧完成签到,获得积分20
9秒前
王二八发布了新的文献求助10
12秒前
古藤完成签到 ,获得积分10
12秒前
可靠之玉完成签到,获得积分10
12秒前
ZDM6094完成签到 ,获得积分10
14秒前
如意土豆完成签到 ,获得积分10
14秒前
bo完成签到 ,获得积分10
16秒前
Man_proposes完成签到,获得积分10
18秒前
chenkj完成签到,获得积分10
22秒前
EricSai完成签到,获得积分10
23秒前
ikun完成签到,获得积分10
23秒前
求知小生完成签到,获得积分10
23秒前
jiang完成签到,获得积分10
25秒前
郝老头完成签到,获得积分10
25秒前
25秒前
MOON完成签到,获得积分10
25秒前
安澜应助djbj2022采纳,获得10
26秒前
26秒前
hhr完成签到 ,获得积分10
27秒前
细腻曼冬完成签到 ,获得积分10
27秒前
wang0626完成签到 ,获得积分10
30秒前
mbl2006完成签到 ,获得积分10
30秒前
kyscihub完成签到,获得积分10
31秒前
完犊子发布了新的文献求助10
31秒前
小劲劲完成签到,获得积分10
32秒前
32秒前
lin完成签到 ,获得积分10
35秒前
胡茶茶完成签到 ,获得积分10
35秒前
djbj2022发布了新的文献求助20
36秒前
甜甜醉波完成签到,获得积分10
36秒前
爱吃香菜完成签到,获得积分10
36秒前
高分求助中
A new approach to the extrapolation of accelerated life test data 1000
Cognitive Neuroscience: The Biology of the Mind 1000
Technical Brochure TB 814: LPIT applications in HV gas insulated switchgear 1000
Immigrant Incorporation in East Asian Democracies 600
Nucleophilic substitution in azasydnone-modified dinitroanisoles 500
不知道标题是什么 500
A Preliminary Study on Correlation Between Independent Components of Facial Thermal Images and Subjective Assessment of Chronic Stress 500
热门求助领域 (近24小时)
化学 材料科学 医学 生物 工程类 有机化学 生物化学 物理 内科学 纳米技术 计算机科学 化学工程 复合材料 遗传学 基因 物理化学 催化作用 冶金 细胞生物学 免疫学
热门帖子
关注 科研通微信公众号,转发送积分 3968578
求助须知:如何正确求助?哪些是违规求助? 3513393
关于积分的说明 11167478
捐赠科研通 3248836
什么是DOI,文献DOI怎么找? 1794499
邀请新用户注册赠送积分活动 875131
科研通“疑难数据库(出版商)”最低求助积分说明 804664