@phdthesis{oai:nagoya.repo.nii.ac.jp:00029789,
 author = {CHU, Bao Trung},
 month = {Mar},
 school = {名古屋大学, Nagoya University},
 title = {Towards Practically Applicable Quantitative Information Flow Analysis},
 year = {2020}
}