×
验证码:
换一张
忘记密码?
记住我
×
统一认证登录
登录
中文版
|
English
上海科技大学知识管理系统
ShanghaiTech University Knowledge Management System
统一认证登录
登录
注册
ALL
ORCID
题名
作者
发表日期
关键词
文献类型
DOI
出处
存缴日期
收录类别
出版者
学习讨论厅
图片搜索
粘贴图片网址
首页
研究单元&专题
作者
文献类型
学科分类
知识图谱
知识整合
学习讨论厅
反馈留言
个人主页
个人信息
个人简介
科研成果
会议论文(1)
学位论文(1)
期刊论文(1)
预印本(1)
来源
Arxiv(1)
FORMAL METHODS, PT II, FM ...(1)
IACR TRANSACTIONS ON CRYPT...(1)
收录类别
EI(2)
CPCI-S(1)
访问统计
来源
Arxiv(1)
FORMAL METHODS, PT II, FM ...(1)
IACR TRANSACTIONS ON CRYPT...(1)
发表日期
2025(1)
2024(2)
2023(1)
关键词云
More»
成果统计
More»
×
知识图谱
合作作者[TOP 5]
点击查看合作网络
Chen, Taolue
合作成果数:3
Wu, Zhilin
合作成果数:3
Song, Fu
合作成果数:2
宋富
合作成果数:1
高鹏飞
合作成果数:1
合作作者
Chen, Taolue
合作成果数:3
Wu, Zhilin
合作成果数:3
Song, Fu
合作成果数:2
宋富
合作成果数:1
高鹏飞
合作成果数:1
杨菥
合作成果数:1
Gao, Pengfei
合作成果数:1
访问统计
总访问量
369
访问来源
内部: 0
外部: 369
国内: 336
国外: 33
年访问量
172
访问来源
内部: 0
外部: 172
国内: 155
国外: 17
月访问量
8
访问来源
内部: 0
外部: 8
国内: 4
国外: 4
访问量
访问量
1.
SAT-based Formal Fault-Resistance Verification of Cryptographic Ci..
[388]
2.
Compositional Verification of Cryptographic Circuits Against Fault..
[355]
3.
SAT-based Formal Verification of Fault Injection Countermeasures f..
[209]
下载量
1.
SAT-based Formal Verification of Fault Injection Countermeasures f..
[1]
2.
Compositional Verification of Cryptographic Circuits Against Fault..
[1]
科研成果
4
952
2
0
0
0
Items
Views
Downloads
TC[WOS]
TC[CSCD]
H-index
排序方式:
按发表日期降序
按发表日期升序
按WOS被引频次降序
按期刊影响因子降序
正在努力地加载数据中,请稍候……
[1]
Tan, Huiyu,Yang, Xi,Song, Fu,et al. Compositional Verification Of Cryptographic Circuits Against Fault Injection Attacks[C]. Formal Methods, Pt Ii, Fm 2024.Gewerbestrasse 11, Cham, Ch-6330, Switzerland.Springer International Publishing Ag.2025-01-01,189-207.
浏览/下载:
355/1
; 被引[WOS]:
0
; IF:
0.402
/
0.000
评论
推荐
收藏
[2]
Tan, Huiyu,Gao, Pengfei,Song, Fu,Chen, Taolue,&Wu, Zhilin.(2024).SAT-based Formal Verification of Fault Injection Countermeasures for Cryptographic Circuits∗.
IACR TRANSACTIONS ON CRYPTOGRAPHIC HARDWARE AND EMBEDDED SYSTEMS
,2024(4),1-39.
浏览/下载:
209/1
; 被引[WOS]:
0
评论
推荐
收藏
[3]
谭惠予. 密码电路故障注入防御对策形式化验证技术[D]. 上海. 上海科技大学. 2024-05-10.
浏览/下载:
0/0
评论
推荐
收藏
[4]
Tan, Huiyu,Gao, Pengfei,Chen, Taolue,et al. SAT-based Formal Fault-Resistance Verification of Cryptographic Circuits. 2023.
浏览/下载:
388/0
; 被引[WOS]:
0
评论
推荐
收藏
每页显示
10
0
条
‹
1
›