2016年4月 - 2019年3月

論理的－形式的手法による情報セキュリティ研究－暗号プロトコル検証と量的情報流解析

日本学術振興会およびフランスInria 二国間交流事業（フランスInriaとの共同研究）

担当区分

研究分担者

配分額

資金種別

競争的資金

リンク情報

絞り込み

論文

Hybrid Statistical Estimation of Mutual Information and its Application to Information Flow

Fabrizio Biondi, Yusuke Kawamoto, Axel Legay, Louis-Marie Traonouez, [alphabetical authorship]

Formal Aspects of Computing 31(2) 165-206 2019年4月査読有り
On the Anonymization of Differentially Private Location Obfuscation

Yusuke Kawamoto, Takao Murakami

Proc. of the 2018 International Symposium on Information Theory and Its Applications (ISITA 2018) 159-163 2018年10月査読有り
HyLeak: Hybrid Analysis Tool for Information Leakage

Fabrizio Biondi, Yusuke Kawamoto, Axel Legay, Louis-Marie Traonouez, [alphabetical authorship]

Proc. of the 15th International Symposium on Automated Technology for Verification and Analysis (ATVA 2017), Lecture Notes in Computer Science 10482 156-163 2017年10月査読有り
Information Leakage Games

Mário S. Alvim, Konstantinos Chatzikokolakis, Yusuke Kawamoto, Catuscia Palamidessi, [alphabetical authorship]

Proc. of the 8th International Conference on Decision and Game Theory for Security (GameSec 2017), Lecture Notes in Computer Science 10575 437-457 2017年10月査読有り
On the Compositionality of Quantitative Information Flow

Yusuke Kawamoto, Konstantinos Chatzikokolakis, Catuscia Palamidessi

Logical Methods in Computer Science 13(3:11) 1-31 2017年8月査読有り