刷新
{{item.name}}会员
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
- 作者：Tsuyoshi Gotoh;Yuichi Sudo;Fukuhito Ooshita;Hirotsugu Kakugawa;and Toshimitsu Masuzawa;Tachio Terauchi
- 通讯作者：Tachio Terauchi
Compositional Synthesis of Leakage Resilient Programs
- DOI：10.1007/978-3-662-54455-6_13
- 发表时间：2016-10
- 期刊：
- 影响因子：6.4
- 作者：A. Blot;Masaki Yamamoto;Tachio Terauchi
- 通讯作者：A. Blot;Masaki Yamamoto;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其他文献
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
On Type-Based Techniques for Program Manipulation
基于类型的程序操作技术
- DOI：
- 发表时间：
2022 - 期刊：
- 影响因子：0
- 作者：
Unno Hiroshi;Terauchi Tachio;Koskinen Eric;Ken Sakayori and Takeshi Tsukada;Naoki Kobayashi - 通讯作者：
Naoki Kobayashi
Games for Security Under Adaptive Adversaries
自适应对手下的安全博弈
- DOI：
10.1109/csf.2019.00022 - 发表时间：
2019 - 期刊：
- 影响因子：0
- 作者：
Antonopoulos Timos;Terauchi Tachio - 通讯作者：
Terauchi Tachio
Terauchi Tachio的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI：
{{ item.doi }} - 发表时间：
{{ item.publish_year }} - 期刊：
- 影响因子：{{ item.factor }}
- 作者：
{{ item.authors }} - 通讯作者：
{{ item.author }}
{{ truncateString('Terauchi Tachio', 18)}}的其他基金
Program verification and program synthesis for side-channel attack resilience
侧信道攻击弹性的程序验证和程序综合
- 批准号：
18K19787 - 财政年份：2018
- 资助金额：
$ 3.08万 - 项目类别：
Grant-in-Aid for Challenging Research (Exploratory)
Verification of high-level programs containing mutable higher-order recursive data structures
包含可变高阶递归数据结构的高级程序的验证
- 批准号：
17H01720 - 财政年份：2017
- 资助金额：
$ 3.08万 - 项目类别：
Grant-in-Aid for Scientific Research (B)
相似海外基金
モデル検査を用いたプログラミング課題評価と課題提出システム構築
使用模型检查的编程作业评估和作业提交系统构建
- 批准号：
24K15233 - 财政年份：2024
- 资助金额：
$ 3.08万 - 项目类别：
Grant-in-Aid for Scientific Research (C)
アクターモデル型マルチスレッド再帰プログラムのモデル検査法の開発
Actor模型型多线程递归程序的模型检验方法开发
- 批准号：
24K14901 - 财政年份：2024
- 资助金额：
$ 3.08万 - 项目类别：
Grant-in-Aid for Scientific Research (C)
複数の群れに基づく群知能を用いた軽量モデル検査技法の研究
基于多群体的群体智能轻量级模型检测技术研究
- 批准号：
22K11988 - 财政年份：2022
- 资助金额：
$ 3.08万 - 项目类别：
Grant-in-Aid for Scientific Research (C)
データ値付きプログラムに対するモデル検査理論の構築と実装
数据价值程序模型检验理论的构建与实现
- 批准号：
21J14332 - 财政年份：2021
- 资助金额：
$ 3.08万 - 项目类别：
Grant-in-Aid for JSPS Fellows
直接的モデル検査を用いた関数型プログラム検証手法
使用直接模型检查的功能程序验证方法
- 批准号：
16J01038 - 财政年份：2016
- 资助金额：
$ 3.08万 - 项目类别：
Grant-in-Aid for JSPS Fellows
非線形ハイブリッドシステムのための区間制約プログラミングにもとづくモデル検査技術
基于区间约束规划的非线性混合系统模型检验技术
- 批准号：
11J03810 - 财政年份：2011
- 资助金额：
$ 3.08万 - 项目类别：
Grant-in-Aid for JSPS Fellows
高階再帰スキームのモデル検査とそのプログラム検証への応用
高阶递归方案的模型检验及其在程序验证中的应用
- 批准号：
10J03842 - 财政年份：2010
- 资助金额：
$ 3.08万 - 项目类别：
Grant-in-Aid for JSPS Fellows
多値モデル検査法を用いたモデリング・エラーの発見
使用多值模型检查查找建模错误
- 批准号：
20650003 - 财政年份：2008
- 资助金额：
$ 3.08万 - 项目类别：
Grant-in-Aid for Challenging Exploratory Research
抽象モデル検査のためのグラフ探索アルゴリズムの形式化と検証
用于抽象模型检查的图搜索算法的形式化和验证
- 批准号：
16016211 - 财政年份：2004
- 资助金额：
$ 3.08万 - 项目类别：
Grant-in-Aid for Scientific Research on Priority Areas
システムレベル記述の時間制約を考慮した抽象化およびモデル検査
考虑系统级描述的时间限制的抽象和模型检查
- 批准号：
16700062 - 财政年份：2004
- 资助金额：
$ 3.08万 - 项目类别：
Grant-in-Aid for Young Scientists (B)