Quantitative Verification of Cyber-Physical Systems by Integrating Statistical and Formal Approaches
Quantitative Verification of Cyber-Physical Systems by Integrating Statistical and Formal Approaches
通过整合统计和形式方法对网络物理系统进行定量验证
批准号：
17K12667
负责人：
Kawamoto Yusuke
金额：
$2.5万
依托单位国家：
日本
项目类别：
Grant-in-Aid for Young Scientists (B)
财政年份：
2017
资助国家：
日本
项目状态：
已结题
起止时间：
2017-04-01 至 2020-03-31
中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
期刊论文(34)
专著(0)
科研奖励(0)
会议论文
登录
查看更多内容
Hybrid Statistical Estimation of Mutual Information and its Application to Information Flow
互信息的混合统计估计及其在信息流中的应用
互信息的混合统计估计及其在信息流中的应用
DOI：
10.1007/s00165-018-0469-z
发表时间：
2019
期刊：
Formal Aspects of Computing
影响因子：
1
作者：
[Fabrizio Biondi, Yusuke Kawamoto, Axel Legay, and Louis-Marie Traonouez]
通讯作者：
and Louis-Marie Traonouez
DOI：
--
发表时间：
2018-07
期刊：
影响因子：
--
作者：
[Takao Murakami;Yusuke Kawamoto]
通讯作者：
Takao Murakami;Yusuke Kawamoto
Local Distribution Obfuscation via Probability Coupling
通过概率耦合进行局部分布混淆
通过概率耦合进行局部分布混淆
DOI：
10.1109/allerton.2019.8919803
发表时间：
2019
期刊：
Proc. of the 57th Annual Allerton Conference on Communication, Control, and Computing (Allerton 2019)
影响因子：
--
作者：
[青山祐太, 大沼祐人, 松野裕, 松野裕, Yusuke Kawamoto and Takao Murakami]
通讯作者：
Yusuke Kawamoto and Takao Murakami
DOI：
10.1007/978-3-030-29959-0_7
发表时间：
2019
期刊：
Proc. of the 24th European Symposium on Research in Computer Security (ESORICS 2019), Part I, Lecture Notes in Computer Science
影响因子：
--
作者：
[Kohei Nishino, Takashi Kitamura, Tomoji Kishi, Cyrille Artho, Yutaka Matsuno, Yusuke Kawamoto and Takao Murakami]
通讯作者：
Yusuke Kawamoto and Takao Murakami
HyLeak: Hybrid Analysis Tool for Information Leakage
HyLeak：信息泄露的混合分析工具
HyLeak：信息泄露的混合分析工具
DOI：
10.1007/978-3-319-68167-2_11
发表时间：
2017
期刊：
Proc. of the 15th International Symposium on Automated Technology for Verification and Analysis (ATVA 2017), Lecture Notes in Computer Science
影响因子：
--
作者：
[Fabrizio Biondi, Yusuke Kawamoto, Axel Legay, and Louis-Marie Traonouez]
通讯作者：
and Louis-Marie Traonouez
共 21 条
Quantitative Analysis of Information Leakage in Cyber-Physical Systems
-
批准号：15H06886
-
项目类别：Grant-in-Aid for Research Activity Start-up
-
资助金额：$1.66万
-
财政年份：2015
-
负责人：Kawamoto Yusuke
-
依托单位：
海外基金