Hybrid Information Flow Analysis for Programs with Arrays - Barany, Gergö (arXiv.org)