Follow
Bao Trung Chu
Bao Trung Chu
PhD candidate, Graduate School of Information Science, Nagoya University
Verified email at sqlab.jp - Homepage
Title
Cited by
Cited by
Year
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
32019
Counting algorithms for recognizable and algebraic series
BT Chu, K Hashimoto, H Seki
IEICE TRANSACTIONS on Information and Systems, 2018
22018
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
12019
Towards Practically Applicable Quantitative Information Flow Analysis
BT Chu
Frontiers of Digital Transformation, 63-80, 2021
2021
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
The system can't perform the operation now. Try again later.
Articles 1–6