中文版 | English

在结果中检索

KMS

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

已选(0)清除 条数/页：   排序方式：
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)  |  收藏  |  浏览/下载：200/1  |  提交时间：2024/10/11
RefSCAT: Formal Verification of Logic-Optimized Multipliers via Automated Reference Multiplier Generation and SCA-SAT Synergy 期刊论文
IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, 2024, 卷号: PP, 期号: 99, 页码: 1-1
作者:  Rui Li;  Lin Li;  Heng Yu;  Masahiro Fujita;  Weixiong Jiang
Adobe PDF(6854Kb)  |  收藏  |  浏览/下载：328/10  |  提交时间：2024/08/26
ESAMPLER: Boosting sampling of satisfying assignments for Boolean formulas via derivation 期刊论文
JOURNAL OF SYSTEMS ARCHITECTURE, 2022, 卷号: 129
作者:  Xu, Yongjie;  Song, Fu;  Chen, Taolue
Adobe PDF(2750Kb)  |  收藏  |  浏览/下载：347/0  |  提交时间：2022/07/15
ESampler: Efficient Sampling of Satisfying Assignments for Boolean Formulas 会议论文
LECTURE NOTES IN COMPUTER SCIENCE, Beijing, China, November 25, 2021 - November 27, 2021
作者:  Xu, Yongjie;  Song, Fu;  Chen, Taolue
Adobe PDF(2466Kb)  |  收藏  |  浏览/下载：307/0  |  提交时间：2021/12/17
Verifying and Quantifying Side-channel Resistance of Masked Software Implementations 期刊论文
ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY, 2019, 卷号: 28, 期号: 3
作者:  Gao, Pengfei;  Zhang, Jun;  Song, Fu;  Wang, Chao
Adobe PDF(1310Kb)  |  收藏  |  浏览/下载：952/23  |  提交时间：2019/11/18
Towards backbone computing: A Greedy-Whitening based approach 期刊论文
AI COMMUNICATIONS, 2018, 卷号: 31, 期号: 3, 页码: 267-280
作者:  Zhang, Yueling
Adobe PDF(854Kb)  |  收藏  |  浏览/下载：426/0  |  提交时间：2018/06/13
On temporal logics with data variable quantifications: Decidability and complexity 期刊论文
INFORMATION AND COMPUTATION, 2016, 卷号: 251, 页码: 104-139
作者:  Song, Fu;  Wu, Zhilin
Adobe PDF(1138Kb)  |  收藏  |  浏览/下载：671/1  |  提交时间：2017/07/04
  • 首页
  • 上一页
  • 1
  • 下一页
  • 末页