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

This document is currently not available here.

Share

COinS