Large scale verification of higher-order programs
高阶程序的大规模验证
基本信息
- 批准号：26330082
- 负责人：
- 金额：$ 3.08万
- 依托单位：
- 依托单位国家：日本
- 项目类别：Grant-in-Aid for Scientific Research (C)
- 财政年份：2014
- 资助国家：日本
- 起止时间：2014-04-01 至 2017-03-31
- 项目状态：已结题
- 来源：
- 关键词：
项目摘要
项目成果
期刊论文数量（0）
专著数量（0）
科研奖励数量（0）
会议论文数量（0）
专利数量（0）
Information Flow Analysis and Applications to Computer Security
信息流分析及其在计算机安全中的应用
- DOI：
- 发表时间：2015
- 期刊：
- 影响因子：0
- 作者：Tachio Terauchi
- 通讯作者：Tachio Terauchi
Compositional Synthesis of Leakage Resilient Programs
防泄漏程序的组合综合
- DOI：
- 发表时间：2017
- 期刊：
- 影响因子：0
- 作者：Arthur Blot; Masaki Yamamoto;Tachio Terauchi
- 通讯作者：Tachio Terauchi
{{
item.title }}
{{ item.translation_title }}
- DOI：
{{ item.doi }} - 发表时间：
{{ item.publish_year }} - 期刊：
- 影响因子：{{ item.factor }}
- 作者：
{{ item.authors }} - 通讯作者：
{{ item.author }}
数据更新时间：{{ journalArticles.updateTime }}
{{ item.title }}
- 作者：
{{ item.author }}
数据更新时间：{{ monograph.updateTime }}
{{ item.title }}
- 作者：
{{ item.author }}
数据更新时间：{{ sciAawards.updateTime }}
{{ item.title }}
- 作者：
{{ item.author }}
数据更新时间：{{ conferencePapers.updateTime }}
{{ item.title }}
- 作者：
{{ item.author }}
数据更新时间：{{ patent.updateTime }}
Terauchi Tachio其他文献
Bucketing and information flow analysis for provable timing attack mitigation
用于可证明的时序攻击缓解的分桶和信息流分析
- DOI：
10.3233/jcs-191356 - 发表时间：
2020 - 期刊：
- 影响因子：1.2
- 作者：
Terauchi Tachio;Antonopoulos Timos - 通讯作者：
Antonopoulos Timos
Constraint-Based Relational Verification
基于约束的关系验证
- DOI：
10.1007/978-3-030-81685-8_35 - 发表时间：
2021 - 期刊：
- 影响因子：0
- 作者：
Unno Hiroshi;Terauchi Tachio;Koskinen Eric - 通讯作者：
Koskinen Eric
A Formal Analysis of Timing Channel Security via Bucketing
通过分桶对时序通道安全性进行形式化分析
- DOI：
10.1007/978-3-030-17138-4_2 - 发表时间：
2019 - 期刊：
- 影响因子：0
- 作者：
Terauchi Tachio; Antonopoulos Timos - 通讯作者：
Antonopoulos Timos
Bucketing and information flow analysis for provable timing attack mitigation
用于可证明的定时攻击缓解的分桶和信息流分析
- DOI：
10.3233/jcs-191356 - 发表时间：
2020 - 期刊：
- 影响因子：1.2
- 作者：
Terauchi Tachio;Antonopoulos Timos - 通讯作者：
Antonopoulos Timos
A Formal Analysis of Timing Channel Security via Bucketing
通过分桶对时序通道安全性进行形式化分析
- DOI：
10.1007/978-3-030-17138-4_2 - 发表时间：
2019 - 期刊：
- 影响因子：0
- 作者：
Terauchi Tachio; Antonopoulos Timos - 通讯作者：
Antonopoulos Timos
Terauchi Tachio的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI：
{{ item.doi }} - 发表时间：
{{ item.publish_year }} - 期刊：
- 影响因子：{{ item.factor }}
- 作者：
{{ item.authors }} - 通讯作者：
{{ item.author }}
{{ truncateString('Terauchi Tachio', 18)}}的其他基金
Verification of high-level programs containing mutable higher-order recursive data structures
包含可变高阶递归数据结构的高级程序的验证
- 批准号：
17H01720 - 财政年份：2017
- 资助金额：
$ 3.08万 - 项目类别：
Grant-in-Aid for Scientific Research (B)
相似海外基金
Universal models of programming languages and program reasoning
编程语言和程序推理的通用模型
- 批准号：
18K11156 - 财政年份：2018
- 资助金额：
$ 3.08万 - 项目类别：
Grant-in-Aid for Scientific Research (C)
直接的モデル検査を用いた関数型プログラム検証手法
使用直接模型检查的功能程序验证方法
- 批准号：
16J01038 - 财政年份：2016
- 资助金额：
$ 3.08万 - 项目类别：
Grant-in-Aid for JSPS Fellows
Refinement and Extension of Higher-Order Model Checking
高阶模型检查的细化和扩展
- 批准号：
15H05706 - 财政年份：2015
- 资助金额：
$ 3.08万 - 项目类别：
Grant-in-Aid for Scientific Research (S)
Deepening the implemenation technology of high-level modeling language implementations integrated with verifiers
深化与验证器集成的高级建模语言实现的实现技术
- 批准号：
26280024 - 财政年份：2014
- 资助金额：
$ 3.08万 - 项目类别：
Grant-in-Aid for Scientific Research (B)
高階関数型言語のためのソフトウェアモデル検査
高阶函数语言的软件模型检查
- 批准号：
12J08057 - 财政年份：2012
- 资助金额：
$ 3.08万 - 项目类别：
Grant-in-Aid for JSPS Fellows