Title
An automated quantitative information flow analysis for concurrent programs
Document Type
Conference Proceeding
Department
Electrical and Computer Engineering
Conference Title
19th International Conference on Quantitative Evaluation of SysTems (QEST 2022)
Date of Presentation
Fall 1-1-2022
Recommended Citation
Amir-Mohammadian, S.
(2022).
An automated quantitative information flow analysis for concurrent programs.
Paper presented at 19th International Conference on Quantitative Evaluation of SysTems (QEST 2022).
https://scholarlycommons.pacific.edu/soecs-facpres/488
