中文版 | English

在结果中检索

KMS

浏览/检索结果: 共3条，第1-3条 帮助

已选(0)清除 条数/页：   排序方式：
Compositional Verification of Cryptographic Circuits Against Fault Injection Attacks 会议论文
FORMAL METHODS, PT II, FM 2024, null,Milan,ITALY, SEP 09-13, 2024
作者:  Tan, Huiyu;  Yang, Xi;  Song, Fu;  Chen, Taolue;  Wu, Zhilin
Adobe PDF(595Kb)  |  收藏  |  浏览/下载：319/1  |  提交时间：2024/10/11
SAT-based Formal Verification of Fault Injection Countermeasures for Cryptographic Circuits∗ 期刊论文
IACR TRANSACTIONS ON CRYPTOGRAPHIC HARDWARE AND EMBEDDED SYSTEMS, 2024, 卷号: 2024, 期号: 4, 页码: 1-39
作者:  Tan, Huiyu;  Gao, Pengfei;  Song, Fu;  Chen, Taolue;  Wu, Zhilin
Adobe PDF(1591Kb)  |  收藏  |  浏览/下载：177/1  |  提交时间：2024/10/11
Verifying and Quantifying Side-channel Resistance of Masked Software Implementations 期刊论文
ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY, 2019, 卷号: 28, 期号: 3
作者:  Gao, Pengfei
Adobe PDF(1310Kb)  |  收藏  |  浏览/下载：925/23  |  提交时间：2019/11/18
  • 首页
  • 上一页
  • 1
  • 下一页
  • 末页