2 papers
cs.CR2021
Towards a General-Purpose Dynamic Information Flow Policy
Peixuan Li, Danfeng Zhang
Noninterference offers a rigorous end-to-end guarantee for secure propagation of information. However, real-world systems almost always involve security requirements that change du…
cs.PL2017
Towards a Flow- and Path-Sensitive Information Flow Analysis: Technical Report
Peixuan Li, Danfeng Zhang
This paper investigates a flow- and path-sensitive static information flow analysis. Compared with security type systems with fixed labels, it has been shown that flow-sensitive ty…