中文版 | English

在结果中检索

KMS

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

已选(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)  |  收藏  |  浏览/下载：336/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)  |  收藏  |  浏览/下载：193/1  |  提交时间：2024/10/11
Structure and function of extreme TLS DNA polymerase TTEDbh from Thermoanaerobacter tengcongensis 期刊论文
INTERNATIONAL JOURNAL OF BIOLOGICAL MACROMOLECULES, 2023, 卷号: 253
作者:  Tian, Li-Fei;  Gao, Hongwei;  Yang, Shuyu;  Liu, Yan-Ping;  Li, Mingzhou
Adobe PDF(11452Kb)  |  收藏  |  浏览/下载：558/1  |  提交时间：2023/09/22
Learning to Shape Rewards Using a Game of Two Partners 会议论文
PROCEEDINGS OF THE 37TH AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE, AAAI 2023, Washington, DC, United states, February 7, 2023 - February 14, 2023
作者:  Mguni, David;  Jafferjee, Taher;  Wang, Jianhong;  Perez-Nieves, Nicolas;  Song, Wenbin
Adobe PDF(4032Kb)  |  收藏  |  浏览/下载：173/2  |  提交时间：2024/01/19
Towards Automatically Localizing Function Errors in Mobile Apps With User Reviews 期刊论文
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 2023, 卷号: 49, 期号: 4, 页码: 1464-1486
作者:  Le Yu;  Haoyu Wang;  Xiapu Luo;  Tao Zhang;  Kang Liu
Adobe PDF(1237Kb)  |  收藏  |  浏览/下载：422/0  |  提交时间：2023/05/19
  • 首页
  • 上一页
  • 1
  • 下一页
  • 末页