Hypercollecting semantics and its application to static analysis of information flow
We show how static analysis for secure information flow can be expressed and proved
correct entirely within the framework of abstract interpretation. The key idea is to define a …
correct entirely within the framework of abstract interpretation. The key idea is to define a …
Upper Bound Computation of Information Leakages for Unbounded Recursion
J Bechberger, A Weigl - … Conference on Software Engineering and Formal …, 2021 - Springer
Confidentiality is an important security goal that is ensured by the absence of information
flow between secrets and observable outputs. Quantitative information flow (QIF) analyses …
flow between secrets and observable outputs. Quantitative information flow (QIF) analyses …