中文版 | English

在结果中检索

KMS

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

已选(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)  |  收藏  |  浏览/下载：344/1  |  提交时间：2024/10/11
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)  |  收藏  |  浏览/下载：238/0  |  提交时间：2023/11/24
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)  |  收藏  |  浏览/下载：394/142  |  提交时间：2023/11/24
Locality Based Cache Side-channel Attack Detection∗ 会议论文
EPIC SERIES IN COMPUTING, Beijing, China, September 17, 2021 - September 17, 2021
作者:  Wang, Limin;  Bu, Lei;  Song, Fu
Adobe PDF(800Kb)  |  收藏  |  浏览/下载：672/223  |  提交时间：2022/11/25
  • 首页
  • 上一页
  • 1
  • 下一页
  • 末页