消息
×
loading..
中文版 | English

在结果中检索

KMS

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

已选(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)  |  收藏  |  浏览/下载：373/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)  |  收藏  |  浏览/下载：227/1  |  提交时间：2024/10/11
Towards Efficient Verification of Constant-Time Cryptographic Implementations 会议论文
32ND ACM INTERNATIONAL CONFERENCE ON THE FOUNDATIONS OF SOFTWARE ENGINEERING
作者:  Cai LW(蔡陆伟);  Song F(宋富);  Taolue Chen
Adobe PDF(896Kb)  |  收藏  |  浏览/下载：7/1  |  提交时间：2025/07/14
Compositional Verification of Efficient Masking Countermeasures against Side-Channel Attacks 期刊论文
PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES, 2023, 卷号: 7, 期号: OOPSLA2
作者:  Gao, Pengfei;  Zhang, Yedi;  Song, Fu;  Chen, Taolue;  Standaert, Francois-Xavier
Adobe PDF(415Kb)  |  收藏  |  浏览/下载：266/0  |  提交时间：2023/11/24
SAT-based Formal Fault-Resistance Verification of Cryptographic Circuits 预印本
2023
作者:  Tan, Huiyu;  Gao, Pengfei;  Chen, Taolue;  Song, Fu;  Wu, Zhilin
Adobe PDF(1642Kb)  |  收藏  |  浏览/下载：402/0  |  提交时间：2024/06/03
Automated Verification of Correctness for Masked Arithmetic Programs 会议论文
ARXIV, null,Paris,FRANCE, JUL 17-22, 2023
作者:  Liu, Mingyang;  Song, Fu;  Chen, Taolue
Adobe PDF(1417Kb)  |  收藏  |  浏览/下载：259/0  |  提交时间：2024/01/09
Automated Verification of Correctness for Masked Arithmetic Programs 会议论文
LECTURE NOTES IN COMPUTER SCIENCE (INCLUDING SUBSERIES LECTURE NOTES IN ARTIFICIAL INTELLIGENCE AND LECTURE NOTES IN BIOINFORMATICS), Paris, France, July 17, 2023 - July 22, 2023
作者:  Liu, Mingyang;  Song, Fu;  Chen, Taolue
Adobe PDF(717Kb)  |  收藏  |  浏览/下载：437/159  |  提交时间：2023/11/24
DeJITLeak: eliminating JIT-induced timing side-channel leaks 会议论文
ESEC/FSE 2022 - PROCEEDINGS OF THE 30TH ACM JOINT MEETING EUROPEAN SOFTWARE ENGINEERING CONFERENCE AND SYMPOSIUM ON THE FOUNDATIONS OF SOFTWARE ENGINEERING, Singapore, Singapore, November 14, 2022 - November 18, 2022
作者:  Qin, Qi;  Jiyang, JulianAndres;  Song, Fu;  Chen, Taolue;  Xing, Xinyu
Adobe PDF(574Kb)  |  收藏  |  浏览/下载：373/0  |  提交时间：2022/12/16
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)  |  收藏  |  浏览/下载：381/0  |  提交时间：2022/07/15
Model-based automated testing of JavaScript Web applications via longer test sequences 期刊论文
FRONTIERS OF COMPUTER SCIENCE, 2022, 卷号: 16, 期号: 3
作者:  Gao, Pengfei;  Xu, Yongjie;  Song, Fu;  Chen, Taolue
Adobe PDF(757Kb)  |  收藏  |  浏览/下载：674/234  |  提交时间：2021/11/26
  • 首页
  • 上一页
  • 1
  • 2
  • 3
  • 下一页
  • 末页