| Quantifying dynamic leakage: complexity analysis and model counting-based calculation BT Chu, K Hashimoto, H Seki IEICE Transactions on Information and Systems 102 (No.10), pp.1952-1965, 2019 | 3 | 2019 |
| Counting algorithms for recognizable and algebraic series BT Chu, K Hashimoto, H Seki IEICE TRANSACTIONS on Information and Systems, 2018 | 2 | 2018 |
| On the compositionality of dynamic leakage and its application to the quantification problem BT Chu, K Hashimoto, H Seki arXiv preprint arXiv:1905.04409, 2019 | 1 | 2019 |
| Towards Practically Applicable Quantitative Information Flow Analysis BT Chu Frontiers of Digital Transformation: Applications of the Real-World Data …, 2021 | | 2021 |
| Runtime Control of a Program based on Quantitative Information Flow Analysis BT Chu Nara Institute of Science and Technology, 2014 | | 2014 |
| Runtime Control of a Program based on Quantitative Information Flow (ソフトウェアサイエンス) BT CHU, K HASHIMOTO, H SEKI 電子情報通信学会技術研究報告= IEICE technical report: 信学技報 113 (422), 71-76, 2014 | | 2014 |
| Runtime Control of a Program based on Quantitative Information Flow BT CHU, K Hashimoto, H Seki IEICE Technical Report; IEICE Tech. Rep. 113 (422), 71-76, 2014 | | 2014 |
Hiroyuki SekiGraduate School of Informatics, Nagoya University確認したメール アドレス: i.nagoya-u.ac.jp
Hiroyuki SekiGraduate School of Informatics, Nagoya University確認したメール アドレス: i.nagoya-u.ac.jp