Verification of high-level programs containing mutable higher-order recursive data structures
Verification of high-level programs containing mutable higher-order recursive data structures
包含可变高阶递归数据结构的高级程序的验证
批准号：
17H01720
负责人：
Terauchi Tachio
金额：
$11.48万
依托单位：
依托单位国家：
日本
项目类别：
Grant-in-Aid for Scientific Research (B)
财政年份：
2017
资助国家：
日本
项目状态：
已结题
起止时间：
2017-04-01 至 2022-03-31
中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
期刊论文(0)
专著(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
Horn Clauses and Beyond for Relational and Temporal Program Verification
用于关系和时间程序验证的 Horn 子句及其他子句
用于关系和时间程序验证的 Horn 子句及其他子句
DOI：
--
发表时间：
2018
期刊：
影响因子：
--
作者：
[Junji Yamada, Ushio Jimbo, Ryota Shioya, Masahiro Goshima, and Shuichi Sakai, 住友倫子，中田匡宣，山口雅也，川端重忠．, Hiroshi Unno]
通讯作者：
Hiroshi Unno
On cut elimination in cyclic-proof systems
防循环系统中的切割消除
防循环系统中的切割消除
DOI：
--
发表时间：
2019
期刊：
影响因子：
--
作者：
[Koji Nakazawa, Daisuke Kimura, Tachio Terauchi, Hiroshi Unno, and Kenji Saotome]
通讯作者：
and Kenji Saotome
DOI：
--
发表时间：
2020
期刊：
Proceedings of the annual AAAI Conference on Artificial Intelligence (AAAI 2020)
影响因子：
--
作者：
[Yuki Satake, Hiroshi Unno, and Hinata Yanagi]
通讯作者：
and Hinata Yanagi
共 17 条
Program verification and program synthesis for side-channel attack resilience
-
批准号：18K19787
-
项目类别：Grant-in-Aid for Challenging Research (Exploratory)
-
资助金额：$3.99万
-
财政年份：2018
-
负责人：Terauchi Tachio
-
依托单位：
Large scale verification of higher-order programs
-
批准号：26330082
-
项目类别：Grant-in-Aid for Scientific Research (C)
-
资助金额：$3.08万
-
财政年份：2014
-
负责人：Terauchi Tachio
-
依托单位：