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
22019
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
Counting algorithms for recognizable and algebraic series
BT Chu, K Hashimoto, H Seki
IEICE TRANSACTIONS on Information and Systems, 2018
12018
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: 信学技報 113 (421), 71-76, 2014
2014
Runtime Control of a Program based on Quantitative Information Flow
BT CHU, K HASHIMOTO, H SEKI
The system can't perform the operation now. Try again later.
Articles 1–6