Program verification and program synthesis for side-channel attack resilience
Program verification and program synthesis for side-channel attack resilience
侧信道攻击弹性的程序验证和程序综合
批准号：
18K19787
负责人：
Terauchi Tachio
金额：
$3.99万
依托单位：
依托单位国家：
日本
项目类别：
Grant-in-Aid for Challenging Research (Exploratory)
财政年份：
2018
资助国家：
日本
项目状态：
已结题
起止时间：
2018-06-29 至 2022-03-31
中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
期刊论文(15)
专著(0)
科研奖励(0)
会议论文
登录
查看更多内容
DOI：
10.1109/sp46214.2022.9833597
发表时间：
2020-10
期刊：
2022 IEEE Symposium on Security and Privacy (SP)
影响因子：
--
作者：
[Nariyoshi Chida;Tachio Terauchi]
通讯作者：
Nariyoshi Chida;Tachio Terauchi
DOI：
10.3233/jcs-191356
发表时间：
2020-11
期刊：
J. Comput. Secur.
影响因子：
--
作者：
[Tachio Terauchi;Timos Antonopoulos]
通讯作者：
Tachio Terauchi;Timos Antonopoulos
Solving First-Order Fixpoint Logic for Program Verification
求解程序验证的一阶不动点逻辑
求解程序验证的一阶不动点逻辑
DOI：
--
发表时间：
2019
期刊：
影响因子：
--
作者：
[Takashi Nishikawa, Yuki Satake, Yoji Nanjo, Hiroshi Unno, Naoki Kobayashi, Tachio Terauchi, Eric Koskinen]
通讯作者：
Eric Koskinen
代数的エフェクトハンドラを持つ言語のためのトレースエフェクト
具有代数效果处理程序的语言的跟踪效果
具有代数效果处理程序的语言的跟踪效果
DOI：
--
发表时间：
2022
期刊：
影响因子：
--
作者：
[川俣楓河, 寺内多智弘]
通讯作者：
寺内多智弘
On cut elimination in cyclic-proof systems
防循环系统中的切割消除
防循环系统中的切割消除
DOI：
--
发表时间：
2019
期刊：
影响因子：
--
作者：
[Koji Nakazawa, Daisuke Kimura, Tachio Terauchi, Hiroshi Unno, and Kenji Saotome]
通讯作者：
and Kenji Saotome
共 11 条
Verification of high-level programs containing mutable higher-order recursive data structures
-
批准号：17H01720
-
项目类别：Grant-in-Aid for Scientific Research (B)
-
资助金额：$11.48万
-
财政年份：2017
-
负责人：Terauchi Tachio
-
依托单位：
Large scale verification of higher-order programs
-
批准号：26330082
-
项目类别：Grant-in-Aid for Scientific Research (C)
-
资助金额：$3.08万
-
财政年份：2014
-
负责人：Terauchi Tachio
-
依托单位：
海外基金