Quantifying information leakage of probabilistic programs using the PRISM model checker.
Document Type
Conference Proceeding
Department
Electrical and Computer Engineering
Conference Title
15th International Conference on Emerging Security Information, Systems and Technologies (SECURWARE 2021)
Date of Presentation
Fall 1-1-2021
Recommended Citation
Amir-Mohammadian, S.
(2021).
Quantifying information leakage of probabilistic programs using the PRISM model checker..
Paper presented at 15th International Conference on Emerging Security Information, Systems and Technologies (SECURWARE 2021).
https://scholarlycommons.pacific.edu/soecs-facpres/486
