Towards Practically Applicable Quantitative Information Flow Analysis
Publisher
Springer Singapore
Reference13 articles.
1. Aydin A, Bang L, Bultan T (2015) Automata-based model counting for string constraints. In: Proceedings 27th international conference on computer aided verification, pp 255–272. LNCS, volume: 9206
2. Backes M, Berg M, Köpf B (2011) Non-uniform distributions in quantitative information flow. In: Proceedings 6th ACM symposium on information, computer and communications security, pp 367–375
3. Chu BT, Hashimoto K, Seki H (2018) Counting algorithms for recognizable and algebraic series. IEICE Trans Inform Syst E101-D(6):1479–1490
4. Chu BT, Hashimoto K, Seki H (2019) Quantifying dynamic leakage: complexity analysis and model counting-based calculation. IEICE Trans Inform Syst E102-D(10):1952–1965
5. Dagum L, Menon R (1998) OpenMP: an industry-standard API for shared-memory programming. IEEE Comput Sci Eng 5(1):46–55