已入深夜,您辛苦了!由于当前在线用户较少,发布求助请尽量完整地填写文献信息,科研通机器人24小时在线,伴您度过漫漫科研夜!祝你早点完成任务,早点休息,好梦!

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)

科研通是完全免费的文献互助平台,具备全网最快的应助速度,最高的求助完成率。 对每一个文献求助,科研通都将尽心尽力,给求助人一个满意的交代。
实时播报
Whisper发布了新的文献求助10
刚刚
Ultraman45发布了新的文献求助10
1秒前
mu发布了新的文献求助10
1秒前
狒狒2022发布了新的文献求助10
1秒前
iNk应助桃李春风一杯酒采纳,获得10
2秒前
2秒前
李健的粉丝团团长应助123采纳,获得10
2秒前
岂有此李完成签到,获得积分10
2秒前
zy完成签到,获得积分10
3秒前
四憙完成签到 ,获得积分10
3秒前
hehehehe完成签到,获得积分10
4秒前
炙热嘉懿发布了新的文献求助10
5秒前
小小怪完成签到 ,获得积分10
6秒前
6秒前
6秒前
7秒前
Grendyu发布了新的文献求助10
7秒前
dss发布了新的文献求助10
9秒前
sysucy完成签到,获得积分10
9秒前
狒狒2022完成签到,获得积分10
10秒前
hyr发布了新的文献求助10
10秒前
CodeCraft应助小四火采纳,获得10
10秒前
12秒前
婷123完成签到 ,获得积分10
13秒前
桃李春风一杯酒完成签到,获得积分10
15秒前
科研通AI5应助andrele采纳,获得10
15秒前
夏觅柔完成签到 ,获得积分10
16秒前
科研废物完成签到,获得积分10
18秒前
18秒前
dss完成签到,获得积分10
18秒前
20秒前
火的信仰完成签到 ,获得积分10
20秒前
Grendyu完成签到,获得积分10
22秒前
小四火发布了新的文献求助10
24秒前
阳光的紊应助KKKpumc采纳,获得30
26秒前
27秒前
27秒前
growl完成签到,获得积分10
30秒前
32秒前
小四火完成签到,获得积分10
32秒前
高分求助中
A new approach to the extrapolation of accelerated life test data 1000
Picture Books with Same-sex Parented Families: Unintentional Censorship 700
ACSM’s Guidelines for Exercise Testing and Prescription, 12th edition 500
Nucleophilic substitution in azasydnone-modified dinitroanisoles 500
不知道标题是什么 500
Indomethacinのヒトにおける経皮吸収 400
Phylogenetic study of the order Polydesmida (Myriapoda: Diplopoda) 370
热门求助领域 (近24小时)
化学 材料科学 医学 生物 工程类 有机化学 生物化学 物理 内科学 纳米技术 计算机科学 化学工程 复合材料 遗传学 基因 物理化学 催化作用 冶金 细胞生物学 免疫学
热门帖子
关注 科研通微信公众号,转发送积分 3976531
求助须知:如何正确求助?哪些是违规求助? 3520603
关于积分的说明 11204100
捐赠科研通 3257210
什么是DOI,文献DOI怎么找? 1798648
邀请新用户注册赠送积分活动 877835
科研通“疑难数据库(出版商)”最低求助积分说明 806570