An automated quantitative information flow analysis for concurrent programs

Authors

Sepehr Amir-Mohammadian, University of the PacificFollow

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