Bao Trung CHU


Quantifying Dynamic Leakage - Complexity Analysis and Model Counting-based Calculation -
Bao Trung CHU Kenji HASHIMOTO Hiroyuki SEKI 
Publication:   
Publication Date: 2019/10/01
Vol. E102-D  No. 10  pp. 1952-1965
Type of Manuscript:  PAPER
Category: Software System
Keyword: 
quantitative information flowhybrid monitordynamic leakage
 Summary | Full Text:PDF(456.4KB)

Counting Algorithms for Recognizable and Algebraic Series
Bao Trung CHU Kenji HASHIMOTO Hiroyuki SEKI 
Publication:   
Publication Date: 2018/06/01
Vol. E101-D  No. 6  pp. 1479-1490
Type of Manuscript:  Special Section PAPER (Special Section on Formal Approaches)
Category: Formal Approaches
Keyword: 
string countingrecognizable seriesalgebraic seriescontext-free grammar
 Summary | Full Text:PDF(435.1KB)