Hybrid Information Flow Analysis for Programs with Arrays

Abstract

Information flow analysis checks whether certain pieces of (confidential) data may affect the results of computations in unwanted ways and thus leak information. Dynamic information flow analysis adds instrumentation code to the target software to track flows at run time and raise alarms if a flow policy is violated; hybrid analyses combine this with… (More)
DOI: 10.4204/EPTCS.216.1

Topics

2 Figures and Tables

Cite this paper

@inproceedings{Barany2016HybridIF, title={Hybrid Information Flow Analysis for Programs with Arrays}, author={Gerg{\"o} Barany}, booktitle={VPT@ETAPS}, year={2016} }